Mam następujące ustawienia:

template< class T >
struct Foo {

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

    T otherT_;
  };

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

  T myT_;
};

Teraz chcę zrobić przykładyFoo< T >::Bar streamed do std :: cout i znajomi. Próbowałem tego:

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

Ale następujący kod nie kompiluje:

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

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

Domyślam się, że kompilator nie jest w stanie wywnioskować typuT lub coś. Czy istnieje sposób, aby takie instancje klasy zagnieżdżonej dobrze się zachowywałyoperator<<?

Dziękuję Ci!