从r中的.wav文件名中提取日期和时间

import re

def extract_datetime_from_wav_filename(filename):
    # 定义.wav文件名的命名规则
    pattern = r'(\d{4}\d{2}\d{2})_(\d{2}\d{2}\d{2})\.wav'
    
    # 使用正则表达式提取日期和时间信息
    match = re.search(pattern, filename)
    
    if match:
        # 提取到日期和时间信息
        date = match.group(1)
        time = match.group(2)
        
        # 格式化日期和时间信息
        formatted_date = f"{date[:4]}-{date[4:6]}-{date[6:]}"
        formatted_time = f"{time[:2]}:{time[2:4]}:{time[4:]}"
        
        return formatted_date, formatted_time
    else:
        return None

# 示例使用
filename = "20220101_123456.wav"
date, time = extract_datetime_from_wav_filename(filename)
print(f"日期：{date}")
print(f"时间：{time}")