c – 这是定义的吗？

发布时间：2020-12-16 03:34:59 所属栏目：百科来源：网络整理

导读：假设我有以下课程： struct A{ void method(A otherA) const{ /* Mutate otherA */ }}; 然后我有这个： A myA;myA.method(myA); 我已告诉编译器该方法不会更改此实例,但编译器是否意识到我可以将此实例作为参数传递？这样做我可以打破这些东西吗？这是定义

假设我有以下课程：

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

然后我有这个：

A myA;
myA.method(myA);

我已告诉编译器该方法不会更改此实例,但编译器是否意识到我可以将此实例作为参数传递？

这样做我可以打破这些东西吗？这是定义的行为吗？

解决方法

这完全没问题,也不是问题.你在这个例子中所做的有时被称为“别名” – 当两个参数实际上引用同一个对象时.

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!