c++泛型编程与模板_哔哩哔哩_bilibiliC++ 类型萃取（type_traits 类型萃取）萃取 (Traits)：利用模板特化（主模板 +template全特化 / 类偏特化），在编译期拿到类型的信息。全部逻辑发生在编译阶段，运行时无开销，是模板元编程基石。简单讲：给一个类型 T，萃取器告诉你：是不是指针？是不是引用？是不是 int？是不是 const？1、最简手写萃取示例（判断是否左值引用）cpp#include iostream // 主模板：默认情况，不是左值引用 templatetypename T struct is_lref { static constexpr bool value = false; }; // template 全特化，专门匹配 T 左值引用类型 templatetypename T struct is_lrefT { static constexpr bool value = true; }; int main() { std::cout is_lrefint::value '\n'; //0 int不是左值引用 std::cout is_lrefint::value '\n'; //1 int是左值引用 std::cout is_lrefint::value '\n'; //0 int右值引用不匹配 return 0; }原理：编译器根据传入的类型，自动选择主模板 / 全特化版本。value是编译期常量。2、标准库萃取 std::type_traitsC++11 起标准库自带大量萃取，头文件type_traits表格萃取器作用std::is_lvalue_referenceT::value是否左值引用std::is_rvalue_referenceT::value是否右值引用std::is_pointerT::value是否指针类型std::is_constT::value是否 const 修饰std::is_sameT,U::valueT、U 是否是同一个类型std::remove_referenceT::type去掉引用，拿到原始类型示例：cpp#include iostream #include type_traits int main() { using T = int; std::cout std::is_rvalue_referenceT::value '\n'; //1 // remove_reference：剥离引用 using RawT = std::remove_referenceT::type; std::cout std::is_sameRawT, int::value '\n'; //1 return 0; }3、萃取核心用途（结合你之前左值右值引用）场景 1：完美转发std::forward底层就是萃取cpptemplatetypename T void func(T t) { // 根据T萃取原始类型，决定转左值还是右值 other(std::forwardT(t)); }std::forward内部就是靠remove_reference萃取去掉引用，再判断类型。场景 2：编译期分支选择（if constexpr C++17）编译期根据萃取结果走不同代码路径，不会生成无效运行时代码cpptemplatet
c++泛型编程与模板_哔哩哔哩_bilibiliC++ 类型萃取（type_traits 类型萃取）萃取 (Traits)：利用模板特化（主模板 +template全特化 / 类偏特化），在编译期拿到类型的信息。全部逻辑发生在编译阶段，运行时无开销，是模板元编程基石。简单讲：给一个类型 T，萃取器告诉你：是不是指针？是不是引用？是不是 int？是不是 const？1、最简手写萃取示例（判断是否左值引用）cpp#include iostream // 主模板：默认情况，不是左值引用 templatetypename T struct is_lref { static constexpr bool value = false; }; // template 全特化，专门匹配 T 左值引用类型 templatetypename T struct is_lrefT { static constexpr bool value = true; }; int main() { std::cout is_lrefint::value '\n'; //0 int不是左值引用 std::cout is_lrefint::value '\n'; //1 int是左值引用 std::cout is_lrefint::value '\n'; //0 int右值引用不匹配 return 0; }原理：编译器根据传入的类型，自动选择主模板 / 全特化版本。value是编译期常量。2、标准库萃取 std::type_traitsC++11 起标准库自带大量萃取，头文件type_traits表格萃取器作用std::is_lvalue_referenceT::value是否左值引用std::is_rvalue_referenceT::value是否右值引用std::is_pointerT::value是否指针类型std::is_constT::value是否 const 修饰std::is_sameT,U::valueT、U 是否是同一个类型std::remove_referenceT::type去掉引用，拿到原始类型示例：cpp#include iostream #include type_traits int main() { using T = int; std::cout std::is_rvalue_referenceT::value '\n'; //1 // remove_reference：剥离引用 using RawT = std::remove_referenceT::type; std::cout std::is_sameRawT, int::value '\n'; //1 return 0; }3、萃取核心用途（结合你之前左值右值引用）场景 1：完美转发std::forward底层就是萃取cpptemplatetypename T void func(T t) { // 根据T萃取原始类型，决定转左值还是右值 other(std::forwardT(t)); }std::forward内部就是靠remove_reference萃取去掉引用，再判断类型。场景 2：编译期分支选择（if constexpr C++17）编译期根据萃取结果走不同代码路径，不会生成无效运行时代码cpptemplatet
