子类super().__init__()在使用继承元类的元类时执行失败

我明白你在做计算机科学课程作业时遇到的这个元类问题了——想要给Word和Type类添加指向自身实例的静态变量，结果子类调用super().__init__()时卡壳了。咱们来一步步拆解问题并解决它。

问题分析 #

你的代码核心思路是用元类在类初始化时自动创建静态实例变量，但出现报错大概率是因为这两个原因：

1. 元类的__init__方法参数不匹配——你给MetaWord加了**kwargs，但默认元类的__init__并不需要这个额外参数，导致调用super()时参数传递出错；
2. 子类Type的构造函数可能和Word参数不一致，但元类里创建实例时没有适配这个差异。

修正后的完整代码 #

先补全并修正你的代码，确保逻辑能正常运行：

1. 基础常量与Token类 #

class Tag:
    # 定义编译器需要的标签常量
    AND = 256
    OR = 257
    BASIC = 258
    INT = 259
    FLOAT = 260

class Token:
    def __init__(self, tag):
        self.tag = tag

2. Word类与对应的元类 #

class MetaWord(type):
    def __init__(cls, name, bases, attrs):
        # 给当前类（Word）创建静态实例变量
        cls.and_ = cls('&&', Tag.AND)
        cls.or_ = cls('||', Tag.OR)
        # 调用父元类（type）的初始化逻辑
        super().__init__(name, bases, attrs)

class Word(Token, metaclass=MetaWord):
    def __init__(self, lexeme, tag):
        super().__init__(tag)
        self.lexeme = lexeme

3. Type类与子类元类 #

class MetaType(MetaWord):
    def __init__(cls, name, bases, attrs):
        # 先调用父元类MetaWord的初始化，确保Word的静态变量被创建
        super().__init__(name, bases, attrs)
        # 给Type类添加自己的静态实例变量（适配Type的构造函数参数）
        cls.int_ = cls('int', Tag.INT, 4)
        cls.float_ = cls('float', Tag.FLOAT, 8)

class Type(Word, metaclass=MetaType):
    def __init__(self, lexeme, tag, width):
        super().__init__(lexeme, tag)
        self.width = width  # 存储类型占用的字节宽度，比如int占4字节

4. 测试验证 #

# 调用静态变量验证功能
print(Word.and_.lexeme)  # 输出: &&
print(Type.int_.width)   # 输出: 4
print(Type.or_.lexeme)   # 输出: ||（继承自Word的静态变量）

关键修正点说明 #

• 移除多余的**kwargs：元类__init__的标准参数是cls, name, bases, attrs，额外的关键字参数会导致super()调用时参数不匹配；
• 适配子类构造函数差异：Type类比Word多了width参数，所以在MetaType创建静态实例时要传入对应的参数；
• 明确调用顺序：MetaType先调用父元类的初始化逻辑，再添加自己的静态变量，确保继承的静态变量也能正常创建。

内容的提问来源于stack exchange，提问作者Tales Pádua