<<演算子と継承クラスのオーバーロード

Question

私は基本クラスといくつかの派生クラスを持っています。これらの派生クラスに対して "< <"演算子をオーバーロードしたいと思います。通常の演算子、つまり「+」では、仮想関数がトリックを行います。私は標準的な慣習であることを理解することは私のクラス内

friend ostream& operator<<(ostream& out, MyClass& A); 

を宣言し、クラスの後に関数を定義することです。先験的に、私は上記の定義に仮想を追加すると動作すると思うでしょうが、いくつかの考え（そして私のコンパイラからのエラー）の後、それはあまり意味がないことを理解しています。

すべてのクラスメンバーが公開されているテストケースで、さまざまなタックを試しました。例えば： - 基底クラスのオペレータ< <派生クラスの演算子ではなく、呼び出されている

class Foo{ 
//bla 
}; 

ostream& operator<<(ostream& out, Foo& foo){ 
    cout << "Foo" << endl; 
    return foo; 
} 

class Bar : public Foo{ 
//bla 
}; 

ostream& operator<<(ostream& out, Bar& bar){ 
    cout << "Bar" << endl; 
    return bar; 
} 

/////////////////////// 

Bar bar = Bar(); 
cout << bar << endl; // outputs 'Foo', not 'Bar' 

だから、いくつかの方法で、これは「悪いなくなっ多型」です。上の例では、派生クラスのために正しい演算子を呼び出す方法を教えてください。さらに一般的には、私のクラスにプライベートメンバーがいて保護したいのであれば、friendキーワードを使ってオペレータのオーバーロードを修正するにはどうしたらいいですか？

Answer 1

仮想ヘルパー機能を使用できます。ここでは完全にテストされていない例ですので、任意の文法ミスを言い訳：

virtual ostream& Foo::print(ostream& out) const { 
    return out << "Foo"; 
} 

virtual ostream& Bar::print(ostream& out) const { 
    return out << "Bar"; 
} 

// If print is public, this doesn't need to be a friend. 
ostream& operator<<(ostream& out, const Foo& foo) { 
    return foo.print(out); 
} 

編集：は@Omnifariousの提案ごとにクリーンアップ。

Answer 2

operator<<をvirtualクラスのメソッドFooに転送するフリー関数にします。

See it in action。

Answer 3

通常、ただ1つのフリーフレンド機能によって呼び出される基本クラスに多態的なprintメソッドを作成します。

Answer 4

適切なコード修正が行われていれば、コードは正常に動作します。を行うことには何もありません：

ostream& operator<<(ostream& out, Foo& foo) { 
    out << "Foo" << endl; // 'out' and not 'cout' 
    return out; // returns 'out' and not 'foo' 
} 

ostream& operator<<(ostream& out, Bar& bar) { 
    out << "Bar" << endl; // 'out' and not 'cout' 
    return out; // returns 'out' and not 'bar' 
} 

Demo。 privateメンバーにアクセスするには、この機能をclassのfriendにすることができます。