如何为Python抽象类实例变量设置多类型注解？

一、修复联合类型语法错误 #

你遇到的TypeError是因为Python版本低于3.9，不支持str | int这种竖线语法的联合类型声明。对应两种解决方式：

• 若使用Python 3.9+：确保版本符合要求后，直接保留str | int写法即可。
• 若使用Python 3.8及以下：从typing模块导入Union，改写类型注解：

from abc import ABC
from typing import Union

class Base(ABC):
    var: Union[str, int]

二、更严谨的抽象实例变量实现方案 #

类型注解仅作静态提示，无法强制子类必须实现该变量。如果需要强制子类初始化该变量，可以采用以下更严谨的方案：

方案1：抽象属性（推荐） #

通过@property+@abstractmethod组合，强制子类实现对应属性：

from abc import ABC, abstractmethod

class Base(ABC):
    @property
    @abstractmethod
    def var(self):
        pass

class SubClass(Base):
    def __init__(self):
        self._var = "hello"
    
    @property
    def var(self):
        return self._var

# 子类未实现var属性时，实例化会直接报错
# class BadSubClass(Base):
#     pass
# BadSubClass()  # TypeError: Can't instantiate abstract class BadSubClass with abstract method var

方案2：构造方法内检查 #

在抽象基类的__init__方法中，强制校验子类是否初始化了var：

from abc import ABC

class Base(ABC):
    def __init__(self):
        if not hasattr(self, 'var'):
            raise NotImplementedError("子类必须初始化实例变量var")

class SubClass(Base):
    def __init__(self):
        self.var = 123
        super().__init__()

# 子类未初始化var时会触发报错
# class BadSubClass(Base):
#     def __init__(self):
#         super().__init__()
# BadSubClass()  # NotImplementedError

方案3：结合数据类与抽象基类 #

Python 3.7+可使用dataclasses，同时实现类型声明与初始化强制：

from abc import ABC
from dataclasses import dataclass
from typing import Union

@dataclass
class Base(ABC):
    var: Union[str, int]

class SubClass(Base):
    pass

# 实例化时必须传入符合类型要求的var参数
obj = SubClass(var="test")
obj2 = SubClass(var=456)

内容的提问来源于stack exchange，提问作者24n8