使用初始化列表将模板大小的数组传递给函数

Question

我有一个模板函数，它以任意大小的std::array 作为参数。大致是这样的：

template <size_t n>
void foo(const std::array<int, n>& numbers) {
    for (const auto & number: numbers) {
        // ... do stuff ...
    }
}

我可以称之为例如像这样：

std::array<int, 2> ints = {4, 5};
foo(ints);

一切都很好。

不幸的是，我无法使用初始化列表直接调用该函数。这段代码：

foo({4, 5});

给我以下错误：

错误：没有匹配的成员函数调用“foo” 注意：候选模板被忽略：无法推断模板参数“n”

有没有办法让我的函数使用初始化列表或类似的东西工作？

Answer 1

{/*..*/}没有类型，因此除了std::initializer_list<T>和C数组T (&a)[N]之外，不能在模板函数中推导出来。

所以你必须

• 添加重载以处理 std::initializer_list<int> 或 C 数组。

  // span (C++20) has constructor from std::array :)
  void foo(const std::span<int>& numbers) {
      for (const auto & number: numbers) {
          // ... do stuff ...
      }
  }
  
  void foo(std::initializer_list<int> numbers) {
      foo(std::span{numbers.begin(), numbers.size()});
  }
  

• 或提供非推导模板参数：foo<2>({4, 5});

• 或将类型提供给{}（使用 C++17 的 CTAD 更容易）：foo(std::array{4, 5});