如何在Python dataclass中兼顾宽松初始化与严格类型？

针对你需要的「宽松输入初始化、内部严格类型存储、冻结不可变」的需求，推荐两种无需# type: ignore的方案，均能通过mypy类型检查：

方案1：类方法作为专用构造器（推荐） #

通过类方法处理宽松输入的解析逻辑，再调用dataclass的原生构造器传入严格类型的值，既保证类型安全，又保留frozen=True的不可变性，mypy能完美识别类型流转。

示例代码：

from dataclasses import dataclass
from datetime import datetime
from typing import Union

@dataclass(frozen=True)
class Foo:
    # 内部存储严格类型
    date: datetime
    value: int

    @classmethod
    def from_loose_input(cls, date: Union[str, datetime], value: Union[str, int]) -> "Foo":
        # 解析宽松输入为严格类型
        parsed_date = datetime.fromisoformat(date) if isinstance(date, str) else date
        parsed_value = int(value) if isinstance(value, str) else value
        return cls(date=parsed_date, value=parsed_value)

# 使用示例
foo = Foo.from_loose_input("2024-01-01", "42")
print(foo.date)  # 输出datetime对象，类型严格
# foo.date = datetime.now()  # 触发AttributeError，符合冻结要求

方案2：__post_init__配合object.setattr（适合简单场景） #

如果不想新增类方法，可以在__post_init__中完成类型解析，利用object.__setattr__绕过冻结限制（仅初始化阶段使用，不破坏后续不可变性）。

示例代码：

from dataclasses import dataclass
from datetime import datetime
from typing import Union, cast

@dataclass(frozen=True)
class Foo:
    # 标注允许的宽松输入类型
    date: Union[str, datetime]
    value: Union[str, int]

    def __post_init__(self) -> None:
        # 解析并覆盖属性（仅初始化时允许）
        parsed_date = datetime.fromisoformat(self.date) if isinstance(self.date, str) else self.date
        object.__setattr__(self, 'date', parsed_date)
        
        parsed_value = int(self.value) if isinstance(self.value, str) else self.value
        object.__setattr__(self, 'value', parsed_value)

# 使用时可通过类型断言让mypy识别严格类型
foo = Foo("2024-01-01", "42")
actual_date = cast(datetime, foo.date)
print(type(actual_date))  # <class 'datetime.datetime'>
# foo.value = 100  # 触发AttributeError，不可修改

为什么之前的方法需要# type: ignore？ #

通常是因为直接在__init__中修改类型、或给冻结属性直接赋值，导致mypy无法识别合法的类型转换。上述两种方案通过明确的类型解析逻辑，让类型系统能正确追踪属性的实际类型，无需忽略报错。

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