假设我有以下课程：
struct A{
void method(A& otherA) const{
/* Mutate otherA */
}
};
然后我有这个：
A myA; myA.method(myA);
我已告诉编译器该方法不会更改此实例,但编译器是否意识到我可以将此实例作为参数传递？
这样做我可以打破这些东西吗？这是定义的行为吗？
解决方法
这完全没问题,也不是问题.你在这个例子中所做的有时被称为“别名” – 当两个参数实际上引用同一个对象时.
考虑简单C中更简单的情况：
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 */ }
}
