解包元组会导致元组大小不匹配错误

问题描述

在对元组解包进行类型检查时，我在此程序上遇到 pylance 错误（基本设置）。这个想法是一个元组可以有 2 或 3 个特定类型的元素。

# pylance typechecking "basic"

from typing import Tuple,Union

TT = Union[Tuple[str,str,float],Tuple[str,str]]

def f(v: TT):
    if len(v) == 3:
        a,b,c = v  # pylance reportGeneralTypeIssues: Tuple size mismatch: expected 3 but received 2
    elif len(v) == 2:
        a,b = v    # pylance reportGeneralTypeIssues: Tuple size mismatch: expected 2 but received 3

我应该如何说服检查员这是正确的（没有 #type ignore）？

解决方法

我相信 Python 3.10 将使用 TypeGuard 提供解决方案。请参阅 PEP 647，其中甚至包含元组中元素数量的示例。