python如何将tc开头后面接数字，后面下划线后面随机的文件名改成DMT-开头，数字替换为四位，不够前面填0，下划线后面保持一样

在Python中，你可以通过字符串操作和正则表达式来完成这个文件名的格式转换。假设你有一个列表或者变量`files`存储了需要修改的文件名，每个文件名都符合`tc开头后面跟数字和下划线`的模式，你可以使用下面的步骤：

import re

def rename_files(files):
    # 正则匹配 TC 开头，后面跟着任意数字和一个下划线
    pattern = r'^TC\d+_\w+$'
    
    for file in files:
        # 使用正则查找并替换
        match = re.match(pattern, file)
        if match:
            new_name = 'DMT-{:04d}_{}'.format(int(match.group(1)), match.group(2))  # 将数字转为整数并填充到四位
            new_file = new_name  # 如果只是格式化，这里就是新的文件名，如果是实际重命名，会加上os.rename操作
            print(f"原文件名: {file}, 新文件名: {new_file}")
            # 这里省略了实际的重命名操作，如果你需要，可以添加如下的行：
            # os.rename(file, new_file)

# 假设你的文件列表是这样的
file_list = ['TC1234_abc.txt', 'TC5678_def.png', 'TC9012_ghi.jpg']
rename_files(file_list)

上述代码首先定义了一个正则表达式模式，然后遍历文件列表，对每个匹配的文件名进行处理，生成新的格式，并打印出来。如果你想实际更改文件名，记得在代码中添加适当的文件系统操作（例如`os.rename()`）。