Python元组类型标注报错：Tuple[int]与Tuple[]不兼容如何解决

• 你对tuple[()]的类型定义理解有误：tuple[()]代表固定长度为0、没有任何元素的元组类型，被标注为该类型的变量只能永远存储空元组，不允许后续被赋值为其他任意长度的元组。
• 类型检查器是严格按照静态类型规则校验的，你后续执行T = T + (n,)得到的是长度为1的单元素整数元组Tuple[int]，和你预先声明的Tuple[()]类型不兼容，因此触发类型错误。
• 你误以为空元组初始值就需要标注空元组类型，但实际上你需要匹配变量整个生命周期的类型变化范围，而不是仅匹配初始值的类型。

将变量T的类型标注修改为和返回值一致的tuple[int, ...]即可，这个类型代表任意长度、所有元素均为int的元组，空元组、长度为1的整数元组、更长的整数元组都属于该类型的合法值。

修改后的代码如下：

def vectorise(n : int, m : int) -> tuple[int,...]:
  '''creates a tuple of element n repeated m times'''
  T : tuple[int, ...] = () # 空元组属于tuple[int, ...]的合法取值
  counter : int = 0
  while counter < m:
    T = T + (n,)
    counter += 1
  return T

L = vectorise(100, 5)

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