64,683
社区成员
发帖
与我相关
我的任务
分享c++ const 引用赋值错误
代码如下：
错误信息：
请问为什么错误呢，我在codeblocks下用gcc编译的。
int ival = 1024;
int* pival = &ival;
int*& sdf = pival; //正确
const int*& pi_ref = pival;//错误，为什么
const int* const& pi_ref = pival;//正确
错误信息：
error: invalid initialization of reference of type 'const int*&' from expression of type 'int*'
请问为什么错误呢，我在codeblocks下用gcc编译的。
...全文
请发表友善的回复…
发表回复
march_on 2013-06-30
- 打赏
- 举报
分太少了，不够给力，抱歉
march_on 2013-06-30
- 打赏
- 举报
嗯，总结的很好，多谢
采石工 2013-06-30
- 打赏
- 举报
我做的笔记，希望有用：
1）一维指针和简单引用
T => T &
T => T const
T* => T const *
T* => T * const
T* => T const * const
T => T const &
T& => T const &
测试代码：没有错误
int main()
{
int i=0;
// T => T &
int* p=&i;
int& r=i;
// T => T const
int const ic=i;
// T* => T const *
int const * pic=p;
// T* => T * const
int * const cpi=p;
// T* => T const * const
int const * const cpci=p;
// T => T const &
int const& rci=i;
// T& => T const &
int const& rci2=r;
return 0;
}
int main()
{
int i=0;
int* p=&i;
int** pp=&p;
int*& rp=p;
// T** => T * const *
int * const * pcpi=pp;
// T** => T const * const *
int const * const * pcpci=pp;
// T*& => T * const &
int * const & rcpi=rp;
// T*& => T const * const &
int const * const & rcpci=rp;
// error C2440: 'initializing' : cannot convert from 'int **' to 'const int **'
int const ** ppci=pp;
// error C2440: 'initializing' : cannot convert from 'int *' to 'const int *&'
int const *& rpci=rp;
return 0;
}
飞天御剑流 2013-06-27
- 打赏
- 举报
1.从int*到const int*的转换需要产生一个临时对象，
这句话是不是说pi_ref 引用的不是pival，而是pival隐式转化为const int*类型后的临时对象？像4楼plainsong说的那样？
2.pi_ref属于非const对象的引用，
这句话不是很理解，const int*& pi_ref = pival;
pi_ref引用的是一个指向整型常量的指针，你说pi_ref属于非const对象的引用是指它引用的指针不是常量指针，虽然这个指针指向的是一个整型常量（const int)，是这个意思吧？
加上一个const后变成const int* const& pi_ref = pival;
这句话的意思是pi_ref引用的是一个指针常量，这个指针不可以修改，然后这个指针指向的是一个整型常量。是这样吗？这个新加的const是说引用是const的还是指针是const的呢？
3.pi_ref引用的类型加上const后，才能引用右值
这里pival不是右值，你说的右值是不是我第一个问题里面的临时变量，如果是这样，c++的临时变量是右值，是这样吗
多谢了[/quote]
1、是的。
2、是的，新加的const修饰的是指针，不是引用，const引用是不存在的，因为引用本身是不可修改的。此外，虽然常量的说法不正确，但不影响你对此问题的理解。
3、是的。注意你提到的临时变量是错误的，不存在临时变量，因为变量一定是有名字的，正确的术语叫临时对象。
march_on 2013-06-27
- 打赏
- 举报
1.从int*到const int*的转换需要产生一个临时对象，
这句话是不是说pi_ref 引用的不是pival，而是pival隐式转化为const int*类型后的临时对象？像4楼plainsong说的那样？
2.pi_ref属于非const对象的引用，
这句话不是很理解，const int*& pi_ref = pival;
pi_ref引用的是一个指向整型常量的指针，你说pi_ref属于非const对象的引用是指它引用的指针不是常量指针，虽然这个指针指向的是一个整型常量（const int)，是这个意思吧？
加上一个const后变成const int* const& pi_ref = pival;
这句话的意思是pi_ref引用的是一个指针常量，这个指针不可以修改，然后这个指针指向的是一个整型常量。是这样吗？这个新加的const是说引用是const的还是指针是const的呢？
3.pi_ref引用的类型加上const后，才能引用右值
这里pival不是右值，你说的右值是不是我第一个问题里面的临时变量，如果是这样，c++的临时变量是右值，是这样吗
多谢了
march_on 2013-06-27
- 打赏
- 举报
int *p;
const int *&r = p; // reference to a pointer to const int
const int immutable = 0;
r = &immutable; // assign p to address of immutable
*p = 1; // whoops, now 0 = 1!
const int*p;//这个不是const指针，虽然指向的是const对象
const int* const p1;//这个才是const指针
mujiok2003 2013-06-26
- 打赏
- 举报
看看这个
橡木疙瘩 2013-06-26
- 打赏
- 举报
原来你是说后面那个不合法，我还以为你说的是前面的。
后面的确实不合法，因为括号放错了位置。但是int * const &是合法的。
int * const & r = p;
相当于：
int ( * const ( & r ) ) = p;
它是一个引用，引用的是一个常量指针，指针指向int可变量。它是用来引用 PINT const类型变量的。
int a;
int * const p = &a;
int * const & r1 = p;
int ( * const ( & r2 ) ) = p;
芥末的无奈 2013-06-26
- 打赏
- 举报
这个回答简洁正确。
mujiok2003 2013-06-26
- 打赏
- 举报
const int * & 确实没有被解释为(int*) const &，但它是合法的:
const int a;
const int * p = a;
const int * & r = p;
//它相当于：
int const ( * ( & r ) ) = p;
//r 是一个引用，它引用的是一个指针，指针指向一个int const变量。
//用typedef 来解释它就是：
typedef int const cint;
typedef cint * pcint;
typedef pcint & rpcint;
rpcint r = p;
飞天御剑流 2013-06-26
- 打赏
- 举报
楼上说的都有点问题，其实楼主发生的问题与大家熟知的const int **与int**之间的转换问题并不是同一类问题，两者是不同的情况。
const int*& pi_ref = pival;不行是因为从int*到const int*的转换需要产生一个临时对象，但pi_ref属于非const对象的引用，大家都知道非const对象的左值引用是不能用右值进行初始化的，这是常识。因此上述语句不能通过编译，pi_ref引用的类型加上const后，才能引用右值，所以const int* const& pi_ref = pival;才是正确的。
楼主提出的问题与下述现象才是同一类问题：
int & r0 = 20.0; //失败
const int & r1 = 20.0; //成功
橡木疙瘩 2013-06-26
- 打赏
- 举报
const int * & 确实没有被解释为(int*) const &，但它是合法的:
const int a;
const int * p = a;
const int * & r = p;
//它相当于：
int const ( * ( & r ) ) = p;
//r 是一个引用，它引用的是一个指针，指针指向一个int const变量。
//用typedef 来解释它就是：
typedef int const cint;
typedef cint * pcint;
typedef pcint & rpcint;
rpcint r = p;
mujiok2003 2013-06-26
- 打赏
- 举报
const int*& 没有被理解为(int*) const&[这种写法也是不合法的].用typedef解决问题.
int main()
{
int a = 0;
int* p = &a;
typedef int* IP;
IP const& rp = p;
return 0;
}
短歌如风 2013-06-26
- 打赏
- 举报
此外，
const int* const& pi_ref = pival;//正确
短歌如风 2013-06-26
- 打赏
- 举报
T * 是一个 T const *， T & 是一个 T const &
但是T ** 不是一个 T const **,T * &也不是一个T const * &
T ** 是一个T * const *，T * &是一个T * const &
上面说的“是一个”意思就是可以隐式转换。
第一个，不用说了，大家都明白，non-const指针/引用可以转换为const指针引用
第二个，很久以前我们就讨论过：
int * a;
int const * b;
int const ** c = &a;//假如这一步允许的话
*c = b; //现在a就等于b,我们成功地把一个int const *赋值给了一个int**，没有任何另人警惕的强制类型转换。
上面两个赋值，后面那个肯定不能禁止 ，否则会让指针失去存在意义，所以第一个赋值被禁止，T **不允许隐式转换为T const **
AndyStevens 2013-06-26
- 打赏
- 举报
我给一个CU上的链接
http://bbs.chinaunix.net/thread-4086492-1-1.html
AndyStevens 2013-06-26
- 打赏
- 举报
有点类似于C专家编程里讲述的const int ** 的问题。
int a = 0;
const int *cpa = &a; //正确
int *pa = &a;
const int **cppa = &pa; //错误
