10

以下代码给出了编译器错误（gcc-4.7 run with -std=c++11）：

#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;
}

错误信息：

tmp6.cpp：在函数“int main()”中：tmp6.cpp:16:16：错误：无法将
“std::ostream {aka std::basic_ostream}”左值绑定到
“std::basic_ostream&&”在包含的文件中
/usr/include/c++/4.7/iostream:40:0，
来自 tmp6.cpp:1: /usr/include/c++/4.7/ostream:600:5: 错误：初始化 'std::basic_ostream<_CharT 的参数 1 ,
_Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&&, const _Tp&) [with _CharT = char; _Traits = std::char_traits; _Tp = std::array]'<br>

当我摆脱模板函数声明并替换T为double和N替换时2，它编译得很好（编辑：离开T并替换N为 2 工作，但指定N=2为默认参数N不起作用。）。

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

回答问题 2： operator<<<double, 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;
}

非常感谢你的帮助。

4

2 回答 2

13

考虑您的声明：

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，这就是它不匹配的原因。

于 2012-06-02T23:08:01.863 回答
1

您可以operator<<以这种不那么美观的方式使用指定的模板参数进行调用：

operator<< <double,2>(std::cout, lower) << std::endl;
于 2012-06-02T22:56:38.457 回答