推断d::a大小？

Question

在以下代码中：

template<size_t N>
int b(int q, const std::array<int, N>& types)
{
    int r = q;
    for (int t : types)
    {
        r = r + t;
    }
    return r;
}

int main()
{
    b<2>(9, { 2,3 });
}

如何避免在对b的调用中为N指定2？为什么不能自动推断出这种类型？没有它，我得到了错误：

'b'：找不到匹配的重载函数'int b（int， constd::array

Answer 1

要推导std：：数组大小，可以使用通用lambda（C 14）：

auto b = [](int q, const auto& types) {
  int r = q;
  for (int t : types)
  {
      r = r + t;
  }
  return r;
};

int main() {
    std::array<int, 2> arr = {{2,3}};
    b(9, arr);
}

当编译器将实现（或者您将使用它的一些自己的实现）std：：make\u array时，在构造时也不需要传递数组大小，只需使用

b(9, std::make_array(2,3));

Answer 2

模板参数推导依赖于实际参数和形式参数之间的直接类型匹配。实际参数是初始化列表。它不匹配数组类型（充其量它可以匹配std::array中的内部原始数组，但语言规则不支持）。

相反，您可以只使用原始数组，即：

#include <stddef.h>
#include <array>

template<size_t N>
int b(int q, int const (&types)[N] )
{
    int r = q;
    for (int t : types)
    {
        r = r + t;
    }
    return r;
}

int main()
{
    b( 9, { 2, 3 } );
}

或者，如果在编译时不一定需要N，可以使用std：：initializer\u列表。

还有许多其他可能相关的方法（例如，可变模板函数，或定义一个操作符来构建标准向量），但很难说什么适合您未公开的目的。

Answer 3

C 17标准：：数组类模板参数推导（CTAD）

从C 17开始，这个新的语言特性现在被标准库使用，现在允许我们省略模板类型，以便以下工作：

主要的cpp公司

#include <array>

int main() {
    std::array a{1, 2, 3};
}

而不是std::array

测试：

g++ -ggdb3 -O0 -std=c++17 -Wall -Wextra -pedantic -o main.out main.cpp

例如，如果我们设置std=c 14，它将无法编译为：

error: missing template arguments before ‘a’

在Ubuntu 18.04、GCC 7.5.0上测试。