Bu tanımlanmış mı?

Question

varsayalım aşağıdaki sınıfını var: Daha sonra bu daha sonra

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

Ve sahiptirler: Ben methodthis örneği değişmeyecek derleyici söylediler

A myA; 
myA.method(myA); 

ama derleyici farkında gelmez örneğinde parametre olarak geçebilir miyim?

Bunu yaparak bir şeyleri kırıyor olabilir miyim? Bu tanımlanmış davranış mı?

Answer 1

Bu tamamen sorun değil, sorun değil. Bu örnekte yaptığınız şey, iki argüman aslında aynı nesneye başvurduğunda bazen "takma ad" olarak adlandırılır.

düz C daha basit durumu ele alalım:

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

Bu işlev int s iki işaretçiler alır ve birinciye ikincisini ekler.

sevdiği yöntemi içinde bir çek eklemek Bu durumda o davranış gibi yapmazsanız, yapılacak en iyi şey muhtemelen olurdu

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

: Ve tabii bu kod benim foo işlevi tamamen geçerli olduğunu kullanmak