Maison >développement back-end >tutoriel php >Comment extraire un nom de fichier de script sans son extension PHP ?
Extraction du nom de fichier de script sans extension PHP
Obtenir le nom de fichier de script complet, y compris son extension, peut être facilement réalisé à l'aide de la constante magique de PHP __FILE__. Cependant, si votre objectif est d'obtenir le nom de fichier sans l'extension ".php", vous avez besoin d'une approche légèrement différente.
Méthode 1 : Utiliser basename() avec FILE
La fonction basename() peut supprimer l'extension de __FILE__. Par exemple :
$filenameWithoutExtension = basename(__FILE__, '.php');
Cela attribuera "jquery.js" à $filenameWithoutExtension pour le nom de script donné "jquery.js.php".
Méthode 2 : extension générique Fonction de suppression
Vous pouvez également créer une fonction générique qui supprime l'extension de n'importe quel nom de fichier :
function chopExtension($filename) { return pathinfo($filename, PATHINFO_FILENAME); }
Méthode 3 : sous-chaîne et fractionnement de chaîne
Une autre option consiste à utiliser les fonctions de bibliothèque de chaînes standard, comme substr() et strrpos() :
function chopExtension($filename) { return substr($filename, 0, strrpos($filename, '.')); }
Considérations sur les performances
L'analyse comparative montre que l'utilisation Les fonctions de chaîne sont beaucoup plus rapides que l'utilisation de pathinfo().
Exemple d'utilisation
$filenameWithoutExtension = chopExtension('bob.php'); // "bob" $filenameWithoutExtension2 = chopExtension('bob.i.have.dots.zip'); // "bob.i.have.dots"
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!