Python中Protocol注解元类@property时类型不兼容问题求助

错误原因分析 #

你遇到的类型不匹配问题，核心是协议定义时的参数误解：

• 元类MyType的@property def keys(cls)是给**元类的实例（即普通类）**添加属性，当你通过MyType(bar)创建类对象foo时，foo.keys返回的是list[str]。
• 你之前的协议中用cls作为keys方法的参数，类型检查器会错误地将其识别为类方法的定义，而非类对象的实例属性，因此判定property类型与list[str]不兼容。

解决方案 #

1. 修正协议定义

将协议中的cls改为self，明确这是类对象（元类实例）的实例属性：

from typing import Protocol

class IsMyType(Protocol):
    """定义keys属性接口的协议"""
    @property
    def keys(self) -> list[str]: ...

2. 优化元类的条件逻辑（可选）

你原代码中的列表推导式条件存在优先级问题，建议用括号明确逻辑，避免意外过滤结果：

class MyType(type):
    @property
    def keys(cls) -> list[str]:
        """返回键列表的属性"""
        result: list[str] = [
            key for key, val in vars(cls).items() 
            # 明确优先级：保留非方法且非魔术属性，或保留方法
            if (not callable(val) and not key.startswith('__')) 
            or type(val).__name__ == 'method'
        ]
        return result

3. 正确使用类型注解

现在可以正常标注类对象的类型，类型检查器会正确识别兼容性：

# 创建MyType的实例（即一个普通类）
foo: IsMyType = MyType('Bar', (), {'x': 1, 'print_info': lambda self: None})
print(foo.keys)  # 输出 ['x', 'print_info']

额外优化：让元类明确实现协议 #

如果需要更严谨的类型约束，可以让元类直接继承协议（协议为静态检查用，无需运行时实现）：

from typing import Protocol

class IsMyType(Protocol):
    @property
    def keys(self) -> list[str]: ...

class MyType(type, IsMyType):
    @property
    def keys(cls) -> list[str]:
        result: list[str] = [
            key for key, val in vars(cls).items() 
            if (not callable(val) and not key.startswith('__')) 
            or type(val).__name__ == 'method'
        ]
        return result

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