我注意到涉及 Descriptors
的 typing.Protocol
行为,但我并不完全理解。考虑以下代码:
import typing as t
T = t.TypeVar('T')
class MyDescriptor(t.Generic[T]):
def __set_name__(self, owner, name):
self.name = name
def __set__(self, instance, value: T):
instance.__dict__[self.name] = value
def __get__(self, instance, owner) -> T:
return instance.__dict__[self.name]
class Named(t.Protocol):
first_name: str
class Person:
first_name = MyDescriptor[str]()
age: int
def __init__(self):
self.first_name = 'John'
def greet(obj: Named):
print(f'Hello {obj.first_name}')
person = Person()
greet(person)
Person
类是否隐式实现了Named
协议?根据 mypy的结果,它并没有实现:
error: Argument 1 to "greet" has incompatible type "Person"; expected "Named"
note: Following member(s) of "Person" have conflicts:
note: first_name: expected "str", got "MyDescriptor[str]"
我猜这是因为mypy很快就得出结论,即
str
和MyDescriptor[str]
是两种不同的类型。这是公平的。然而,对于
first_name
使用普通的str
或将其包装在获取和设置str
的描述符中只是一些实现细节。在此进行鸭子类型判断时,first_name
(接口)的使用方式不会改变。换句话说,
Person
实现了Named
。顺便说一下,PyCharm的类型检查器在这种特定情况下不会抱怨(虽然我不确定这是出于设计还是偶然)。
根据
typing.Protocol
的预期用途,我的理解错了吗?