这个有定义吗?

Is this defined?

本文关键字：定义      更新时间：2023-10-16

假设我有以下类:

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 s的指针，并将第二个指针加到第一个指针上。当然这段代码使用我的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 */ }
}
相关文章：