浅谈const变量赋值报错分析

2025-05-27 0 63

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

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

复制代码 代码如下:


error: invalid conversion from `char**' to `const char**'

示例:

?

1

2

3

4

5

6

7

8

9

10

11

12

13

14
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

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

强制类型转换的潜在问题

看以下示例:

?

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30
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对象还能够变更;

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

收藏 (0) 打赏

感谢您的支持,我会继续努力的!

打开微信/支付宝扫一扫,即可进行扫码打赏哦,分享从这里开始,精彩与您同在
点赞 (0)

声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。

快网idc优惠网 建站教程 浅谈const变量赋值报错分析 https://www.kuaiidc.com/75741.html

相关文章

发表评论
暂无评论