将参数传递给 const 参数时出现问题

Question

假设我有一个函数需要对指针进行常量引用...

示例：

void Foo( const Bar *&p_Thing, );

并且我将指针传递

Bar *blah = NULL; // Initialized when program starts up

给该函数

Foo( blah );

我可能会遇到这样的编译器错误

invalid initialization of reference of type 'const Bar*&' from expression of type 'Bar*'

这在我身上发生过几次，我真的很想阐明 const 在应用于与参数传递相关的参数方面的操作方式。如有任何帮助，我们将不胜感激，谢谢。

Answer 1

这就是您想要的：

void Foo( Bar * const &p_Thing );

然后它成为对 Bar * 指针的 const 引用，它具有编译的可爱功能。

Answer 2

我假设您想要对 Bar* 的 const 引用，而不是对 const Bar* 的引用？如果是，您想将其定义为 void Foo(Bar* const& p)

Answer 3

我永远无法弄清楚指向引用的指针和指向指针的引用之间的语法差异。所以我消除了歧义：

typedef const Bar *PBar;
void Foo(const PBar &p_Thing);

这样你也可以消除“const 指针”/“指向 const 的指针”的歧义。

Answer 4

这种特殊情况下的响应很简单：操作期望引用指向 const 内存的指针，但您向其传递了指向非常量内存的指针。将 blah 设为 const Bar* 就可以了。

但是，如果您在指针和常量方面遇到问题，则应该考虑此传递方案。通过引用传递指针并不罕见，但对于 90% 的任务来说，这并不是真正必要的。您可以传递指针或引用，或者将其作为函数或方法调用的值返回。就内存管理和代码的易读性而言，这也会更容易。

Answer 5

您的函数需要一个指向常量数据的指针。

您正在传递一个指向可变或非常量数据的指针。一些编译器可能会抱怨目标数据的常量性。

Answer 6

虽然大多数问题确实回答了这个问题（您不能通过引用将变异指针传递到通过引用获取非变异指针的函数中），但我认为任何答案都没有明确说明其基本原理：

它会破坏 const -正确性。如果通过引用将非可变指针传递给通过引用获取常量指针的函数，它很可能会修改该指针以引用常量对象（毕竟，该类型保证它不会修改该值）。现在的问题是，在函数之外，传入的指针实际上不是 const，编译器必须允许对指向的对象进行任何变异操作，这意味着修改最初是常量的对象。

这是一个简短的例子：

const int y = 0;
void f( const int *& p ) {
   p = &y; // ok, p is a pointer to a constant integer
}
int main()
{
   int *p;
   f( p ); // if this was allowed p would point to y, but y is constant
   *p = 5; // correct, p is a mutating pointer
}