const_cast转换的问题

bjutslg

1.         const int s=10;
   
2.         int *p=const_cast<int*>(&s);
   
3.         *p=11;
   
4.         cout<<p<<" "<<&s<<endl;
   
5.         cout<<*p<<" "<<s<<endl;

复制代码

这样的话 地址是一样的 为什么内容不一样呢

为什么这样有可以改变值

1.          
   
2.         const int*  a=&v;
   
3.         int *b=const_cast<int*>(a);         
   
4.         cout<<*a<<endl;
   
5.         *b=11;
   
6.         cout<<*a<<endl;

复制代码

jwj070524

1. #include <stdio.h>
   
2. 
   
3. int main ()
   
4. {
   
5.   int const v = 0;
   
6. 
   
7.   int *ptr = const_cast<int*>(&v);
   
8. 
   
9.   *ptr = 1;
   
10. 
    
11.   printf("v = %d, *ptr = %d\n", v, *ptr);
    
12. }

复制代码

转换成汇编后：

1. main:
   
2. .LFB2:
   
3.         leal    4(%esp), %ecx
   
4. .LCFI0:
   
5.         andl    $-16, %esp
   
6.         pushl   -4(%ecx)
   
7. .LCFI1:
   
8.         pushl   %ebp
   
9. .LCFI2:
   
10.         movl    %esp, %ebp        ; v   => [ebp-12]
    
11. .LCFI3:                           ; ptr => [ebp-8]
    
12.         pushl   %ecx
    
13. .LCFI4:
    
14.         subl    $36, %esp
    
15. .LCFI5:
    
16.         movl    $0, -12(%ebp)     ; [ebp-12] := 0         ;int const v = 0;
    
17.         leal    -12(%ebp), %eax   ; eax      := ebp-12    ;eax = &v
    
18.         movl    %eax, -8(%ebp)    ; [ebp-8]  := ebp-12    ;ptr = &v
    
19.         movl    -8(%ebp), %eax    ; eax      := [ebp-8]   ;eax = v
    
20.         movl    $1, (%eax)        ; eax      := 1         ;eax = 1
    
21.         movl    -8(%ebp), %eax    ; eax      := [ebp-8]   ;eax = &v
    
22.         movl    (%eax), %eax      ; eax      := [[ebp-8]] ;eax = v
    
23.         movl    %eax, 8(%esp)     ; [esp+8]  := [[ebp-8]] ;store (*ptr)
    
24.         movl    $0, 4(%esp)       ; [esp+4]  := 0         ;store (v) == 0 由于v是常量，直接赋0
    
25.         movl    $.LC0, (%esp)     ; [esp]    :=           ;store (char const *)
    
26.         call    printf

复制代码

bjutslg

看不很懂啊回复 2# jwj070524


   

Kasiotao

回复 1# bjutslg
你可以用强制类型转换在gcc下编译一下，结果可以改变原const变量的值，在c语言中是允许这样
但是同样的程序在C++中你就修改不了，貌似在C++中修改const变量的值是未定义的行为，这一点C++ primer上明确说了

   

bruceteen

你的代码逻辑是错误的，因为 &s 不可以被当成 int* 看待

打个比方，
甲有一个可刻录光盘（int*）
乙向甲索要一个只读光盘（const int*），甲给了乙一个可刻录光盘（int*）【int* 可以隐式转化为const int*的原因不需要我解释了吧？！】
丙从乙处得到这个“被乙认为是只读光盘”的光盘，但丙知道这个光盘其实是可刻录光盘，于是丙将光盘放进刻录机刻录一段AV。
故事结束，毫无违和感吧：）

而你的问题在于，将一个本不是“可刻录光盘”的光盘当成“可刻录光盘”来刻录，自然其结果是“未定义”的。

对于『未定义行为』，根本就无法去解释其执行过程，看反汇编也没屌用，不要混淆了『未定义行为』和『实现定义行为』的差别。（给个忠告，永远不要用反汇编来解释C++，因为汇编是根据C++标准生成的，而C++标准是不受编译器反馈影响的）
如果你一定对结果要个解释的话，我只能说大部分『未定义行为』是留给编译器作优化的
对于
const int s=10;
……
*p=11;
cout<<*p<<" "<<s<<endl;
因为 *p=11 到输出 *p 之间没有任何修改*p和p的行为，所以 *p 值自然还是11
对于 const int s=10，因为 s 是不可修改的，所以 s 值自然还是10
整段代码其实被优化成 cout << 11 << 10 << endl，假如你用的编译器足够优秀的话。
当然，你可能会说你强制修改了s呀？但，编译器可不管，因为C++标准没要求编译器来管你这未定义的行为，C++只对有定义行为的代码负责任。也就是说编译器不单可以输出 11,10 和 11,11 这些你能猜出的结果，也可能直接删除你的chinaunix帐号，为什么？因为这就是“未定义行为”嘛！