青海高等级公路建设管理局网站,网站制作中需要注意的地方,网站搭建服务器需要什么,简单个人网页制作成品Python 是动态类型语言, 只在运行时做 Duck Typing 检查.利: 灵活, 方便弊: 代码混乱, 缺少规范标准自带两类接口支持: abc 和 typing.Protocol, 有他们协助给天马行空的程序员套上枷锁, Python 的大工程才可以上道abcabc 就是 Abstract Base Class, 虚基类. 跟 Ja…Python 是动态类型语言, 只在运行时做 Duck Typing 检查.利: 灵活, 方便弊: 代码混乱, 缺少规范标准自带两类接口支持: abc 和 typing.Protocol, 有他们协助给天马行空的程序员套上枷锁, Python 的大工程才可以上道abcabc 就是 Abstract Base Class, 虚基类. 跟 Java, C 中的虚基类是一个意思, 可以对派生类提供实例化时的动态检查, 确保虚拟接口 (abstractmethod) 都有实现import abcclass Base(abc.ABC): abstractmethod def foo(self, s: str): abc interface demo class Invalid(Base): pass class Child(Base): def foo(self): pass c Child()assert isinstance(c, Base)# TypeError: Cant instantiate abstract class Invalid with abstract methods fooi Invalid()也提供了非侵入式的虚基类关联方法from abc import ABCclass MyABC(ABC): passMyABC.register(tuple)assert issubclass(tuple, MyABC)assert isinstance((), MyABC)检查时机: 在运行中当派生类实例化时检查范围: 只确保 abstractmethod 是否在派生类中有相同函数名实现, 并不检查实现的参数和返回值是否相同. 只看名字不比签名代码影响: 侵入式, 需要继承. 也有手工非侵入式方案typing.Protocolstructure subtyping (static duck-typing)import typingclass Countable(typing.Protocol): def count(self, who: str) - int: support count class Counter: def count(self, who: str) - int: return 0 c Counter()def f(c: Countable): c.count(bill)检查时机: 静态类型检查接口使用方, 例如 mypy检查范围: 确保实现类按照签名实现了接口的全部函数代码影响: 非侵入式, 不需要继承比较abc 类似 c 中的虚基类, typing.Protocol 则好比 c 中的 concept.当然, Python 是动态语言, 在 typing.runtime_checkable 和 abc.abstractmethod 加成后, typing.Protocol 动静两相宜import typingtyping.runtime_checkableclass Countable(typing.Protocol): abc.abstractmethod def count(self, who: str) - int: support count class Counter: def count(self, who: str) - int: return 0 assert issubclass(Counter, Countable)c Counter()assert isinstance(c, Countable)def f(c: Countable): assert isinstance(c, Countable) print(c.count(bill)) f(c)class InvalidCounter(Countable): def c(self): pass # TypeError: Cant instantiate abstract class InvalidCounter with abstract methods counti InvalidCounter()上面这个终极解决方案兼有两者的优点:静态类型检查时会确保是否在派生类中有相同签名的实现动态运行时, 会检查是否同名函数存在代码影响: 自动非侵入式, 不需要继承, 也无需手工注册
