如何实现std::initializer_list到接收std::array的构造函数的委托

错误原因 #

std::array是C++标准规定的聚合类型，没有提供接收std::initializer_list参数的构造函数，因此你尝试直接用std::array<int,5>(il)构造array的写法不合法，这是编译报错的核心原因。

解决方案 #

这里提供两种简洁的实现方案，无需每次手写lambda转换：

方案1：通用转换辅助函数（适用所有C++11及以上版本，支持运行时initializer_list）

先封装一个通用的initializer_list转std::array的工具函数，一劳永逸：

#include <algorithm> // for std::copy/std::min

template <typename T, size_t N>
std::array<T, N> il_to_array(std::initializer_list<T> il)
{
    std::array<T, N> res{}; // 不足长度自动补0
    const size_t copy_size = std::min(il.size(), N);
    std::copy(il.begin(), il.begin() + copy_size, res.begin());
    return res;
}

然后你的构造函数可以直接改写为：

foo(std::initializer_list<int> il = {}): foo{ il_to_array<int,5>(il) }
{}

该方案完全复现你注释中lambda的逻辑，支持任意长度的initializer_list输入，超出长度自动截断，不足补0。

方案2：变参模板构造（适用C++17及以上版本，编译期检查、零运行时开销）

如果你只需要支持字面量花括号初始化（比如foo f{1,2,3,4,5}这种写法），不需要接收运行时传递的std::initializer_list变量，可以直接用变参模板构造代替initializer_list构造，性能更高还能做编译期校验：

#include <type_traits>
#include <array>

class foo
{
  std::array<int,5> t_;
  
public:
  foo(): t_{}
  {}
                          
  foo(std::array<int,5> t): t_(t)
  {}

  // 新增变参模板构造
  template <typename... Args, typename = std::enable_if_t<
      (std::is_convertible_v<Args, int> && ...) && sizeof...(Args) <= 5
  >>
  foo(Args&&... args): t_{{std::forward<Args>(args)...}}
  {}
};

这种写法下，你可以直接用foo f{1,2,3}初始化，不足长度的位置自动补0，如果你传入超过5个参数会直接编译报错，避免运行期截断的隐含问题。

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