为什么C++模板函数中无法用auto定义内置数组？该如何正确实现？

为什么不能使用auto定义该数组的类型？ #

这是C++标准的硬规则限制，主要有两层原因：

• 语法层面不允许auto用于数组元素类型声明：auto arr[N]这种写法本身就不符合C++语法要求，编译器不支持通过auto推导原生数组的元素类型。
• auto的类型推导规则限制：当初始化器是包含多个元素的花括号列表时，auto只会将类型推导为std::initializer_list，而原生数组无法直接从std::initializer_list构造，类型完全不匹配，因此触发编译错误。你看到的"仅能从单个初始化表达式推导"报错，本质就是这个规则的限制。

要适配该可变参数模板，应该如何正确定义该数组？ #

推荐优先使用更安全的std::array替代原生数组，根据你的C++版本可以选择不同的写法：

C++17及以上版本（最简洁） #

直接利用std::array的类模板参数推导能力，无需手动指定类型和大小：

#include <array>

template<typename... Ts>
void CreateArr(const Ts&... args)
{
    // 自动推导元素类型为int，大小为3
    std::array arr{ args... };
    // 如果你要保留原代码里的+1长度需求，可补一个默认初始化的元素：
    // std::array arr{ args..., std::common_type_t<Ts...>{} };
}

C++11/14版本兼容写法 #

手动通过std::common_type_t萃取所有参数的公共类型作为数组元素类型：

#include <array>
#include <type_traits>

template<typename... Ts>
void CreateArr(const Ts&... args)
{
    std::array<std::common_type_t<Ts...>, sizeof...(args)> arr{ args... };
    // 保留+1长度的写法：
    // std::array<std::common_type_t<Ts...>, sizeof...(args) + 1> arr{ args..., {} };
}

必须使用原生数组的写法 #

如果一定要用原生数组，手动指定元素类型即可：

#include <type_traits>

template<typename... Ts>
void CreateArr(const Ts&... args)
{
    using ElemType = std::common_type_t<Ts...>;
    ElemType arr[sizeof...(args)]{ args... };
    // 保留+1长度的写法：ElemType arr[sizeof...(args) + 1]{ args..., {} };
}

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