这个定义了吗？

Question

假设我有以下课程：

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

然后我有了这个：

A myA;
myA.method(myA);

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

我可以这样做吗？这是定义的行为吗？

Answer 1

这完全没问题，也不是问题。你在这个例子中所做的有时被称为＆＃34;别名＆＃34; - 当两个参数实际上引用同一个对象时。

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