Question

我正在查看一些开源代码，他们在定义为：

的类中列出了一些奇怪的实例

Obj *&obj;

我不知道那是可能的！这意味着甚至做什么？在我看来，指针和参考符号应该抵消。但也许它做了一些我不知道的特别的事情？

查看代码，他们使用它就像实例是指针一样。即：obj->method()。那么他们为什么要包含&？

Answer 1

这是对指针的引用。以这种方式思考：

A *pa = new A(); //pa is pointer to A

A * & rpa = pa; //rpa is reference to pa

rpa = nullptr;  //it modifies pa as well

if ( pa == nullptr )
{
     std::cout << "pa is nullptr" << std::endl;
}

它将在控制台上打印“pa is nullptr”。

如果您发现A * &难以阅读，那么您可以将typedef用作：

typedef A* PA;

PA & rpa = pa; //same as before

Answer 2

您编写的代码将无法编译，因为它声明了对指针的引用，但引用未初始化。例如，以下代码将无法编译：

string *&s;

（除非它是班上的成员），但这将：

string *p;
string *&s = p;

另一种可能性是，这只是一个错字，他们打算写Obj *obj;;）

Answer 3

这是对指针的引用。毕竟，指针也是一个值。您可以使用它来重新分配调用者持有的指针。举例说明：

bool allocate(t_object*& p) {
  assert(0 == p);
  p = new t_object;
  ...
}

然后：

t_object* obj(0);
if (!allocate(obj)) {...}
// obj now points to something

有些人发现更容易管理/阅读其最直接的选择（bool allocate(t_object** p)）。

至于为什么在程序中选择了对指针的引用 - 没有足够的上下文，但如果成员被声明，你可以问自己该程序是否更好 t_object** const？

Answer 4

它是指针的引用。指针是数据类型，为什么不允许你引用一个？

它与任何其他类型引用的含义相同 - 它是指针的别名。

类中的奇怪实例化

4 个答案: