python定义一个copy_file函数，实现文件的复制

可以使用Python的shutil库来实现文件的复制。

示例代码如下：

import shutil

def copy_file(src_file, dst_file):
    """
    复制文件
    :param src_file: 源文件路径
    :param dst_file: 目标文件路径
    :return: None
    """
    shutil.copyfile(src_file, dst_file)

使用方法：

copy_file('source.txt', 'destination.txt')

其中，`source.txt`为源文件路径，`destination.txt`为目标文件路径。