在引用 (T&) 和 const 指针 (T* const) 之间进行选择

Question

是否有任何合理用例，应该使用const指针而不是引用？

T obj;
T &r = obj;  // style-1
T* const p = &obj; // style-2

两种样式都可以用于相同的目的。我总是更喜欢代码中的第一种样式，并将后一种样式视为已弃用。但是我仍然想知道是否错过了第二种风格更好的用例？

编辑：不限于上面的例子，我在更广泛的意义上谈论，

void foo (T& r); // style-1
void foo (T* const p); // style-2

[我从几个答案中看到，style-2允许传递null。]

Answer 1

const 指针 (T* const) 可以是 NULL，这在向函数传递参数或从函数返回值时非常有用。功能。例如，如果您有一个搜索函数，您可能希望它在未找到任何内容时返回 NULL。如果它返回引用类型，则无法执行此操作。

Answer 2

让我在这里冒险一下。由于您明确地说“const 指针”，我假设您不是在谈论函数参数甚至函数返回值。对于通过副本传递的函数参数，常量是一个不相关的实现细节：

void foo(T *);          // declaration

void foo(T * const pt)  // implementation,
{ /* ... */ }           // pt is const inside the body (who cares?)

因此，想到的唯一用例是您是否需要在自己的代码中的某个位置创建别名。在这种情况下，我总是更喜欢参考。比较：

for (auto it = box.begin(); it != box.end(); ++it)
{
  T & trinket = *it;     // nice
  T * const ptr = &*it;  // wtpf?

  // ...
}

---

自从您编辑问题以来：函数参数显然存在差异。

void foo(T &);
void bar(T *);

在foo中，你保证有一个可用的、可变的对象引用；在 bar 中，您必须检查指针是否不为空（给您一个可选参数的概念）。从这个意义上说，T& 和 T* 并没有真正的可比性。

Answer 3

对于函数参数，我更喜欢指向引用的指针，因为我可以在调用站点知道该参数是一个输出参数。如果函数参数是 const 引用，那么我更喜欢引用。

另一个很大的区别是 r 不能为空，所以如果你需要它，那么你需要 style-2

Answer 4

1）使用引用时，对象必须存储在变量中。例如，你不能这样做：

void funct (T &);
funct (T ("Calling constructor"));

必须这样做：

void funct (T &);
T obj ("Calling constructor");
funct (obj);

2）当使用引用时，你不能测试它的值（例如，检查它是否是常用的 NULL）

通过其他一切，这是同一件事。

我通常仅在以 true 变量作为参数调用函数很重要的情况下才使用它们。我可能很守旧，但在其他情况下指针方式对我来说更好。