浅谈const变量赋值报错分析

浅谈const变量赋值报错分析,第1张

概述从变量到常量的赋值是合法C++的语法约定的,如从char到constchar顺畅;但从char**到constchar**编译器就会报错:

从变量到常量的赋值是合法C++的语法约定的,

如从char 到const char顺畅;
但从char **到 const char **编译器就会报错:

复制代码 代码如下:
error: invalID conversion from `char**' to `const char**'

示例:

int main(int argc,char *argv[]){  char a = '1';  const char b = a;  char * a2 = "12345";  const char * b2 = a2;  char** a3 = NulL;  //const char** b3 = a3; //error   char** const c3 = a3; //ok   char* const * d3 = a3; //ok}

原因:

const char** b3 说明 b3的指针可以变更,可以再指向另外一个地址;
b3和a3都是unqualifIEd的,但b3指向的对象类型为pointer to const char,
a3指向的对象类型为 pointer to char,两者是不相容类型,
不符合两 *** 作数必须指向相容类型的规定,因此赋值非法。
更详细的解释详见参考资料1;

而char** const c3 = a3;正确,则是因为const限制了c3指针的地址变更,即它指向了a3,就不再能变更指向其它指针了;这就限制了指针地址变更可能发生的潜在问题;

当然这时候,使用一个强制类型转换,可以解决这个编译错误:

复制代码 代码如下:
    const char** b3 = const_cast<const char**>(a3); // ok

但转换后的代码再出现问题就很难排查了;

强制类型转换的潜在问题

看以下示例:

class Foo {public: Foo(){   i = 1; } voID modify(){// make some modification to the this object   i = 2; }  voID print() const {   cout << "Foo_i:" << i << endl; }private: int i;};//演示潜在的危险  //error: invalID conversion from `Foo**' to `const Foo**'/////////////////////////////////////////////////////////int main(int argc,char *argv[]){  const Foo x;  Foo* p;  //const Foo ** q = &p; //q Now points to p; this is (fortunately!) an error  const Foo ** q = const_cast<const Foo **>(&p);   *q = &x; // p Now points to x  p->modify(); // Ouch: modifIEs a const Foo!!   x.print(); // print: Foo_i:2  return 0;}

我们定义了一个常量的Foo,常量Foo方法打印出来的永远为1;

Foo**到const Foo **的转换报错,

通过一个强转符让编译通过,

最后的x.print()的结果是2;这样的潜在危险在正式的项目代码中就很难发现;

很难会想到一个const对象还能够变更;

以上所述就是本文的全部内容了,希望大家能够喜欢。

总结

以上是内存溢出为你收集整理的浅谈const变量赋值报错分析全部内容,希望文章能够帮你解决浅谈const变量赋值报错分析所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错,欢迎将内存溢出网站推荐给程序员好友。

欢迎分享,转载请注明来源:内存溢出

原文地址: http://outofmemory.cn/langs/1256343.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2022-06-07
下一篇 2022-06-07

发表评论

登录后才能评论

评论列表(0条)

保存