これは定義されていますか？

Question

私は次のクラスがあるとします。

struct A{ 
    void method(A& otherA) const{ 
    /* Mutate otherA */ 
    } 
}; 

をし、後で私はこれがあります。

A myA; 
myA.method(myA); 

を私はmethodがthisインスタンスが変更されないことをコンパイラに告げてきたが、コンパイラがいることをわかっていませんパラメータとしてthisインスタンスを渡すことはできますか？

私はこれを行うことによってものを壊すことができますか？これは定義された動作ですか？

Answer 1

これは完全に問題ありません。この例では、2つの引数が実際に同じオブジェクトを参照するときに、「エイリアス」と呼ばれることもあります。

プレーンCでさえ簡単場合を考える：

void foo(int* a, const int* b) { *a += *b; } 

すなわち機能はint Sへの2つのポインタをとり、最初のものに第二1を加算します。そしてもちろん、私のfoo機能を使用するには、このコードは完全に有効です：

int x = 10; 
foo(&x, &x); // now x is 20 

あなたは、この場合には、その行動が気に入らない場合は、行うための最善のことは

のようなあなたのメソッド内でチェックを追加することでしょう

void A::method(A& otherA) const { 
    if (this == &otherA) { /* aliasing detected */ } 
    else { /* proceed as normal */ } 
}