c++ 中指向 const int 的指针

Question

在 c++ 中我有下一个代码

int main() {
    int i = 1;
    cout<<"i = "<<i<<endl; //prints "i = 1"

    int *iPtr = &i;
    cout<<"*iPtr = "<<*iPtr<<endl; //prints "*iPtr = 1"

    (*iPtr) = 12; //changing value through pointer

    cout<<"i = "<<i<<endl; //prints "i = 12"
    cout<<"*iPtr = "<<*iPtr<<endl; //prints "*iPtr = 12"

    system("pause");
    return 0;
}

现在与 常量整数 i

相同的代码

int main() {
    const int i = 1;
    cout<<"i = "<<i<<endl; //prints "i = 1"

    int *iPtr = (int*)&i; //here I am usint a type conversion
    cout<<"*iPtr = "<<*iPtr<<endl; //prints "*iPtr = 1"

    (*iPtr) = 12; //changing value through pointer

    cout<<"i = "<<i<<endl; //prints "i = 1"
    cout<<"*iPtr = "<<*iPtr<<endl; //prints "*iPtr = 12"

    system("pause");
    return 0;
}

如你所见，在第二种情况下，对于常量整数，*iPtr 和 const i 有两个不同的值，但指针 *iPtr 指向常量 i。 请告诉我第二种情况会发生什么，为什么？

Answer 1

您的第二个代码有未定义的行为。您不能通过指向非常量的指针更改 const 数据。您很幸运，您的代码在尝试修改只读值时没有直接崩溃。

无论如何，您看到的结果是因为编译器知道 i 是 const 并且具有在编译时已知的值。因此编译器能够优化 i 在cout 语句中并直接使用1。这就是为什么在打印 i 时看到 1 而在打印 *iPtr 时看到 12。

Answer 2

您正在尝试删除变量的 const 限定符。 在 C++ 中，您应该使用 const_cast 来执行此操作。

但是，const_cast 只能在某些精确的情况下使用：constness 只能从指向已在顶层声明为非常量的数据的指针/引用中删除，否则编译器可能会优化变量并通过指针/引用会导致未定义的行为。

例如，这是不合法的：

const int i = 1;
const int *iPtr = &i;
int *iSuperPtr = const_cast<int*>(iPtr);
*iSuperPtr = 2; // Invalid : i is first declared const !!

但这是完全合法的：

void modifyConstIntPtr(const int *iPtr) {
    int *iSuperPtr = const_cast<int*>(iPtr);
    *iSuperPtr = 2; // Valid : i is first declared non-const !!
}

void modifyConstIntRef(const int &iRef) {
    int &iSuperRef = const_cast<int&>(iRef);
    iSuperRef = 3; // Valid : i is first declared non-const !!
}
int main() {
    int i = 1;
    modifyConstIntPtr(&i);
    std::cout << i << std::endl;
    modifyConstIntRef(i);
    std::cout << i << std::endl;
}

C++ 的这个方面在这里有详细的介绍：https://stackoverflow.com/a/357607/3412316)