Perché il qualificatore const non lavora sui membri del puntatore su oggetti const?

Question

So che questo è stato chiesto molto, ma le uniche risposte che ho potuto trovare sono state quando la costante è stata effettivamente lanciata usando (int*) o simile. Perché il qualificatore const non lavora su variabili membri del tipo puntatore su oggetti const quando non è coinvolto alcun cast?

#include <iostream>

class bar {
public:
    void doit()       { std::cout << "    bar::doit() non-const\n"; }
    void doit() const { std::cout << "    bar::doit() const\n"; }
};

class foo {
    bar* mybar1;
    bar mybar2;
public:
    foo() : mybar1(new bar) {}
    void doit() const {
        std::cout << "foo::doit() const\n";
        std::cout << "  calling mybar1->doit()\n";
        mybar1->doit();  // This calls bar::doit() instead of bar::doit() const
        std::cout << "  calling mybar2.doit()\n";
        mybar2.doit(); // This calls bar::doit() const correctly
    }
    // ... (proper copying elided for brevity)
};

int main(void)
{
    const foo foobar;  // NOTE: foobar is const
    foobar.doit();
}

Il codice sopra produce il seguente output (testato in GCC 4.5.2 e VC100):

foo::doit() const
  calling mybar1->doit()
    bar::doit() non-const         <-- Why ?
  calling mybar2.doit()
    bar::doit() const