perché gli argomenti predefiniti sono quelli finali?

Question

perché gli argomenti predefiniti in C++ sono quelli finali?

Answer 1

se avessi void func(int a = 0, int b);, come specificheresti di utilizzare il parametro predefinito nel chiamare questa funzione?

Answer 2

Perché in una chiamata di funzione è necessario chiamare gli argomenti non predefiniti in ogni caso. Se metti l'argomento predefinito all'inizio dell'elenco degli argomenti, come dovresti dire che stai impostando l'argomento predefinito o gli altri?

Answer 3

Solo per integrare la risposta di @ tenfour. Domande frequenti su C++ Lite ha un argomento che descrive named parameters e penso che l'argomento risolva in qualche modo il problema.

Answer 4

Perché è così che è stato progettato il linguaggio.

Una domanda più interessante sarebbe: quali sono le alternative?

Supponiamo di avere void f(A a = MyA, B b);

• Segnaposto/argomento vuoto: f(_, abee) o f(, abee)
• argomenti con nome (come in Python): f(b = abee)

Ma quelli sono sottigliezze e certamente non necessarie, a causa a differenza di Python C++ supporta l'overloading delle funzioni:

• void f(A a, B b);
• void f(B b) { f(MyA, b); }

e, quindi, gli argomenti di default sono inutili ... soprattutto se si considera che ci sono problemi quando viene utilizzato con OO-codice perché gli argomenti predefiniti sono risolti staticamente (compile-time)

struct Base 
{ 
    virtual void func(int g = 3); 
}; 

struct Derived 
{ 
    virtual void func(int g = 4); 
}; 

int main(int argc, char* argv[]) 
{ 
    Derived d; 
    d.func(); // Derived::func invoked with g == 4 

    Base& b = d; 
    b.func(); // Derived::func invoked with g == 3 (AH !!) 
} 

EDIT: su parametri denominati ->

Il la funzione può essere emulata usando gli oggetti funzione.

class Func 
{ 
public: 
    Func(B b): mA(MyA), mB(b) {} 

    A& a(A a) { mA = a; } 
    B& b(B b) { mB = b; } 

    void operator()() { func(mA, mB); } 
private: 
    A mA; 
    B mB; 
}; 

int main(int argc, char* argv[]) 
{ 
    A a; B b; 
    Func(b)(); 
    Func(b).a(a)(); 
} 

Nel caso in cui non si desidera copiare gli argomenti, si ha la possibilità di utilizzare i riferimenti/puntatori anche se può complicarsi.

È un pratico idioma quando si hanno un sacco di valori predefiniti senza un vero ordine di priorità.