将带有短月份的非标准日期转换为时间戳

import datetime

def convert_to_timestamp(date_string):
    # 定义非标准日期格式的月份和对应的数字
    month_mapping = {
        'Jan': '01',
        'Feb': '02',
        'Mar': '03',
        'Apr': '04',
        'May': '05',
        'Jun': '06',
        'Jul': '07',
        'Aug': '08',
        'Sep': '09',
        'Oct': '10',
        'Nov': '11',
        'Dec': '12'
    }

    # 将非标准日期格式转换为标准日期格式
    date_parts = date_string.split()
    month = month_mapping[date_parts[1]]
    standard_date = f"{date_parts[2]}-{month}-{date_parts[0]}"

    # 将标准日期格式转换为时间戳
    timestamp = datetime.datetime.strptime(standard_date, "%Y-%m-%d").timestamp()

    return int(timestamp)

# 示例输入：'15 Jan 2022'
date_string = '15 Jan 2022'
timestamp = convert_to_timestamp(date_string)
print(timestamp)