为什么我不能传递地址作为参考？

Question

我有一个函数将指针作为引用参数，但我无法将 &my_variable 传递给该函数。我收到的错误是使用 VS2010 无法将参数从 my_class* 转换为 my_class*&。

为什么这是不允许的？

class my_class
{
public:
    my_class();
    my_class(my_class* &parent);
};

--

int main()
{
    my_class a;
    my_class b(&a);                   // Not legal

    // ---
    my_class a;
    my_class* a_ptr = &a;
    my_class b(a);                    // Legal

    // ---
    my_class* a = new my_class;
    my_class* b = new my_class(a);    // Legal
}

Answer 1

地址表达式的结果是右值。因此，您不能将其绑定到非常量引用。

这也是没有意义的。这就像说int a; &a = 12; 显然你不能改变变量a的地址。

相反，您需要这样：

int a;
int * p = &a;
mutate_me(p);    // declared as mutate_me(int * &);

如果函数不需要改变指针，则通过常量引用或值传递它。

Answer 2

当你写下这样的内容时，请考虑一下情况

void foo(bar*& ptr) {
  ptr = new bar;
}

bar b;
foo(&b);

Answer 3

非正式地，期望通过引用传递参数的方法期望它传递可以合法放置在赋值语句左侧的内容（有时称为“左值”）。

int main()
{
    my_class a;
    my_class b(&a);                   // Not legal: &a = 0; would be illegal because you can't change an address of a variable.

    // ---
    my_class a;
    my_class* a_ptr = &a;
    my_class b(a_ptr);                    // Legal: You've declared a_ptr on the stack and its value (what it points to) can be changed. The address of a_ptr would not be changeable though.

    // ---
    my_class* a = new my_class;
    my_class* b = new my_class(a);    // Legal: Again, this is on the stack and `a` could point to something else, but its own address won't be changed.
}

在这种情况下，值得指出的是，在大多数情况下，按值传递指针成本低廉并且可行。如果您确实需要可修改指针（通过引用传递），那么您需要传递左值。

另一种选择是让引用为 const。那么我相信你可以很好地传递rvalues。