Comment extraire le nom de fichier sans extension en PHP ?

Extraire le nom de fichier sans extension en PHP

Obtenir le nom de fichier du script actuellement exécuté en PHP est facile avec la constante magique __FILE__. Cependant, si vous devez extraire le nom de fichier sans son extension, comme le suffixe ".php", le processus est légèrement différent.

La solution basename() :

Pour supprimer l'extension à l'aide de la fonction basename(), vous pouvez :

basename(__FILE__, '.php');

Cela renverra le nom du fichier sans l'extension .php, comme "jquery.js" pour la chaîne "jquery.js .php".

Un outil de suppression d'extension générique :

Pour une solution plus polyvalente pouvant gérer n'importe quelle extension de fichier, vous pouvez définir une fonction personnalisée :

function chopExtension($filename) {
    return pathinfo($filename, PATHINFO_FILENAME);
}

Utilisation de cette fonction :

var_dump(chopExtension('bob.php')); // "bob"
var_dump(chopExtension('bob.i.have.dots.zip')); // "bob.i.have.dots"

Fonctions de chaîne standard :

Enfin, vous pouvez utiliser des fonctions de chaîne standard pour une approche plus rapide :

function chopExtension($filename) {
    return substr($filename, 0, strrpos($filename, '.'));
}

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!