这是定义的吗？

Question

假设我有以下课程：

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; }

该函数接受两个指向ints 的指针，并将第二个添加到第一个。当然，这段代码使用我的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 */ }
}