Python 中 `int* | str*` 和 `int | str` 有什么区别？

Question

from typing import Generic, TypeVar, cast
from dataclasses import dataclass

@dataclass
class SteamSave: 
    prop: int


@dataclass
class XboxSave:
    prop: str


T = TypeVar('T', SteamSave, XboxSave)

class Editor(Generic[T]):
    def __init__(self, save: T):
        self.save_data = save

    def print_prop(self):
        print(self.save_data.prop)


class Editor2():
    def __init__(self, save: SteamSave | XboxSave):
        self.save_data = save

    def print_prop(self):
        print(self.save_data.prop)

print(Editor)
print(Editor[SteamSave])
print(Editor[XboxSave])

VSCode 对两个类 self.save_data.prop 的类型推断结果：

int* | str* 和 int | str 有什么区别，多出来的星号是什么意思？

Answer 1

int | str表示一个变量可以是int类型或str类型
int* | str*在Python的标准类型注解或类型系统中并不是一个有效的表达式。

Answer 2

python没有 int* | str* 的这种类注。

python的 * 使用场景就是和数组、字典与操作符有关，基本就下面三种：

• 作为参数使用:

  • def func(*args, **kwargs)

    • *args: 表示arg是一个数组类型的参数
    • **kwargs: 表示kwarg是一个字典类型的参数

# 数组
def add(a, b, c):
    return a + b + c

numbers = [1, 2, 3]
result = add(*numbers)
print(result)  # 输出: 6

# 字典
def print_dict(a, b, c):
    print(f"a: {a}, b: {b}, c: {c}")

dict_values = {'a': 1, 'b': 2, 'c': 3}
print_dict(**dict_values)

• 作为解构使用

# 数组
In [190]: a = [1, 2, 3]

In [191]: c = [*a, *b]

In [192]: c
Out[192]: [1, 2, 3, '7', '8']

# 字典
In [193]: d = {"a": 1, "b": 22, "c": 333}
In [195]: e = {(1, 2): "tuple of number", ("tom", "jerry"): "Tom and Jerry"}
In [197]: f = {**d, **e}

In [198]: f
Out[198]:
{'a': 1,
 'b': 22,
 'c': 333,
 (1, 2): 'tuple of number',
 ('tom', 'jerry'): 'Tom and Jerry'}

• 作为运算符

  • 4 * 3 = 12
  • 4 ** 2 = 16

Answer 3

• int* | str* 中的 * 表示选项可以为 None，即可接受这两种类型的变量以及 None 值。例如，变量可以是一个整数、字符串或者是 None。
• int | str 中没有包含 None，变量必须是 int 类型或 str 类型，禁止为 None。