如何传递Optional类型参数给非可选类型函数并通过Pylance检查？

问题核心是C1类的timeout字段为Optional[int]（即可能是int或None），但函数f要求参数必须是int类型，导致Pylance报错。以下是几种可行的处理方式：

方法1：在__post_init__中替换None为默认int值 #

直接在初始化后将None替换为函数f的默认值，确保传给f的参数一定是int类型：

from typing import Optional
from dataclasses import dataclass

def f(timeout: int = 1):
    pass

@dataclass
class C1():
    timeout: Optional[int] = None  # 给字段添加默认None，贴合延迟初始化的需求

    def __post_init__(self):
        # 处理None值，替换为f的默认参数
        actual_timeout = self.timeout if self.timeout is not None else 1
        f(actual_timeout)

Pylance会自动识别actual_timeout为int类型，消除报错。

方法2：用断言告知Pylance值不为None #

如果能保证实例化C1时timeout绝不会是None（比如外部调用必传int），可以用断言强制让类型检查器认可当前值为int：

from typing import Optional
from dataclasses import dataclass

def f(timeout: int = 1):
    pass

@dataclass
class C1():
    timeout: Optional[int]

    def __post_init__(self):
        # 断言timeout非None，触发类型窄化
        assert self.timeout is not None, "timeout参数不能为None"
        f(self.timeout)

注意：如果运行时timeout实际为None，会触发断言错误，适合输入可控的场景。

方法3：修改函数f的参数类型（若允许） #

如果有权限修改f，可将其参数改为Optional[int]，并在函数内部处理None逻辑：

from typing import Optional
from dataclasses import dataclass

def f(timeout: Optional[int] = None):
    # 内部处理None，替换为默认值
    actual_timeout = timeout if timeout is not None else 1
    # 后续业务逻辑使用actual_timeout

@dataclass
class C1():
    timeout: Optional[int] = None

    def __post_init__(self):
        f(self.timeout)

这种方式把类型兼容逻辑封装到f内部，类的代码更简洁。

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