为什么gcc不能推导出数组参数的模板大小？(C++11)

Question

#include <iostream>
#include <array>

template <typename T, int N>
std::ostream & operator <<(std::ostream & os, const std::array<T, N> & arr) {
  int i;
  for (i=0; i<N-1; ++i)
    os << arr[i] << " ";
  os << arr[i];
  return os;
}

int main() {
  std::array<double, 2> lower{1.0, 1.0};
  std::cout << lower << std::endl;
  return 0;
}

1. 有人知道为什么gcc不能自动绑定这个吗？
2. 使用显式指定的模板参数调用 <<运算符的语法是什么？

回答问题2:运算符<< （std：：cout,lower）；

编辑：以下函数也是如此，它只在数组大小中模板化：

template <int N>
void print(const std::array<double, N> & arr) {
  std::cout << "print array here" << std::endl;
}

int main() {
  std::array<double, 2> lower{1.0, 1.0};
  print<2>(lower); // this works
  print(lower);    // this does NOT work
  return 0;
}

Answer 1

考虑您的声明：

template <typename T, int N>
std::ostream & operator <<(std::ostream & os, const std::array<T, N> & arr) {

std::array的定义是：

template<typename T, std::size_t N> class array {...};

您使用的是int而不是std::size_t，这就是它不匹配的原因。