多型とデフォルト値は共存できますか？

Question

私はいくつかの継承された派生クラスを持つ基本クラスを持っています。このような何か：

class A { 
public: 
    virtual void f(string foo = "bar") { 
     cout << foo << endl; 
    } 
}; 

class B: public A { 
public: 
    void f(string foo = "howdy") { 
     cout << foo << endl; 
    } 
}; 

class C: public A { 
public: 
    void f(string foo = "something") { 
     cout << foo << endl; 
    } 
}; 

私は簡潔にするためだけの2つのクラスを継承しました。
これがメインです：

A* aArray[] = { 
    new B, 
    new C, 
}; 

int main() { 
    aArray[0]->f(); 
    aArray[0]->f(); 

    return 0; 
} 

私はプログラムを実行すると、私は戻って取得出力は次のようになります。

bar 
bar 

ただ、コンパイラは、オーバーライド機能のデフォルト引数を無視する方法があればのように。
これは正常なのでしょうか、間違っていることや欠けていることがありますか？

Answer 1

デフォルト値は静的にバインドされています。言い換えれば、それらは多態的な行動を持たない。そのため、派生クラスの仮想関数のデフォルト値ではなく、

bar 
bar 

の代わりに、効果的なC +による

：

デフォルトのパラメータ値を動的にバインドされた場合、コンパイラが遅くなり、実行時に仮想関数のパラメータに適切なデフォルト値を決定する方法、を考え出す必要がありますコンパイル中にそれらを決定する現在のメカニズムより複雑です。