c++ - 这是定义了吗？

Question

假设我有以下类(class):

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

然后我有这个:

A myA;
myA.method(myA);

我已经告诉编译器 method 不会改变 this 实例，但是编译器是否意识到我可以传入 this实例作为参数？

我这样做会破坏东西吗？这是定义的行为吗？

Answer 1

这完全没问题，不是问题。您在此示例中所做的有时称为“别名”- 当两个参数实际上引用同一个对象时。

考虑纯 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 */ }
}