为何mypy不允许通过解包列表创建datetime对象？

问题重现 #

代码运行正常，但mypy报错：

from datetime import datetime

def tle_request(date_time: list[int]) -> datetime:
    # 此处触发mypy错误
    general_date: datetime = datetime(*date_time[:3])  
    return general_date

# 示例调用
my_time = tle_request([2023, 9, 27])
print(f"Hello {my_time}")

运行结果：

❯ python main.py
Hello 2023-09-27 00:00:00

mypy报错信息：

❯ mypy main.py
main.py:5: error: Argument 1 to "datetime" has incompatible type "*list[int]"; expected "tzinfo | None"  [arg-type]
Found 1 error in 1 file (checked 1 source file)

改为手动传参后mypy检测通过：

general_date: datetime = datetime(date_time[0], date_time[1], date_time[2])

❯ mypy main.py
Success: no issues found in 1 source file

原因分析 #

1. 列表切片的类型推断限制：mypy将date_time[:3]推断为list[int]，它只能识别这是一个最多包含3个int元素的列表，但无法确认切片后的元素数量恰好是3个，而datetime构造函数需要固定的3个位置参数（年、月、日）。
2. 重载匹配错误：由于无法确认解包后的参数数量，mypy无法匹配到datetime(year: int, month: int, day: int, ...)的构造函数重载，反而错误匹配到了其他签名（比如误以为传递的是tzinfo参数），导致出现看似矛盾的报错信息。
3. 手动索引的特殊处理：手动索引date_time[0], date_time[1], date_time[2]时，mypy默认假设不会出现越界访问（未开启严格索引检查模式），会将每个索引表达式推断为int类型，正好匹配datetime构造函数的前三个参数，因此检测通过。

解决方法 #

方法1：用assert断言列表长度 #

通过assert明确告诉mypy输入列表的长度满足要求，让它推断切片后的元素数量为3：

from datetime import datetime

def tle_request(date_time: list[int]) -> datetime:
    assert len(date_time) >= 3, "date_time必须包含至少3个元素（年、月、日）"
    general_date: datetime = datetime(*date_time[:3])
    return general_date

方法2：用类型转换明确切片类型 #

通过typing.cast将切片后的列表强制标注为长度为3的元组，让mypy确认参数数量：

from datetime import datetime
from typing import cast, Tuple

def tle_request(date_time: list[int]) -> datetime:
    date_parts = cast(Tuple[int, int, int], date_time[:3])
    general_date: datetime = datetime(*date_parts)
    return general_date

方法3：修改参数类型（如果允许） #

如果函数输入始终是包含3个元素的序列，直接将参数类型改为Tuple[int, int, int]，mypy会自动识别解包后的参数数量：

from datetime import datetime
from typing import Tuple

def tle_request(date_time: Tuple[int, int, int]) -> datetime:
    general_date: datetime = datetime(*date_time)
    return general_date

内容的提问来源于stack exchange，提问作者Rubem Pacelli