C++模板元编程面试全解析：从SFINAE到Concepts，一文通关面试必考！本文系统梳理C++模板元编程核心知识点，配合大量代码示例和面试真题，帮你从入门到精通。一、为什么面试必考模板元编程？在C++面试中，模板元编程（Template Metaprogramming, TMP）是区分"会用C++"和"精通C++"的分水岭。无论是大厂校招还是社招，面试官都喜欢用TMP来考察候选人对编译器机制、类型系统和泛型编程的理解深度。本文将从最基础的类型萃取（type_traits）讲起，一路覆盖SFINAE、完美转发、可变参数模板、constexpr，直到C++20的Concepts，帮你建立完整的知识体系。二、类型萃取（type_traits）：TMP的基石类型萃取是模板元编程最基础的工具，它让我们在编译期获取类型信息并做出决策。2.1 基础类型萃取#includetype_traits#includeiostream// 判断是否是整数类型static_assert(std::is_integralint::value,"int is integral");static_assert(std::is_integral_vdouble==false,"double is not integral");// C++17 变量模板简化写法static_assert(std::is_floating_point_vfloat);static_assert(std::is_pointer_vint*);static_assert(std::is_const_vconstint);2.2 自己实现一个简单的 type_traits面试常考：手写is_same、remove_const、conditional等。// 手写 is_sametemplatetypenameT,typenameUstructis_same:std::false_type{};templatetypenameTstructis_sameT,T:std::true_type{};// 手写 remove_consttemplatetypenameTstructremove_const{usingtype=T;};templatetypenameTstructremove_constconstT{usingtype=T;};templatetypenameTusingremove_const_t=typenameremove_constT::type;// 手写 conditionaltemplateboolCond,typenameT,typenameFstructconditional{usingtype=T;};templatetypenameT,typenameFstructconditionalfalse,T,F{usingtype=F;};// 测试static_assert(is_same_vint,int);static_assert(!is_same_vint,double);static_assert(is_same_vremove_const_tconstint,int);2.3 面试真题Q：std::is_integral_vbool的结果是什么？A：true。在C++标准中，bool被归类为整数类型（integral type），虽然它不是整数"数学意义上"的，但在类型系统中它属于整型家族。Q：如何判断一个类型是否是某个类模板的特化？A：这需要用到模板模板参数（template template parameter）：// 判断是否是 std::vector 的特化templatetypenameT,templatetypename...classTemplatestructis_specialization_of:std::false_type{};templatetemplatetypename...classTemplate,typename...Argsstructis_specialization_ofTemplateArgs...,Template:std::true_type{};// 使用static_assert(is_specialization_ofstd::vectorint,std::vector::value);static_assert(!is_specialization_ofint,std::vector::value);三、SFINAE：编译期的"如果…否则"SFINAE（Substitution Failure Is Not An Error）是C++模板系统的核心机制：当模板参数替换失败时，编译器不会报错，而是静默地丢弃这个特化，尝试下一个。3.1 std::enable_if 的原理// 手写 enable_iftemplateboolCond,typenameT=voidstructenable_if{};templatetypenameTstructenable_if