Question

我有以下设置：

template< class T >
struct Foo {

  struct Bar {
    Bar ( const T &t ) : otherT_( t ) {}

    T otherT_;
  };

  Foo ( const T &t ) : myT_( t ) {}

  T myT_;
};

现在，我想让Foo< T >::Bar的实例流向std :: cout和朋友。我试过这个：

template< class T >
std::ostream& operator<< ( std::ostream &os, 
                           const typename Foo< T >::Bar &bar ) {
  os << "<bar: " << bar.otherT_ << ">";
  return os;
}

但以下代码无法编译：

  Foo< int > foo( 5 );
  Foo< int >::Bar bar( 7 );

  std::cout << bar << std::endl;

我猜编译器无法推断类型T或其他东西。有没有办法让嵌套类的这种实例与operator<<表现良好？

谢谢！

Answer 1

是的，简单的方法是将operator<<放入Bar：

struct Bar {
  Bar ( const T &t ) : otherT_( t ) {}

  T otherT_;

  friend std::ostream& operator<< ( std::ostream &os, const Bar &bar ) 
  {
    os << "<bar: " << bar.otherT_ << ">";
    return os;
  }
};

我正在挖掘另一种方式......

Answer 2

解决方法 - 将operator<<定义为Bar定义中的朋友：

template< class T >
struct Foo {

  struct Bar {
    Bar ( const T &t ) : otherT_( t ) {}

    T otherT_;

    friend std::ostream& operator<< ( std::ostream &os, const Bar &bar )
    {
      os << "<bar: " << bar.otherT_ << ">";
      return os;
    }

  };

  Foo ( const T &t ) : myT_( t ) {}

  T myT_;
};

正如KerrekSB在评论中所说，你的方法存在的问题是无法推断出T. T可能无限多Foo<T>::Bar，每个{{1}}也可能导致不同的类型。

Answer 3

编译器不能推断T，但是，当你把它作为朋友时，它会通过ADL找到它。

我已将代码修改为以下内容：

#include <iostream>
using namespace std;

template< class T >
struct Foo {

struct Bar {
Bar ( const T &t ) : otherT_( t ) {}

T otherT_;
friend std::ostream& operator << (std::ostream& os, const Bar &bar )
{ return os; }
};

Foo ( const T &t ) : myT_( t ) {}


T myT_;
};

int main() {
Foo< int > foo( 5 );
Foo< int >::Bar bar( 7 );

std::cout << bar << std::endl;
return 0;
}

过载运算符＆lt;＆lt;用于嵌套类模板

3 个答案: