如何将特定文件从一个文件夹移动到另一个文件夹？

import shutil

source_file = '/path/to/source/folder/file.txt'
target_folder = '/path/to/target/folder/'

shutil.move(source_file, target_folder)

import java.io.File;
import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.StandardCopyOption;

public class FileMoveExample {
    public static void main(String[] args) {
        File sourceFile = new File("/path/to/source/folder/file.txt");
        File targetFolder = new File("/path/to/target/folder/");

        try {
            Files.move(sourceFile.toPath(), targetFolder.toPath().resolve(sourceFile.getName()), StandardCopyOption.REPLACE_EXISTING);
        } catch (IOException e) {
            e.printStackTrace();
        }
    }
}

using System;
using System.IO;

class Program
{
    static void Main()
    {
        string sourceFile = @"C:\path\to\source\folder\file.txt";
        string targetFolder = @"C:\path\to\target\folder\";

        File.Move(sourceFile, Path.Combine(targetFolder, Path.GetFileName(sourceFile)));
    }
}