Modern C++中传递可变大小小型数组参数的高效实现问询

刚好我之前处理过类似的需求，针对你想要的func({1,2,3,4})这种简洁、高效的调用方式，Modern C++里有几个完美适配的方案——完全无堆内存分配，还能避免C风格数组手动传长度的人为错误：

1. 模板化std::array参数（C++11+） #

std::array是原生数组的封装，栈上分配无额外开销，配合模板函数可以自动推导数组大小，调用时直接传初始化列表即可：

#include <array>

template <size_t N>
void func(const std::array<int, N>& arr) {
    // 用范围for循环更简洁安全
    for (int num : arr) {
        // 使用num处理逻辑
    }
}

// 完全符合你的调用需求
func({1,2,3,4});

这个方案的优势是类型安全，编译器会帮你检查数组操作的合法性，同时和原生数组一样高效，没有任何多余的运行时开销。

2. 原生数组引用模板（C++11+） #

如果你不想引入std::array，可以直接用模板化的数组引用参数，让编译器自动推导数组长度：

template <size_t N>
void func(const int (&arr)[N]) {
    for (size_t i = 0; i < N; ++i) {
        // 使用arr[i]处理逻辑
    }
}

// 同样支持直接调用
func({1,2,3,4});

这里的数组引用参数会让编译器严格检查数组类型和长度，彻底避免了手动传arrayCount可能带来的错误，效率和原生数组完全一致。

3. C++20 std::span（最灵活的选择） #

如果你的编译器支持C++20，std::span是最优解——它是一个轻量级的数组视图，不持有数据，只是对现有数组的引用，无堆开销，同时兼容多种数组类型：

#include <span>

// 不需要模板，函数更简洁
void func(std::span<const int> arr) {
    for (int num : arr) {
        // 使用num处理逻辑
    }
}

// 调用方式完全符合要求
func({1,2,3,4});

std::span的好处在于函数不需要写成模板，代码更简洁，而且除了初始化列表，它还能接收std::array、原生数组甚至std::vector（当然如果传vector会有堆内存，但你用初始化列表直接调用时，还是栈上临时数组，无堆分配）。

和你之前的C风格数组方案对比 #

• 以上所有方案都不需要手动传递数组长度，编译器自动处理，彻底避免人为错误
• 都支持func({1,2,3,4})的直接调用，不用提前定义数组变量
• 完全没有堆内存分配，运行效率和原生数组一致

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