C++中std::array参数模板化与直接传参的区别及优势

这两种写法功能完全不同，你的猜测不对，具体差异和细节如下：

两种写法的本质区别 #

第一种模板写法 #

template <size_t N>
void print(const std::array<int, N>& arr)

这是一个函数模板，其中N是编译期常量。每次调用这个函数时，编译器会根据传入的std::array的实际大小，自动生成对应大小的函数实例。比如传入std::array<int, 5>，编译器就会生成一个专门处理大小为5的std::array<int>的print函数。

第二种写法（存在语法错误） #

void print(const std::array<int, size_t>& arr)

这种写法本身是无法通过编译的错误写法。原因是std::array的模板定义为template <class T, size_t N> class array;，第二个参数N必须是编译期常量表达式，而size_t是一个无符号整数类型，不是常量值，不能作为std::array的大小参数。编译器会直接报错，提示N必须是编译期可确定的常量。

若假设是笔误（比如固定大小的函数）的差异 #

如果你是笔误，想写的是接收固定大小std::array的函数（比如void print(const std::array<int, 5>& arr)），那和模板写法的差异是：

• 固定大小的函数只能接收对应大小的std::array<int>，无法处理其他大小的实例；
• 模板写法可以兼容任意编译期常量大小的std::array<int>，通用性极强。

第一种模板写法的核心优势 #

• 通用性：无需为每个可能的数组大小编写单独的重载函数，一个模板就能覆盖所有合法的std::array<int>实例。
• 编译期优化：因为N是编译期常量，编译器可以提前确定数组大小，进行循环展开、消除边界检查等优化，运行效率更高。
• 类型安全：编译期就能检查传入参数的类型匹配性，避免运行时类型错误。

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