
多重继承
CarbonLanguageExplorer不支持C++到Carbon的自动转换,它仅是用于浏览官方语法定义grammar.carbon的只读可视化工具,无上传、输入或转换功能。
静态多态靠编译期绑定,本质是函数重载;动态多态需虚函数、继承和指针/引用调用三要素,通过vtable实现运行时分发,override/final可避免误用。
静态绑定在编译期确定函数调用目标,依据声明类型、函数签名和作用域,适用于非虚函数、重载、模板、static成员、全局函数及构造函数等场景。
typeid用于运行时类型查询,返回std::type_info引用;限制包括:仅多态类型支持动态类型识别、需启用RTTI、空指针解引用抛bad_typeid、跨编译单元比较不可靠、对数组/引用/CV...
CRTP能实现静态多态,因其基类为模板且参数为派生类自身,使基类可通过static_cast(this)在编译期安全调用派生类接口,无虚函数开销。
虚函数调用需查表因编译期无法确定具体调用版本,故运行时通过vptr和vtable实现多态;每个含虚函数的类有静态vtable,对象头含隐式vptr指向对应vtable,vptr不参与sizeof且不可...
对象构造顺序为从基类到派生类、再至成员对象(按声明顺序),析构则严格逆序;组合中成员生命周期由宿主完全控制,继承与组合混合时仍遵循“基类先于成员、声明序定成员序”规则。
虚函数调用需满足三条件:函数声明为virtual、通过基类指针或引用调用、对象为多态类型;运行时通过vptr查vtable实现动态分发,构造/析构中调用虚函数不触发多态。
名称隐藏指派生类同名成员完全屏蔽基类同名成员,无论参数、访问权限或类型差异;需用using声明显式引入基类成员以支持重载或恢复可见性。
菱形继承问题指在多重继承中,当两个派生类B和C分别继承自同一基类A,而D又同时继承B和C时,若未使用虚继承,则D中将包含两份A的成员副本,导致数据冗余和访问二义性。例如,直接访问d.x会引发编译错误,...