静态多态是在编译期确定函数调用的具体实现，通过模板和继承避免虚函数开销。其核心是利用模板参数传递派生类类型，使基类在编译时即可绑定到具体方法，典型实现为CRTP（奇异递归模板模式）和函数模板重载。例如，ShapeBase接受派生类作为模板参数，在draw函数中通过static_cast调用派生类的实现；而函数模板render则通过泛型接受任意具备d…

SFINAE（替换失败非错误）允许模板替换失败时不报错，而是从候选列表中移除，用于编译期类型约束与重载选择；通过std::enable_if可实现条件化模板启用，如限制函数仅接受整型参数；C++17的if constexpr和C++20的Concepts提供了更清晰的替代方案，提升代码可读性与错误提示，逐步取代复杂SFINAE技巧。 SFINAE …

模板元编程是在编译期通过模板实例化完成计算的技术，用于类型生成、常量计算和逻辑判断；示例包括编译期阶乘计算，利用类模板递归与特化实现，C++14变量模板简化常量定义，C++17 if constexpr 实现编译期分支，广泛应用于类型萃取、SFINAE重载控制、策略模式及编译期数据结构，提升性能与类型安全。 模板元编程（Template Metap…

两阶段名称查找指模板中非依赖名称在定义时解析，依赖名称在实例化时解析。例如，函数g()和变量x在模板定义时查找；而T::iterator或obj.process()等依赖模板参数的名称则延迟到实例化时确定。使用typename可解决依赖类型解析错误，ADL可能影响函数调用匹配。掌握该机制可避免常见编译问题，提升模板代码健壮性。 在C++模板编程中，…

std::conjunction和std::disjunction是C++17提供的编译期逻辑操作工具，分别实现类型 trait 的“与”和“或”判断，支持短路求值，常用于条件启用模板、构建复合类型特征及简化参数包判断。 在C++17中，std::conjunction 和 std::disjunction 是两个用于模板元编程的类型特征工具，定义…

CRTP通过派生类继承自身作为模板参数的基类实现静态多态，编译期绑定类型并消除虚函数开销；基类用static_cast调用派生类方法，支持接口约束、功能封装、性能优化等场景，常见于Eigen等高性能库；但不支持运行时多态、可能导致代码膨胀且错误提示复杂。 CRTP（Curiously Recurring Template Pattern），中文常译…

std::function 是通用可调用对象包装器，能封装函数、lambda、成员函数等，提供统一调用接口；std::bind 用于绑定函数与部分参数，生成新可调用对象，支持占位符和成员函数绑定；二者结合可实现灵活回调、延迟调用，提升代码复用性。 在C++中，std::function 和 std::bind 是处理可调用对象的强大工具，它们让函数…

std::is_same和std::enable_if结合可实现SFINAE，用于精准类型控制，如限定函数仅接受特定类型，提升模板代码安全性和灵活性。 在C++模板编程中，std::is_same 和 std::enable_if 是两个非常实用的类型特征工具，常用于条件编译和函数重载控制。它们定义在头文件 <type_traits> …

CRTP是一种C++静态多态技术，通过派生类继承自身作为模板参数的基类实现编译期绑定，避免虚函数开销，适用于性能敏感场景。 CRTP（Curiously Recurring Template Pattern），中文常称为“奇异递归模板模式”，是C++中一种利用模板和继承实现静态多态的技术。它通过让基类以派生类作为模板参数来继承自身，从而在编译期就能…

模板参数推导是编译器根据实参自动确定函数模板类型的过程，提升泛型编程效率。1. 推导基于函数参数，不考虑返回值；2. 普通引用形参需匹配左值，通用引用（T&&）结合引用折叠支持左值和右值；3. 数组和函数实参退化为指针，除非以引用接收；4. 顶层const和volatile在值传递时被忽略，引用传递时由形参决定是否保留。掌握这些规则…