क्या यह परिभाषित किया गया है?

Question

मान लीजिए मैं है निम्नलिखित वर्ग:

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

और फिर बाद में मैं इस है:

A myA; 
myA.method(myA); 

मैं संकलक कि methodthis उदाहरण परिवर्तन नहीं होगा बता दिया है, लेकिन संकलक कि एहसास करता है मैं पैरामीटर के रूप में this उदाहरण में पास कर सकता हूं?

क्या मैं ऐसा करके सामान तोड़ सकता हूं? क्या यह परिभाषित व्यवहार है?

Answer 1

यह बिल्कुल ठीक है, और कोई समस्या नहीं है। इस उदाहरण में आप जो कर रहे हैं उसे कभी-कभी "एलियासिंग" कहा जाता है - जब दो तर्क वास्तव में एक ही वस्तु को संदर्भित करते हैं।

सादा सी में भी सरल मामले पर विचार करें:

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

कि समारोह int रों करने के लिए दो संकेत लेता है, और पहले एक करने के लिए एक दूसरे को जोड़ता है। और निश्चित रूप से इस कोड का उपयोग करने के लिए अपने 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 */ } 
}