📌  相关文章
📜  从文件名获取扩展名 php (1)

📅  最后修改于: 2023-12-03 14:49:25.511000             🧑  作者: Mango

从文件名获取扩展名

在编程中,经常会需要从文件名中获取文件的扩展名,例如判断文件类型、确定文件存储格式等。本文将介绍如何使用不同编程语言获取文件名的扩展名。

Python

在 Python 中,可以使用 os 模块中的 path.splitext() 函数获取文件扩展名。这个函数将文件路径分割成文件名和扩展名的元组。

import os

filename = "example.txt"
extension = os.path.splitext(filename)[1]
print(extension)  # 输出:.txt
JavaScript

在 JavaScript 中,可以使用 String.prototype.split()Array.prototype.pop() 函数获取文件扩展名。这个方法将文件名以 . 分割成数组,然后弹出数组的最后一个元素。

let filename = "example.txt";
let extension = filename.split(".").pop();
console.log(extension);  // 输出:txt
Java

在 Java 中,可以使用 java.io.File 类中的 getName()lastIndexOf() 方法获取文件扩展名。这个方法将文件名以 . 分割成字符串数组,然后获取数组的最后一个元素。

import java.io.File;

String filename = "example.txt";
String extension = filename.substring(filename.lastIndexOf(".") + 1);
System.out.println(extension);  // 输出:txt
PHP

在 PHP 中,可以使用 pathinfo() 函数获取文件扩展名。这个函数将文件路径分割成文件名、目录和扩展名的数组,然后获取数组中的扩展名元素。

$filename = "example.txt";
$extension = pathinfo($filename, PATHINFO_EXTENSION);
echo $extension;  // 输出:txt

以上是从文件名获取扩展名的常见方法,根据不同编程语言的特点选择适合的方法可以使代码更加优雅和高效。