如何创建一个与另一个txt文件同名的文件，而不覆盖该文件，而是在python中现有的文件上添加一个数字？

import os

file_name = "example.txt"
base_name = os.path.splitext(file_name)[0]  # 获取文件名
extension = os.path.splitext(file_name)[1]  # 获取扩展名

counter = 1
new_file_name = file_name

while os.path.exists(new_file_name):
    new_file_name = f"{base_name}_{counter}{extension}"
    counter += 1

with open(new_file_name, "w") as file:
    # 在新文件中进行操作，例如写入内容
    file.write("This is a new file.")