如何利用MyPy强制具体类必须实现抽象类的指定属性？

当然可以！MyPy完全有能力帮你实现这个需求——强制继承FooBase的子类必须显式指定foo属性的值，否则触发类型检查错误。下面是具体的实现方案：

问题根源：原代码的不足 #

你当前的FooBase只是继承了ABC，但仅用类型注解声明了foo: str，这只是告诉MyPy“这个类应该有一个foo字符串属性”，并没有标记它为必须由子类实现的抽象成员。所以MyPy不会主动检查子类是否提供了foo的值。

解决方案1：用抽象方法定义抽象属性（兼容Python 3.8+） #

通过@abstractmethod搭配@property，可以把foo标记为抽象属性，强制子类必须实现它：

from abc import ABC, abstractmethod

class FooBase(ABC):
    @property
    @abstractmethod
    def foo(self) -> str:
        # 抽象方法无需具体实现，用...占位即可
        ...
    
    bar: str
    baz: int
    
    def __init__(self):
        self.bar = "bar"
        # 注意：原代码中baz是int类型，但赋值了字符串，这里修正为整数避免类型错误
        self.baz = 42

现在子类Foo必须提供foo的具体实现——不管是用类属性直接赋值，还是用@property实现：

# 合法：直接声明类属性foo
class Foo(FooBase):
    foo: str = "hello"

# 也合法：用@property实现
class AnotherFoo(FooBase):
    @property
    def foo(self) -> str:
        return "world"

如果子类没有实现foo，比如：

class BadFoo(FooBase):
    pass

MyPy会立刻抛出错误：

error: Missing implementation of abstract property "foo" for class "BadFoo"  [abstract-method]

解决方案2：用typing.Abstract（Python 3.12+） #

如果你使用Python 3.12及以上版本，可以用更简洁的Abstract类型标记抽象属性，无需写抽象方法：

from abc import ABC
from typing import Abstract

class FooBase(ABC):
    foo: Abstract[str]
    bar: str
    baz: int
    
    def __init__(self):
        self.bar = "bar"
        self.baz = 42

这种写法的效果和方案1完全一致：子类必须提供foo的值，否则MyPy报错。

额外注意事项 #

• 原代码中baz的类型注解是int，但__init__里赋值了字符串"baz"，这会导致MyPy抛出类型不匹配的错误，记得修正为对应类型的值。
• 对于bar和baz，因为已经在抽象类的__init__中完成了赋值，子类完全不需要关心或重写它们，MyPy也不会强制要求子类处理这两个属性，完美符合你的设计需求。

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