如何设置从变量创建文件的名称？

import datetime

# 获取当前日期和时间
current_time = datetime.datetime.now().strftime("%Y-%m-%d_%H-%M-%S")

# 定义文件名的一部分
file_name = "example_file"

# 使用字符串拼接创建文件名
full_file_name = f"{file_name}_{current_time}.txt"

# 创建文件
with open(full_file_name, "w") as file:
    file.write("文件内容")

import java.time.LocalDateTime;
import java.time.format.DateTimeFormatter;

// 获取当前日期和时间
LocalDateTime currentTime = LocalDateTime.now();
DateTimeFormatter formatter = DateTimeFormatter.ofPattern("yyyy-MM-dd_HH-mm-ss");
String formattedTime = currentTime.format(formatter);

// 定义文件名的一部分
String fileName = "example_file";

// 使用字符串拼接创建文件名
String fullFileName = fileName + "_" + formattedTime + ".txt";

// 创建文件
File file = new File(fullFileName);
file.createNewFile();