为啥 C++ 成员函数在参数中使用 &？ [复制]

Posted 2023-02-25

技术标签:

【中文标题】为啥 C++ 成员函数在参数中使用 &？ [复制]【英文标题】：Why C++ member function uses & in argument? [duplicate]为什么 C++ 成员函数在参数中使用 &？ [复制] 【发布时间】：2012-02-03 00:36:46 【问题描述】：

可能重复：How to pass objects to functions in C++?Operator & and * at function prototype in class

#include <iostream>
using namespace std;

class C 
  public:
    int isSelf (C& param);
;

bool C::isSelf (C& param)

  if (&param == this) return true;
  else return false;


int main () 
  C a;
  C* b = &a;
  cout << boolalpha << b->isSelf(a) << endl;
  return 0;

此代码有效。但在我看来，b->isSelf(a) 真的应该是b -> isSelf(&a)，因为isSelf 需要C 类型的地址？！

[编辑] 其他问题：

1) 有没有办法通过值传递来实现这个isSelf 函数？ 2) 使用引用传递和指针传递的实现是否正确？

bool C::isSelf1(const C &c)

    if (&c == this) 
        return true;
     else 
        return false;
    


bool C::isSelf2(C c)

    if (&c == this) 
        return true;
     else 
        return false;
    


bool C::isSelf3(C * c)

    if (c == this) 
        return true;
     else 
        return false;
    


int main ()

    C c1 (2);
    C * c2 = &c1;
    cout << boolalpha;
    cout << c2 -> isSelf1(c1) << endl; // pass by reference
    cout << c2 -> isSelf2(c1) << endl; // pass by value
    cout << c2 -> isSelf3(&c1) << endl;// pass by pointer
    return 0;

【问题讨论】：

【参考方案1】：

两者之间有区别：

bool C::isSelf (C& param)  // pass by 'reference'
               ^^^

和

bool C::isSelf (C* param)  // pass by 'address'
               ^^^

所以在第二版中C 对象的地址（即C*）是预期的，而不是在第一版中。

另外请注意，内部第 1 和第 2 版本的实现可能类似；但存在语法差异。还有第三个版本：

bool C::isSelf (C param)  // pass by value
               ^^^

对于已编辑的问题：

1) 有没有办法使用传值实现这个isSelf() 函数？

无法满足您的给定要求。因为它创造了一个新的价值，而这永远不会匹配。从您的代码中删除 按值传递 版本。

除此之外，一般来说，对于任何函数，您应该选择按值传递或按引用传递。你不能同时拥有两者，因为它们的函数调用语法是相同的，这会导致歧义。

2) 使用引用传递和指针传递的实现是否正确？

它们是正确的，但您可以将它们简化为：

bool C::isSelf(const C &c) const // don't give postfix '1', simply overload
                          ^^^^^
  return (&c == this);


bool C::isSelf(C* const c) const // don't give postfix '3', simply overload
                          ^^^^^
  return (c == this);

另外，请参阅执行此类操作的 const 正确性 语法。

【讨论】：

【参考方案2】：

问：但在我看来 b->isSelf(a) 真的应该是 b -> isSelf(&a)

答：是的，这就是“addressof”运算符 (&) 的工作原理。但这是一个参考参数。

在此链接中查看此示例：

http://www.learncpp.com/cpp-tutorial/73-passing-arguments-by-reference/

void foo(int &y) // y is now a reference

    using namespace std;
    cout << "y = " << y << endl;
    y = 6;
    cout << "y = " << y << endl;
 // y is destroyed here

int main()

    int x = 5;
    cout << "x = " << x << endl;
    foo(x);
    cout << "x = " << x << endl;
    return 0;

PS：

这是上面的示例输出：