オーバーロードメンバーアクセス演算子 - >、*これらの演算子関数に渡され、私はメンバアクセス演算子<code>-></code>、<code>.*</code>、特に<code>->*</code>など</p> <p>を除いて、ほとんどの演算子のオーバーロードを理解

Question

（C++）、。何が返されるべきですか？

どのメンバーが参照されているかをオペレータ機能（例：operator->(...)）はどのように知っていますか？それは分かりますか？それは知る必要があるのでしょうか？

最後に、考慮する必要のあるconstに関する考慮事項はありますか？たとえば、operator[]のようなものをオーバーロードすると、一般にconstバージョンと非constバージョンの両方が必要になります。メンバーアクセスオペレータにはconstバージョンと非constバージョンが必要ですか？

Answer 1

->

これは本当に難しいものです。これは、非静的メンバー関数でなければならず、引数をとらない。戻り値は、メンバー検索を実行するために使用されます。

戻り値がポインタではなくクラス型の別のオブジェクトである場合、後続のメンバー参照もoperator->関数によって処理されます。これを「ドリルダウン動作」といいます。最後のものがポインタを返すまで、言語は一緒にoperator->を呼び出します。

struct client 
    { int a; }; 

struct proxy { 
    client *target; 
    client *operator->() const 
     { return target; } 
}; 

struct proxy2 { 
    proxy *target; 
    proxy &operator->() const 
     { return * target; } 
}; 

void f() { 
    client x = { 3 }; 
    proxy y = { & x }; 
    proxy2 z = { & y }; 

    std::cout << x.a << y->a << z->a; // print "333" 
} 

->*

それについて何も特別なことがないという点で、この1つは唯一のトリッキーです。 オーバーロードされていないバージョンでは、左側にクラス型へのポインタオブジェクトが、右側にメンバタイプへのポインタオブジェクトが必要です。しかし、あなたがそれをオーバーロードすると、好きな引数を取ってあなたが望むものを返すことができます。それは非静的メンバーである必要はありません。

つまり、+,-、および/のような通常の2進演算子です。参照：Are free operator->* overloads evil?

.*と.

これらがオーバーロードすることはできません。左辺がクラス型の場合には、既に組み込みの意味があります。おそらく、左側のポインタのためにそれらを定義できるのは少し意味があるかもしれませんが、言語設計委員会はそれが有用であるよりも混乱すると判断しました。 ->、->*、.をオーバーロード

、および.*のみ式が未定義ことになる場合に記入することができ、それがオーバーロードしない有効だろう表現の意味を変更することはできません。

Answer 2

オペレータは、どのメンバーがポイントされているのかわからず、実際のメンバーアクセスを実行するオブジェクトを提供するだけです。

また、constバージョンとnon-constバージョンを提供できない理由はありません。

Answer 3

演算子 - >（）をオーバーロードすると（ここで引数が渡されません）、コンパイラは実際に型への実際のポインタを返すまで - >再帰的に呼び出します。その後、正しいメンバー/メソッドを使用します。

これは、実際のポインタをカプセル化するスマートポインタクラスを作成する場合などに便利です。オーバーロードされた演算子 - >が呼び出され、それが何であれ（例えば、スレッド安全のためにロックする）、内部ポインタを返し、コンパイラはこの内部ポインタに対して - >を呼び出します。

const-については、コメントやその他の回答で答えています。

Answer 4

オペレータ - >は特別です。

"ポインタの逆参照演算子も持つオブジェクト（またはオブジェクトへの参照）を返さなければならない、またはポインタの逆参照演算子の矢印を選択するために使用できるポインタを返す必要がある」と指摘している。 Bruce Eckel: Thinking CPP Vol-one : operator->

余分な機能は利便性のために提供されているので、あなたが

a->->func(); 

を呼び出す必要はありませんあなたは、単に行うことができます。

演算子を作る

a->func(); 

- 他のオペレータが異なります>過負荷。

Answer 5

メンバーアクセス.（つまり、->の2番目の部分）をオーバーロードすることはできません。ただし、参照先がの逆参照オペレータ*（つまり->の最初の部分）に上書きすることができます。

C++ ->演算子は基本的に2つのステップの和集合であり、x->yが(*x).yと等価であると考えるならば、これは明らかです。 xがクラスのインスタンスである場合、C++では(*x)の部分の処理をカスタマイズできます。

->オーバーロードのセマンティックは、C++ではポインティングされたオブジェクトを見つけるために使用される通常のポインタを返すことができ、またはこのクラスでも->演算子を提供する場合は別のクラスのインスタンスを返すことができるため、 。この第2のケースでは、逆参照されたオブジェクトの検索がこの新しいインスタンスから継続されます。