Polimorfizm ve varsayılan değerler: birlikte olabilir mi?

Question

Bir dizi kalıtsal türetilmiş sınıf ile temel bir sınıfım var. Böyle bir şey:

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; 
    } 
}; 

ben kısalık için sadece iki sınıf miras.
Bu ana geçerli:

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

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

    return 0; 
} 

Ben programı, geri is olsun çıkışını çalıştırdığınızda:

bar 
bar 

Tıpkı nasıl derleyici geçersiz kılınan fonksiyonların varsayılan argümanlar görmezden gelirse.
Bu normal midir, yoksa yanlış yaptığım veya eksik olduğum bir şey var mı?

Answer 1

Varsayılan değerler statik olarak bağlanmış. Başka bir deyişle, polimorfik davranışları yoktur. Bu nedenle türetilen sınıfların sanal işlevlerindeki varsayılan değerler yerine

'u gördünüz. Etkili C + göre

:

varsayılan parametre değerleri dinamik olarak bağlanmış olsaydı, derleyiciler yavaş olacağını zamanında sanal fonksiyonlarının parametreleri için uygun varsayılan değerlerini belirlemek için bir yol, ile gelip olurdu ve derleme sırasında mevcut belirleme mekanizmasından daha karmaşıktır.