C++模板元编程面试必考：从入门到精通全解析，大厂Offer拿到手软！本文是C++面试系列第12篇，专注于模板元编程（Template Metaprogramming, TMP）这一高频考点。无论你是校招还是社招，模板元编程都是面试官最爱“刁难”候选人的地方。读完本文，保证你从容应对！一、什么是模板元编程？模板元编程是在编译期执行计算的编程范式。简单来说，就是把本该在运行时做的事情，提前到编译期完成。核心特点特性运行时计算模板元编程执行时机程序运行时编译期间性能有运行时开销零运行时开销调试难度容易较难（错误信息冗长）适用场景通用类型计算、编译期常量经典示例：编译期阶乘#includeiostream// 模板元编程实现阶乘templateintNstructFactorial{staticconstexprintvalue=N*FactorialN-1::value;};// 特化：递归终止条件templatestructFactorial0{staticconstexprintvalue=1;};intmain(){// 这些值在编译期就已经计算好了！std::cout"5! = "Factorial5::valuestd::endl;// 输出 120std::cout"10! = "Factorial10::valuestd::endl;// 输出 3628800// 甚至可以用作数组大小（编译期常量）intarr[Factorial5::value];// 合法：大小为120的数组return0;}上面的代码中，Factorial5::value在编译期就被计算为120，运行时没有任何乘法运算。二、模板元编程基础语法2.1 模板特化（Specialization）模板特化是模板元编程的“if-else”——通过为特定类型或值提供不同实现来实现分支逻辑。#includeiostream#includestring// 主模板：通用类型templatetypenameTstructTypeInfo{staticstd::stringname(){return"Unknown";}};// 特化：int类型templatestructTypeInfoint{staticstd::stringname(){return"int";}};// 特化：double类型templatestructTypeInfodouble{staticstd::stringname(){return"double";}};// 特化：std::string类型templatestructTypeInfostd::string{staticstd::stringname(){return"std::string";}};intmain(){std::coutTypeInfoint::name()std::endl;// intstd::coutTypeInfodouble::name()std::endl;// doublestd::coutTypeInfostd::string::name()std::endl;// std::stringstd::coutTypeInfochar::name()std::endl;// Unknownreturn0;}2.2 递归实例化（Recursion）模板元编程没有传统的循环，递归是唯一的循环方式。#includeiostream// 编译期求和：1 + 2 + ... + NtemplateintNstructSum{staticconstexprintvalue=N+SumN-1::value;};templatestructSum0{static