非const lvalue的'const int *'类型的引用不能绑定到一个无关的'int *'类型的值。

int main(int argc, char const *argv[])
{    
   int *i;
   const int * &j = i;
}

该代码给出的错误是 error: non-const lvalue reference to type 'const int *' cannot bind to a value of unrelated type 'int *

但我不清楚为什么不允许这样做。我定义了 j 为指向常量int的指针的引用。所以如果我把它设置为等于 i我不是说过吗?j 是指 i 而我们是不允许修改 int 所指 i 通过 j?

解决方案:

所以如果我把它设为等于i,是不是说j是i的一个引用

这是你想说的。但是i的类型是不兼容的,所以这是不能说的。

而我们是不允许通过j来修改i所指向的int的?

如果你有一个指向const的指针,那么你就不能修改指向的int。而且你可以用这样的指针来引用 j. 但你没有创建这样的指针。

然而,指向non-const的指针可以转换为指向const的指针,但这种转换的结果是一个r值,所以你对non-const的引用不能绑定到它。但是这种转换的结果是一个r值,所以你对non-const的引用不能绑定到它。如果你使用对const的引用,它会延长隐式转换的临时结果的寿命。

const int * const &j = i;

但这个引用只是增加了不必要的合并。最好给转换后的指针一个名字,而不是引用一个临时对象。

const int* j = i;

为什么i的类型不兼容?

因为语言规则是这么说的。

这只是规则吗?

这是规则(来自最新的标准草案)。

给定类型 “cv1 T1 “和 “cv2 T2”, “cv1 T1 “与 “cv2 T2 “是引用相关的,如果T1与T2相似([conv. qual]), 或者T1是T2的基类. “cv1 T1 “与 “cv2 T2 “是引用相关的,如果 “指向cv2 T2的指针 “类型的pr值可以通过标准转换序列([conv])转换为 “指向cv1 T1的指针 “类型。 在所有的情况下,两个类型的引用兼容关系被用来建立引用绑定的有效性,而标准转换序列将是错误的,一个需要这种绑定的程序是错误的。

类型为 “cv1 T1 “的引用被类型为 “cv2 T2 “的表达式初始化,如下所示。

  • 如果这个引用是一个l值引用,并且初始化表达式是

    • 是一个l值(但不是位域),”cv1 T1 “与 “cv2 T2 “是参考兼容的,或者是

    • 有一个类类型(即T2是一个类类型),其中T1与T2没有引用关系,可以转换为类型为 “cv3 T3 “的l值,其中 “cv1 T1 “与 “cv3 T3″92具有引用兼容性(这种转换是通过列举适用的转换函数([over.match.ref])来选择的,并通过过载解析选择最好的一个)。

那么在第一种情况下,引用会被绑定到初始化表达式lvalue上,在第二种情况下,会被绑定到转换的lvalue结果上(或者,在这两种情况下,都会被绑定到对象的相应基类子对象上)。

  • 否则,如果引用是对一个非const-限定的类型的lvalue引用,或者是volatile限定的类型,则程序是不合格的。

给TA打赏
共{{data.count}}人
人已打赏
未分类

加载大型图像集会导致进程停止

2022-9-9 9:43:21

未分类

OIDC和OAuth API接入的B2C中,我应该在哪里执行(相当于群组角色)?

2022-9-9 9:54:17

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
购物车
优惠劵
今日签到
有新私信 私信列表
搜索