python输入"20230812"转换格式输出"2023-08-12"

您可以使用`datetime`模块来实现将输入的日期字符串转换为指定格式的日期输出。以下是一个示例代码：

import datetime

# 输入日期字符串
date_str = input("请输入日期（格式为YYYYMMDD）：")

# 将日期字符串转换为日期对象
date = datetime.datetime.strptime(date_str, "%Y%m%d").date()

# 格式化日期为"YYYY-MM-DD"的形式
formatted_date = date.strftime("%Y-%m-%d")

# 输出格式化后的日期
print(formatted_date)

在这个示例中，我们首先导入了`datetime`模块。然后，使用`input()`函数获取用户输入的日期字符串，并将其保存在变量`date_str`中。

接下来，使用`datetime.datetime.strptime(date_str, "%Y%m%d").date()`将日期字符串转换为日期对象，并将其保存在变量`date`中。

然后，使用`date.strftime("%Y-%m-%d")`将日期对象格式化为"YYYY-MM-DD"的形式，其中`"%Y-%m-%d"`是日期格式化的字符串，分别代表年、月、日的格式。

最后，使用`print()`函数输出格式化后的日期。

运行这段代码，它将提示您输入一个日期（格式为YYYYMMDD），然后将其转换为"YYYY-MM-DD"的形式并进行输出。请注意，输入的日期应该符合指定的格式，否则可能会引发异常。