copy() 函数用于在 PHP 中将一个文件复制到另一个位置
以下是一个使用 copy() 函数和检查文件扩展名的示例：
<?php
function copyFileWithExtensionCheck($source, $destination, $allowedExtensions) {
// 获取源文件的扩展名
$sourceExtension = pathinfo($source, PATHINFO_EXTENSION);
// 检查源文件的扩展名是否在允许的扩展名列表中
if (in_array($sourceExtension, $allowedExtensions)) {
// 使用 copy() 函数复制文件
if (copy($source, $destination)) {
echo "File copied successfully.";
} else {
echo "Error: Failed to copy the file.";
}
} else {
echo "Error: Invalid file extension.";
}
}
// 示例用法
$sourceFile = "example.txt";
$destinationFile = "destination/example.txt";
$allowedExtensions = array("txt", "pdf", "jpg");
copyFileWithExtensionCheck($sourceFile, $destinationFile, $allowedExtensions);
?>
在这个示例中，我们定义了一个名为 copyFileWithExtensionCheck() 的函数，该函数接受三个参数：源文件路径、目标文件路径和允许的文件扩展名列表。我们首先使用 pathinfo() 函数获取源文件的扩展名，然后检查它是否在允许的扩展名列表中。如果扩展名有效，我们使用 copy() 函数复制文件；否则，我们显示一条错误消息。
免责声明：本站发布的内容（图片、视频和文字）以原创、转载和分享为主，文章观点不代表本网站立场，如果涉及侵权请联系站长邮箱：is@yisu.com进行举报，并提供相关证据，一经查实，将立刻删除涉嫌侵权内容。
