Вопрос по операции const_cast

[prc]

#include<iostream>
using namespace std;
class Low
{
private:
     int hold;
public:
    Low(const int h = 0) : hold(h) {}
    virtual void show() const {cout << "hold " << hold << endl;}    
};
class High : public Low
{
private:
    double boom;
public:
    explicit High(double db = 0, int h = 0) : boom(db), Low(h) {}
    virtual void show() const { Low::show(); cout << "boom " << boom << endl; }    
};
int main()
{    
    const int b = 2;
    const int & x = b;
    int c = const_cast<int &>(x);
    c = 3;
    cout << c << ' ' << x << ' ' << b << endl; // с = 3; x и b = 2;    
    const High bar(77.7, 7);
    bar.show();    
    High *dar;
    dar = const_cast<High*>(&bar);
    *dar = High(999.9, 222);        
    dar->show();    
    bar.show();    
    return 0;
}

Переменная b объявлена с идентификатором const, поэтому операция const_cast не может изменить ее значение. Объект bar так же объявлен с идентификатором const, однако операция const_cast меняет его значение. Вопрос, почему? По аналогии, тоже не должна.

[_Bers]

1. const_cast не изменяет значения объектов

2. Если снимать const с переменной, которая изначально была const, то дальнейшее её использование приведёт к undefined behaviour (c)Алена cpp
http://alenacpp.blogspot.com/2005/08/c.html

[prc]

Спасибо, _Bers.