如何无需额外声明传递std::array给函数（替代普通数组传参）

std::array是编译期固定大小的容器，它的大小是模板参数的一部分，因此不能像普通数组那样只声明类型就作为函数参数。要实现无需提前声明大小常量的版本，最直接的方式是使用模板函数：

#include <array>

template <size_t N>
void DoSomething(std::array<int, N> arr)
{
    // 这里可以直接用arr.size()获取数组大小，无需额外参数
    // 示例操作：遍历数组
    for (int num : arr) {
        // do something with num
    }
}

为什么这个写法可行？ #

• 模板参数N会在编译期自动推导：当你传入std::array<int, 5>时，编译器自动把N推导为5；传入std::array<int, 10>时，N就是10，完全不需要手动声明大小常量。
• 相比普通数组传参会退化为指针、丢失大小信息的问题，这种写法能完整保留数组的大小信息，更安全也更灵活。

优化建议：传递引用避免复制 #

如果数组较大，传值会产生不必要的复制开销，建议改为传递const引用：

template <size_t N>
void DoSomething(const std::array<int, N>& arr)
{
    // do something
}

对比std::vector的差异 #

std::vector是动态大小容器，它的大小存储在运行时，因此不需要模板参数就能作为函数参数；而std::array的大小是编译期确定的，必须通过模板来适配不同大小的实例，这是两者设计上的核心区别。

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