Skip to content

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