Français
Français
Pendant le développement de PHP, l'obtention des extensions de fichiers est une opération commune et nécessaire, en particulier lors de la gestion des téléchargements de fichiers et des jugements de type de fichier. Cet article vous présentera plusieurs méthodes PHP couramment utilisées pour obtenir des extensions de fichiers et démontrera le processus complet à travers des exemples réels.
L'extension de fichier est la pièce après le dernier point (".") Dans le nom du fichier et est utilisée pour identifier le type du fichier. Par exemple, dans le nom de fichier "Exemple.txt", l'extension est "txt". Avec l'extension, le système peut identifier le type de fichier et décider quel programme utiliser pour ouvrir le fichier.
En PHP, les extensions de fichiers peuvent être facilement extraites via une variété de fonctions. Voici deux manières courantes et pratiques:
La fonction pathinfo () renvoie un tableau associatif contenant des informations de chemin et peut obtenir directement l'extension.
$file = 'example.txt';
$ext = pathinfo($file, PATHINFO_EXTENSION);
echo $ext;
Après l'exécution, la sortie sera: txt.
La fonction strrchr () renvoie la dernière occurrence du caractère spécifié dans la chaîne et son contenu ultérieur. Combiné avec substr (), vous pouvez extraire des extensions sans points.
$file = 'example.txt';
$ext = strrchr($file, '.');
// Sortir .txt
// Supprimer le numéro de point
$ext = substr($ext, 1);
echo $ext;
Le résultat de sortie après l'exécution est également: txt.
Ce qui suit montre un scénario de téléchargement de fichiers commun, montrant comment obtenir l'extension du fichier téléchargé et effectuer la vérification de type et de taille.
if (isset($_POST['submit'])) {
$file = $_FILES['file'];
$fileName = $file['name'];
$fileExt = strtolower(end(explode('.', $fileName)));
$fileTmpName = $file['tmp_name'];
$fileSize = $file['size'];
$fileError = $file['error'];
$allowed = array('jpg', 'jpeg', 'png', 'gif');
if (in_array($fileExt, $allowed)) {
if ($fileError === 0) {
if ($fileSize < 1000000) {
$fileNameNew = uniqid('', true) . '.' . $fileExt;
$fileDest = "uploads/" . $fileNameNew;
move_uploaded_file($fileTmpName, $fileDest);
echo "File uploaded successfully!";
} else {
echo "Your file is too big!";
}
} else {
echo "There was an error uploading your file!";
}
} else {
echo "You cannot upload files of this type!";
}
}
Ce code obtient les informations de fichier téléchargées via $ _files, extrait l'extension de fichier et la convertit en minuscules pour s'assurer que le type de fichier est conforme à la liste autorisée. Si la taille du fichier est respectée et qu'il n'y a pas d'erreur de téléchargement, le fichier sera enregistré dans le répertoire spécifié et le résultat de téléchargement sera un commentaire.
Cet article introduit systématiquement diverses méthodes pour obtenir des extensions de fichiers dans PHP et combine des exemples de téléchargement de fichiers pour aider les développeurs à comprendre et à maîtriser le processus de base de l'extension de fichier et du téléchargement de fichiers. La maîtrise de ces compétences améliorera efficacement l'efficacité et la sécurité du traitement des fichiers PHP.
