假设我有以下类(class):
struct A{
void method(A& otherA) const{
/* Mutate otherA */
}
};
然后我有这个:
A myA;
myA.method(myA);
我已经告诉编译器 method
不会改变 this
实例,但是编译器是否意识到我可以传入 this
实例作为参数?
我这样做会破坏东西吗?这是定义的行为吗?
最佳答案
这完全没问题,不是问题。您在此示例中所做的有时称为“别名”- 当两个参数实际上引用同一个对象时。
考虑纯 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 */ }
}
关于c++ - 这是定义了吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/38112629/