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!