OOP class type
在 Theory\Type-system\OOP-and-type-system
中讨论了OOP 和 type system。
我们知道C++是支持OOP的,user-defined class就是本章描述的OOP class type。关于OOP class,参见C++\Language-reference\Classes
。
OOP的一个非常重要的特性是: dynamic polymorphism,我们称OOP class type中具备dynamic polymorphism的type为polymorphic type,参见./Polymorphic-type
。