C++模板元编程面试必考：从入门到精通全解析，面试官都夸专业！本文是C++面试系列的第N篇，专注模板元编程（Template Metaprogramming, TMP）。这是C++中最强大也最让人头疼的特性之一，大厂面试高频考点，90%的候选人说不清楚SFINAE和完美转发的底层原理。一、什么是模板元编程？模板元编程是在编译期执行计算的编程范式。简单来说，就是把运行时的工作提前到编译期完成，用编译器当“计算器”。// 编译期计算阶乘templateintNstructFactorial{staticconstexprintvalue=N*FactorialN-1::value;};templatestructFactorial0{staticconstexprintvalue=1;};// 使用intmain(){constexprintresult=Factorial10::value;std::coutresultstd::endl;return0;}为什么面试爱考这个？因为模板元编程体现了C++“零成本抽象”的核心哲学——STL、现代框架的底层都大量使用TMP。二、模板基础回顾：三种模板形式2.1 函数模板templatetypenameTTmax_value(T a,T b){return(ab)?a:b;}max_value(3,5);// T = intmax_value(3.14,2.71);// T = double2.2 类模板templatetypenameT,intSizeclassFixedArray{T data[Size];intcount=0;public:voidpush(constTval){if(countSize)data[count++]=val;}Tget(intidx)const{returndata[idx];}intsize()const{returncount;}};FixedArrayint,100arr;arr.push(42);2.3 变量模板（C++14）templatetypenameTconstexprT pi=T(3.14159265358979323846);doubled=pidouble;floatf=pifloat;三、特化与偏特化：模板的“if-else”面试高频题：全特化和偏特化有什么区别？templatetypenameT,typenameUstructIsSame{staticconstexprboolvalue=false;};templatetypenameTstructIsSameT,T{staticconstexprboolvalue=true;}