Come tagliare un estensione del file in PHP

May 22

Quando si lavora con i file in PHP, è spesso necessario conoscere l'estensione file ".doc" o ".pdf", per esempio, al fine di determinare come elaborare i contenuti del file.

È possibile effettuare questa determinazione, utilizzando le funzioni di gestione del testo built-in di PHP per dividere il nome del file completo in il nome e l'estensione del file. l'estensione di un file è sempre preceduto da un punto, in modo da poter utilizzare questo per dividere il nome del file nella posizione corretta.

istruzione

1 Creare una variabile per contenere un nome di file di esempio aggiungendo il seguente codice alla pagina PHP:

$ Nomefile = "myfile.txt";

2 Utilizzare il PHP explode () per dividere il nome del file, utilizzando il punto come delimitatore, che dice a PHP in cui dividere il testo:

$ parti = explode (, $ nomefile ".");

3 L'ultima voce nella matrice $ parti conterrà l'estensione del file, ed è possibile recuperarlo utilizzando la funzione fine di PHP ():

$ Extension = end ($ parti);

4 Stampa l'estensione del file sullo schermo:

echo $ estensione;

Ad esempio, il nome del file nel $ nomefile variabile, questo mostrerà "txt" quando la pagina viene visualizzata in un browser Web.

5 È possibile recuperare la parte del nome del nome del file rimuovendo l'estensione del file dalla stringa utilizzando il str_replace PHP () per sostituire l'estensione con una stringa vuota ( ""):

$ Name = str_replace ($ estensione, "", $ nomefile ".".);

Si noti che si aggiunge un punto prima dell'estensione nella funzione str_replace () per rimuovere il punto precedente, nonché l'estensione del file. $ Nome sarà ora contiene il nome del file, senza l'estensione; per esempio, "myfile"