如何窄化Dataclass注解？post_init后修正非None属性的类型提示

我需要实现一个数据类，支持两种初始化方式：

1. 显式传入secondary关键字参数赋值
2. 未指定secondary时，自动从primary字段推断值

最初的代码运行正常，但类型检查器始终认为secondary是float | None，而实际上__post_init__执行后它不可能为None。现有几种方案都存在不足：

• 使用cast无法让类型检查器识别字段类型的变化
• 随机浮点数作为哨兵值不符合Python风格，还存在冲突风险
• 改用私有字段再生成公开属性的方式，修改了原本的参数结构，不够直观

更优方案1：类方法构造器 #

通过类方法封装初始化逻辑，既保留数据类的简洁性，又给类型检查器提供准确的类型提示：

import dataclasses
from typing import Self

@dataclasses.dataclass
class RelatedValues:
    primary: float
    secondary: float

    @classmethod
    def create(cls, primary: float, secondary: float | None = None) -> Self:
        # 处理可选参数的推断逻辑
        if secondary is None:
            secondary = primary
        return cls(primary=primary, secondary=secondary)

使用方式：

# 自动推断secondary
rv1 = RelatedValues.create(3.14)
# 显式指定secondary
rv2 = RelatedValues.create(3.14, 6.28)
# 也可以直接用原生初始化（需传入两个参数）
rv3 = RelatedValues(3.14, 6.28)

这种方案的优势是类型提示完全准确，secondary始终是float，同时保持了初始化的灵活性。

更优方案2：私有字段+带 setter 的属性 #

如果希望保留原有的关键字参数名（允许初始化时传入secondary=None），同时保证访问时的类型正确，可以用私有字段存储可选值，通过@property暴露非空属性：

import dataclasses

@dataclasses.dataclass
class RelatedValues:
    primary: float
    _: dataclasses.KW_ONLY
    _secondary: float | None = None

    @property
    def secondary(self) -> float:
        if self._secondary is None:
            # 延迟推断值，仅在第一次访问时赋值
            self._secondary = self.primary
        return self._secondary

    @secondary.setter
    def secondary(self, value: float) -> None:
        self._secondary = value

使用方式：

# 自动推断secondary
rv1 = RelatedValues(primary=3.14)
print(rv1.secondary)  # 输出3.14
# 显式指定secondary
rv2 = RelatedValues(primary=3.14, _secondary=6.28)
# 或者后期修改
rv1.secondary = 6.28

这种方案既保留了原有的参数结构（仅将内部存储改为私有字段），又让类型检查器识别secondary为float，同时支持后期修改属性值。

方案对比 #

• 类方法构造器更适合严格的类型约束场景，强制用户通过统一入口创建实例，避免直接传入None导致的类型问题
• 私有字段+属性的方式更灵活，兼容原有初始化习惯，适合需要保留参数可选性的场景

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