PHP copy函数与文件扩展名检查

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() 函数复制文件；否则，我们显示一条错误消息。