为什么我能够修改const变量通过类,而不是在纯代码.c++

Why I am able to modify const variable through classes and not in plain code. C++

本文关键字:c++ 代码 修改 const 变量 为什么      更新时间:2023-10-16

当我写这段代码时,通过指针修改const变量I的值后,我得到I的值为10,但当我打印*ptr时,我得到110。

const int i = 10;
int *ptr = const_cast<int *>(&i);
*ptr = *ptr + 100;
cout << "i:     " << i << "t*ptr:      " << *ptr << endl;

我得到输出I: 10和*ptr:110。

在这种情况下,我有一个const变量x作为Base类的成员变量。通过函数show(),我可以修改const变量x的值,即当我打印x和*ptr时,我在两者中都得到了改变的值。

class Base
{
public:
const int x;
Base(int i) : x(i) {}
virtual void show()
{
            int *ptr = const_cast<int *>(&x);        
            int *ptr = const_cast<int *>(&x);
            cout << "In Base show:n";
            cout << "Address of x   :       " << &x << endl;
            cout << "Address in ptr :       " << ptr << endl;
            cout << "value in x     :       " << x << endl;
            cout << "value in ptr   :       " << *ptr << endl;
            *ptr = *ptr + 10;
            cout << "After modifying        " << endl;
            cout << "value in x     :       " << x << endl;
            cout << "value in ptr   :       " << *ptr << endl;
    }
};
class Derived : public Base
{
    public:
    Derived(int i) : Base(i){}
    virtual void show()
    {
            int *ptr = const_cast<int *>(&x);
            cout << "In Derived show:n";
            cout << "Address of x   :       " << &x << endl;
            cout << "Address in ptr :       " << ptr << endl;
            cout << "value in x     :       " << x << endl;
            cout << "value in ptr   :       " << *ptr << endl;
            *ptr = *ptr + 10;
            cout << "After modifying        " << endl;
            cout << "value in x     :       " << x << endl;
            cout << "value in ptr   :       " << *ptr << endl;
    }
};
int main()
{
    Base bobj(5),*bp;
    Derived dobj(20), *dptr;
    bp = &bobj;
    bp->show();
    bp = &dobj;
    bp->show();
    return 0;
}

The output which I am getting is this 
In Base show:
Address of x    :   0x7fff82697588
Address in ptr  :   0x7fff82697588
value in x          :   5
value in ptr    :   5
After modifying 
value in x          :   15
value in ptr    :   15
In Derived show:
Address of x        :       0x7fff82697578
Address in ptr      :   0x7fff82697578
value in x          :       20
value in ptr        :       20
After modifying 
value in x          :       30
value in ptr        :       30

有人能帮忙吗?

你的代码只是有未定义的行为:你不能修改一个常量对象,你的const_cast允许你违反这一点(这就是为什么基本上永远不使用const_cast是一个好主意,只有极少数例外)。因此,询问代码中断的特定方式的原因和方式没有什么意义。但如果你一定要知道,常数积分表达式通常按值直接折叠到它们被引用的地方,就像你的例子中发生的那样。

原因是编译器在编译这一行时将i的值内联到代码中:

cout << "i: " << i << "t*ptr: " << *ptr << endl;

因为iconst变量,编译器通过用10替换上面行的i来优化代码。如果我们看看生成的程序集(我使用VS2010):

002314F2  mov         ecx,dword ptr [ptr]  // ptr is being pushed here (110)
002314F5  mov         edx,dword ptr [ecx]  
002314F7  push        edx  
002314F8  push        offset string "t*ptr:      " (23783Ch)     
002314FD  mov         ebx,esp  
002314FF  push        0Ah  //  0Ah is being pushed here (A is hex for 10)
00231501  push        offset string "i:     " (237830h) 

发生的事情是,你修改了内存中的常量,但生成的程序集实际上并不使用内存地址——它只是输出'10',而不管内存中有什么。

正如Kerrek所说,这是未定义的行为,所以其他编译器可能会做一些完全不同的事情。

一般情况下,除了少数例外,使用const_cast是一个坏主意。