C ++の矢印演算子が単なる*。のエイリアスではないのはなぜですか？

c ++では、反復子などで*演算子をオーバーロードできますが、矢印（->）（。*）演算子は*演算子をオーバーロードするクラスでは機能しません。プリプロセッサは->のすべてのインスタンスを（* left）.rightに簡単に置き換えることができ、それによりイテレータの実装が改善されると思います。->が異なる実用的な理由はありますか、それとも言語/デザイナーの特殊性ですか？

foo->bar等しいルール(*foo).barは、組み込み演算子にのみ適用されます。

単項にoperator *は、常にポインター逆参照セマンティクスがありません。行列の転置、ゼロ以上のパーサー一致、またはほとんど何でも意味するライブラリを作成できます。

単項演算子をオーバーロードするものが、意味をなさないかもしれないセマンティクスでoperator *、operator ->あなたが要求しなかったものを突然得るなら、それは言語をより面倒にします。

operator -> は個別にオーバーロード可能であるため、必要な場合は最小限の労力でオーバーロードできます。

また、そのようなオーバーロードにはoperator ->、チェーン内の1 つが生のポインターを返すまで呼び出しを自動的にチェーンするなど、かなり興味深いプロパティがあることに注意してください。これは、スマートポインターやその他のプロキシタイプに非常に役立ちます。

#include <boost/make_shared.hpp>
#include <boost/shared_ptr.hpp>
#include <string>
#include <iostream>
#include <ostream>

struct Foo
{
    boost::shared_ptr<std::string> operator -> () const
    {
        return boost::make_shared<std::string>("trololo");
    }
};

int main()
{
    Foo foo;
    std::cerr << foo->size() << std::endl;
}

「C ++プログラミング言語」は、これらの演算子が異なるように異なるという事実を説明していますが、次のようにも述べています。

あなたはこれらの演算子の複数を提供する場合、あることを保証するのが賢明であるのと同様に、等価性を提供するのが賢明かもしれない++xとx+=1同じ効果を持つx=x+1単純な変数のためのx+ =、++ならば、いくつかのクラスの、=、および+が提供されます。

したがって、言語デザイナーは、常に同じであると仮定するのではなく、異なる方法でオーバーロードしたい場合があるため、別々のオーバーロードポイントを提供したようです。

一般的なルールとして、C ++は柔軟性を優先するように設計されているため、オーバーロード*とオーバーロード->は分離されています。そうすることはかなり珍しいことですが、ひどくしたい場合は、まったく異なることを行うためにそれらのオーバーロードを書くことができます（たとえば、C ++内に実装されたドメイン固有の言語に意味があるかもしれません）。

ただし、イテレーターはどちらの使用もサポートします。古代の実装で(*iter).whateverはiter->whatever、の代わりにを必要とするライブラリを見つけるかもしれませんが、そうであれば、それは言語の特性ではなく実装のバグです。すべての標準コンテナ/アルゴリズム/イテレータの実装に必要な作業量を考えると、一部の初期リリースがやや不完全であったことは驚くことではありませんが、そのように意図されたものではありませんでした。