将常量指针引用绑定到非常量指针

Binding a const pointer reference to a non-const pointer

本文关键字:指针 常量 非常 引用 绑定      更新时间:2023-10-16
int val2 = 38;
int *ptr = &val2;
const int *&ptrRef = ptr; // ERROR
int i = 92;
int &ref_i = i;
const int &ref_i2 = ref_i;  // OK

为什么我不能有一个引用非常量指针的常量引用?我认为,如果您访问constptrRef标识符,它会将val2视为const。当您访问ptr时,它将把val2视为非常数。这适用于代码的底部,所以我不明白为什么它不适用于指针。

East const使其更加清晰:

int const * & ptrRef = ptr; // ERROR

指针是常量。然而,ptr是另一种类型。不能将引用绑定到其他类型。它需要转换,使初始化器成为临时的(ptr转换为int const*(。

现在,有一个更令人困惑的问题:const引用可以绑定到临时值,延长它们的生存期:为什么const引用会延长右值的生存期?

例如,它们允许函数接受const&的参数,并且仍然可以用临时调用:

void foo(std::string const&);
foo("foor"s+"bar"s); // still ok

我认为,你的问题归结为一个简单的拼写错误。如果您想要一个对非常量指针的常量引用,请使用以下内容:

int* const&  ptrRef = ptr; // no error

这将ptrRef声明为对非常量指针的常量引用。另一个可能更干净的选择是引入typedef:

using intptr = int *;
const intptr& ptrRef = ptr;

此外,您可以完全放弃手动指定类型的业务:

const auto&  ptrRef = ptr; // no error

而且,如果这是你想要的,这也会起作用(就像在编译中一样(:

const int* const&  ptrRef = ptr; // no error

最新的位声明对常量指针的常量引用。