python - 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

在 Python 的类型注解（type hints）中，并没有直接使用 int* | str* 这样的语法来表示类型。这看起来像是一个误解或者是对其他编程语言（如 C 或 C++）中指针概念的混淆。在 Python 中，int | str 是使用 Python 3.10 及以后版本引入的联合类型（Union Type）的正确方式，它表示一个变量可以是 int 类型或 str 类型中的任何一个。

在你的例子中，Editor 类使用了泛型（Generics）来接受一个类型参数 T，这个 T 被限制为 SteamSave 或 XboxSave。因此，当你实例化 Editor[SteamSave] 或 Editor[XboxSave] 时，self.save_data 相应地会被推断为 SteamSave 或 XboxSave 类型的实例，而 self.save_data.prop 则分别被推断为 int 或 str 类型。

另一方面，Editor2 类直接在其构造函数中使用了 SteamSave | XboxSave 作为 save 参数的类型注解。这同样表示 save 参数可以是 SteamSave 或 XboxSave 类型的实例。在这种情况下，VSCode 或其他类型检查工具应该能够推断出 self.save_data.prop 的类型也是 int 或 str（尽管这种推断可能依赖于工具对类属性的理解程度）。

关于 int* | str* 中的星号（*），在 Python 的类型注解中，星号没有直接的含义。如果你在 Python 代码中看到这样的表示，它很可能是个错误，或者是对其他语言特性的误解。在 C 或 C++ 中，星号用于表示指针类型，但在 Python 中，我们不需要（也不能）在类型注解中显式地表示引用或指针。Python 中的变量名总是指向对象的引用，但这种引用是隐式的，不需要在类型注解中显式声明。

总结来说，int | str 是 Python 中表示联合类型的正确方式，而 int* | str* 并不是 Python 中的有效语法，星号（*）在这里没有特殊意义。