双分派不能靠虚函数直接实现，因为C++虚函数仅支持单分派（仅由对象动态类型决定），而双分派需同时依据两个对象的动态类型选择函数。

C++轻量ECS架构需坚守三原则：组件为纯POD数据、系统只读/写明确组件集、实体仅为带版本号的ID；组件用struct定义，禁虚函数/指针，通过static_assert保障平凡可复制；组件按类型分桶存于std::vector，实体ID为uint32_t加版本号防悬挂。

struct默认public，class默认private；继承时struct默认public继承，class默认private继承；二者语法能力完全等价，选择取决于设计意图而非语言限制。

std::function比函数指针更通用但非绝对更好：函数指针轻量零开销可内联，而std::function支持lambda、bind和成员函数但有类型擦除开销及潜在堆分配。

new/delete会调用构造/析构函数，malloc/free不会；前者是类型感知的操作符，后者是纯内存操作；混用导致未定义行为，且无法跨语言或跨分配器安全使用。

C++11起用static局部变量实现单例最安全，因编译器保证线程安全初始化；需禁用构造/拷贝/赋值，返回引用；异常或需控制销毁时改用std::call_once+std::unique_ptr。

RTTI是C++运行时识别对象真实类型的必要机制，为typeid和dynamic_cast提供底层支持；禁用后dynamic_cast失效、typeid退化为静态类型识别，且虚函数类虚表恒含类型信息开销。

虚函数调用需查表因编译期无法确定具体调用版本，故运行时通过vptr和vtable实现多态；每个含虚函数的类有静态vtable，对象头含隐式vptr指向对应vtable，vptr不参与sizeof且不可修改。

基类析构函数不加virtual会导致资源泄漏，因为用基类指针delete派生类对象时仅调用基类析构，跳过派生类析构逻辑，使堆内存、文件句柄等无法释放；只要存在多态删除可能（如基类被继承或用于智能指针），就必须声明为virtual，否则引发隐蔽泄漏。

静态绑定在编译期确定函数调用目标，依据声明类型、函数签名和作用域，适用于非虚函数、重载、模板、static成员、全局函数及构造函数等场景。

typeid用于运行时类型查询，返回std::type_info引用；限制包括：仅多态类型支持动态类型识别、需启用RTTI、空指针解引用抛bad_typeid、跨编译单元比较不可靠、对数组/引用/CV限定符敏感。

零成本抽象指高级抽象不比手写底层代码多花代价；其核心是编译期模板实例化与内联消除运行时开销，但误用虚函数、函数指针、未优化或定义不可见会破坏该特性。