C++ il polimorfismo e di default argomento

Question

ho queste classi:

class Base 
{ 
    public: 
     virtual void foo(int x = 0) 
     { 
      printf("X = %d", x); 
     } 
}; 

class Derived : public Base 
{ 
    public: 
     virtual void foo(int x = 1) 
     { 
      printf("X = %d", x); 
     } 
};

Quando ho:

Base* bar = new Derived(); 
bar->foo();

La mia uscita è "X = 0", anche se foo è chiamata dal derivato, ma quando Ho:

Derived* bar = new Derived(); 
bar->foo();

La mia uscita è "X = 1". Questo comportamento è corretto? (Per selezionare il valore del parametro predefinito dal tipo di dichiarazione, anziché selezionarlo dal tipo di oggetto effettivo). Questo rompe il polimorfismo del C++?

Può causare molti problemi se qualcuno utilizza le funzioni virtuali senza specificare il parametro della funzione effettiva e utilizza il parametro predefinito della funzione.

Answer 1

Gli argomenti predefiniti vengono mantenuti anche se si esegue l'override di una funzione! E questo comportamento è corretto. Fammi cercare il riferimento dallo standard C++.

§8.3.6/10 [argomenti di default] dal ++ standard C dice,

Una funzione virtuale chiamata (10,3) utilizza gli argomenti di default nel dichiarazione della funzione virtuale determinato dalla il tipo statico del puntatore o riferimento che indica l'oggetto . Una funzione di override in una classe derivata non acquisisce gli argomenti di default dalla funzione sostituisce.

L'esempio dalla norma stessa

struct A { 
    virtual void f(int a = 7); 
}; 
struct B : public A { 
    void f(int a); 
}; 
void m() 
{ 
    B* pb = new B; 
    A* pa = pb; 
    pa->f(); //OK, calls pa->B::f(7) 
    pb->f(); //error: wrong number of arguments for B::f() 
} 

Inoltre, non solo è conservato, viene valutato ogni volta che la funzione viene chiamata:

§8.3.6/9 dice,

Gli argomenti predefiniti vengono valutati ogni ora la funzione è chiamata

Answer 2

Il comportamento è corretto. Controlla la risposta a questa domanda per una spiegazione:

Can virtual functions have default parameters?

Morale: trattare i valori dei parametri di default come parte della firma della funzione e non modificano li quando l'override funzioni virtuali!

Answer 3

Questo è ciò che C++ ha progettato, penso.

Il polimorfismo è terminato dalla tabella virtuale, che gioca internamente con il puntatore alle funzioni, ma il valore predefinito del parametro non è memorizzato con il puntatore della funzione, è vincolato nella fase di compilazione, quindi può solo ottenere il valore predefinito prima guardando il suo tipo, nel primo caso, è Base, quindi usa 0 come valore predefinito.