Почему компилятор GNU C++ позволяет вам изменять константу?

Question

Я удалял проект, написанный на C++ через GDB, и обнаружил, что const был модифицирован без предупреждения или ошибки компилятором GNU C++.

Это не программа, которую я был отладки, но это пример поведения я засвидетельствовал:

#include <iostream> 

int main(int argc, char *argv[]) { 
    const int x = 10; 

    int *px = (int *)&x; 
    ++*px; 

    std::cout << "*px: " << *px << "\n"; 
    std::cout << "x: " << x << "\n"; 

    for (int i = 0; i < x; ++i) 
    std::cout << i+1 << "\n"; 

    return 0; 
} 

Я не могу говорить за других компиляторов, потому что я только проверил это с компилятором GNU C++, версия 4.9.2. Почему это разрешено? Это разрушает всю точку const объектов.

Я скомпилировал код выше с г ++ main.c -Wall -Werror

Выход:

*px: 11 
x: 10 
1 
2 
3 
4 
5 
6 
7 
8 
9 
10 

Answer 1

Насколько компилятор обеспокоен, вы не изменяя константу. Вы изменяете то, на что указывает указатель на неконстантный int, потому что это то, что отличает (int *), компилятор считает &x as.

Это так называемое C-style cast является самым мощным приложением, предоставляемым C++. Кастинг обычно должен выполняться только в той степени, в которой это действительно необходимо. Во многих случаях достаточно const_cast, static_cast, или dynamic_cast (есть также довольно мощный reinterpret_cast).

Поведение C-стиля заключается в применении наименее мощного приведения, которое требуется для успешной компиляции.