函数模板设计：何时将参数作为模板参数而非函数参数传递？

在设计C++函数模板时，我们经常会面临一个核心抉择：把某个参数设为模板参数，还是作为普通函数参数传递？比如Blaze库中blaze/math/dense/StaticVector.h里的StaticVector同构构造函数，就把向量大小N设为了模板参数，而非常规函数参数：

inline StaticVector<Type,N,TF,AF,PF,Tag>::StaticVector( const Type& init )
   // v_ is intentionally left uninitialized
{
   using blaze::clear;

   for( size_t i=0UL; i<N; ++i )
      v_[i] = init;

   for( size_t i=N; i<NN; ++i )
      clear( v_[i] );

   BLAZE_INTERNAL_ASSERT( isIntact(), "Invariant violation detected" );
}

很多人会疑惑：就算把大小作为普通参数传递，编译器也能通过内联优化消除开销，那为什么还要用模板参数？是性能之外的原因，比如重载可能性？下面拆解两种方式的核心影响：

一、性能：编译期常量带来的极致优化 #

虽然普通参数在函数内联后可能被编译器优化，但模板参数是编译期确定的常量，能解锁更多激进优化：

• 循环完全展开：像上面的代码，N是编译期常量，编译器可以直接把循环展开为固定次数的赋值操作，彻底消除循环控制的开销——对于数学计算中常见的2D/3D小尺寸向量，这种优化的收益非常明显。
• 内存布局固化：StaticVector的内存大小由N决定，作为模板参数时，编译器能在编译期确定对象的内存布局，避免运行时的动态内存分配或边界检查（普通参数即使内联，也可能需要额外的运行时校验逻辑）。
• 常量传播：编译期常量能让编译器进一步推导代码中的其他常量，比如第二个循环的终止条件NN，也能基于N做更精准的优化。

二、类型系统与重载：编译期的类型区分 #

把参数设为模板参数，本质是用类型系统区分不同的实例：

• 模板特化与定制实现：针对不同的N值，你可以提供完全不同的模板特化版本，比如对N=3的向量做专门的SIMD优化，而对大尺寸N用通用循环。如果是普通参数，只能在函数内部用分支判断，无法做到编译期的分支消除。
• 强类型安全：StaticVector<int,3>和StaticVector<int,4>会被编译器视为完全不同的类型，能在编译期阻止不同尺寸向量的非法赋值或操作，从根源避免运行时错误。
• 容器适配：很多模板容器或算法依赖编译期确定的类型大小（比如std::array），用模板参数指定大小才能和栈内存分配、静态数组等特性兼容。

三、两种方式的核心对比 #

四、总结：何时选择模板参数？ #

当你的参数满足以下条件时，更适合作为模板参数：

1. 参数值在编译期就能确定，且不会在运行时动态变化；
2. 参数值会影响内存布局、循环结构等需要编译期确定的逻辑；
3. 需要针对不同参数值提供差异化的实现，或依赖类型系统做安全校验；
4. 极致性能是核心需求，尤其是针对小尺寸、高频调用的场景（比如数学向量、矩阵）。

而如果参数值需要在运行时动态决定，或者参数值的差异对代码结构影响不大，那么普通函数参数会是更灵活的选择。

内容的提问来源于stack exchange，提问作者Soheil