redefinable element的意思|示意

美 / / 英 / /

redefinable元素

可重定义的元素 ... record type（记录类型） redefinable element（可重定义的元素） redefines（重定义） ...

可重定义元素 (P92) 可重定义元素 (Redefinable Element) —— 可重定义元素是在类元的上下文内定义的元素，在另一个特化(直接或间接)该上下文类元的上下文中，它可以重定义为更特殊或不...