オーバーロードされた演算子のオーバーロード

Question

#include <iostream> 
#include <fstream> 
using namespace std; 

class binaryOperators 
{ 
    public: 
     int i; 

     binaryOperators (int tempI = 0) 
     { 
      i = tempI; 
     } 

     binaryOperators operator<< (const binaryOperators &right); 
}; 

binaryOperators operator<< (const binaryOperators &left, const binaryOperators &right) 
{ 
    cout << "\nOne"; 
    return left; 
} 

binaryOperators binaryOperators :: operator<< (const binaryOperators &right) 
{ 
    cout << "\nTwo"; 
    return *this; 
} 

int main() 
{ 
    binaryOperators obj; 

    // Compiler's behavior: This statement calls the overloaded operator << declared inside the class. 
    obj << 5 << 3 << 2; 
    // Compiler's behavior: This statement calls the overloaded operator << declared outside the class. 
    2 << obj; 

    return 0; 
} 

main()関数内のコメントを書きました。
この種のコンパイラの動作の理由は何ですか？

この動作はコンパイラに依存しますか？

LinuxのGCC

Answer 1

あなたが見ている動作は、const正しさに起因しています。クラス内で定義された演算子< <は非constなので、objなどの非constオブジェクトまたは参照に対してのみ操作できます。クラス外の非メンバーバージョンには、2つの定数オペランドがあります。

あなたは非会員として加盟バージョンを書いた場合、それは次のようになります。過負荷マッチング、コンパイラはベストフィットを選択すると

binaryOperators operator<< (binaryOperators &left, const binaryOperators &right) 
{ 
    cout << "\nTwo"; 
    return left; 
} 

。最初のケースでは、左のオペランドは非constなので、メンバー演算子を選択します。 2番目のケースでは、左側のオペランドはrvalue（一時的なbinaryOperators）です。これはconstとして参照されるため、非メンバー演算子が選択されます。

Answer 2

この動作は完全に理にかなって：

• メンバ関数が存在し、一致した場合、フリー機能に優先して、それを使用するのは良い考えである、そうでない場合は、クラス外のコードが誤って壊す可能性がありクラスのカプセル化（たとえば、別のメンバー関数がoperator<<を使用する場合）。

• 自動変換では、候補関数のリストを作成し、それを必要とするパラメータの変換を見つけようとします。メンバ関数を見つけるために、候補リストを構築する前に変換が行われなければならないので、空き関数だけが見つかる。