私は、メンバーアクセス演算子を除いて、ほとんどの演算子のオーバーロードを理解し->、.*、->*など

特に、これらの演算子関数に渡されるものと返されるものは何ですか？

演算子関数（例operator->(...)）は、どのメンバーが参照されているかをどのようにして知るのですか？わかる？それも知る必要がありますか？

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

->

これは本当にトリッキーな唯一のものです。これは非静的メンバー関数である必要があり、引数を取りません。戻り値は、メンバーの検索を実行するために使用されます。

戻り値がポインターではなくクラス型の別のオブジェクトである場合、その後のメンバー検索も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"
}

->*

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

換言すれば、これは、単にような通常のバイナリ演算子であり+、-および/。参照：無料のoperator-> *オーバーロードは悪か？

.* そして .

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

オーバーロード->、->*、.およびの.*式が未定義の場合にのみ入力できなしで有効になる式の意味を変更することはできません。

演算子->は特別です。

「追加の非定型的な制約があります。ポインター逆参照演算子も持つオブジェクト（またはオブジェクトへの参照）を返すか、ポインター逆参照演算子の矢印が指しているものを選択するために使用できるポインターを返す必要があります。 」 ブルース・エッケル：Thinking CPP Vol-one：operator->

追加の機能は便宜上提供されているため、呼び出す必要はありません

a->->func();

あなたは単に行うことができます：

a->func();

これにより、演算子が他の演算子のオーバーロードと異なります。

メンバーアクセスをオーバーロードすることはできません.（つまり、機能の2番目の部分->）。ただし、単項逆参照演算子*（つまり、最初の部分->）をオーバーロードすることができます。

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

->C ++では通常のポインター（ポインターが指すオブジェクトの検索に使用される）を返すことも、このクラスが->演算子も提供する場合は別のクラスのインスタンスを返すこともできるため、オーバーロードのセマンティクスは少し奇妙です。この2番目の場合、間接参照されたオブジェクトの検索は、この新しいインスタンスから続行されます。

の ->指されているものメンバーを知らないオペレータは、それだけで、実際のメンバーへのアクセスを実行するためのオブジェクトを提供します。

さらに、constおよびnon-constバージョンを提供できない理由はありません。

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

これは、たとえば、実際のポインターをカプセル化するスマートポインタークラスを作成する場合に便利です。オーバーロードされたoperator->が呼び出され、何が行われるか（たとえば、スレッドセーフのためのロック）、内部ポインターが返され、コンパイラーがこの内部ポインターに対して->を呼び出します。

誠実さについては、コメントやその他の回答で回答されています（両方提供できますが、両方提供する必要があります）。