from datetime import datetime def convert_time(time_str): time_obj = datetime.strptime(time_str, '%a, %d %b %Y %H:%M:%S %z') return time_obj.strftime('%Y-%m-%d') if __name__ == '__main__': time_str1 = 'Mon, 15 May 2023 11:20:41 +0800 (CST)' time_str2 = 'Mon, 15 May 2023 16:41:44 +0800' time1 = convert_time(time_str1) time2 = convert_time(time_str2) print(time1) # 2023-05-15 print(time2) # 2023-05-15

这段代码是一个 Python 程序，它的功能是将一个特定格式的时间字符串转换为另一个格式的时间字符串。具体来说，它引入了 datetime 模块，并定义了一个名为 convert_time 的函数，该函数接受一个字符串参数 time_str，将其转换为 datetime 对象，然后再将其转换为 '%Y-%m-%d' 格式的字符串并返回。在程序的主体部分，它使用两个示例时间字符串分别调用 convert_time 函数，并将结果打印输出。