能否用乘法运算符创建联合类型列表？PyRight类型标注疑问

问题根源 #

PyRight对字面量列表的类型推断非常严格：[None]会被推断为List[None]，执行乘法操作4 * [None]后，结果类型仍然是List[None]。由于Python泛型默认是不变的，List[None]无法直接赋值给List[Union[int, None]]，因此触发类型错误。

解决方案：给乘法中的字面量列表指定类型 #

你不需要放弃乘法创建列表的方式，只需给[None]添加表达式级类型标注，让PyRight将其推断为List[Union[int, None]]，乘法后的结果类型就会匹配目标类型：

写法1：Python 3.9+ 原生表达式级注解 #

from typing import List, Union

def new_thingy() -> List[Union[int, None]]:
    # 直接给[None]标注目标类型
    l: List[Union[int, None]] = 4 * ([None] : List[Union[int, None]])
    return l

写法2：注释风格类型标注（兼容所有Python版本） #

from typing import List, Union

def new_thingy() -> List[Union[int, None]]:
    n: List[Union[int, None]] = 4 * ([None]  # type: List[Union[int, None]])
    return n

关于表达式级类型归属语法 #

PyRight完全支持类似Typed Racket的表达式级类型标注：

• Python 3.9及以上版本支持原生语法：(表达式: 类型)
• 所有Python版本都可以使用注释风格：表达式 # type: 类型

这两种写法都能直接为单个表达式指定类型，强制类型检查器按照你定义的类型进行推断，完美解决你遇到的类型不匹配问题。

额外说明 #

你提到的列表推导式[None for _ in range(4)]之所以可行，是因为PyRight会检查推导式元素是否兼容变量标注的类型（None属于Union[int, None]），而乘法操作的结果类型由原始列表的推断类型决定，因此需要显式标注原始列表的类型。

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