warum Standardargumente sind schleppende Argumente?

Question

Warum sind Standardargumente in C++ nachhängende?

Answer 1

Wenn Sie void func(int a = 0, int b); hatten, wie würden Sie angeben, den Standardparameter beim Aufrufen dieser Funktion zu verwenden?

Answer 2

Da in einem Funktionsaufruf in jedem Fall die Nicht-Standardargumente aufgerufen werden müssen. Wenn Sie Ihr Standardargument an den Anfang der Argumentliste setzen, wie sollen Sie sagen, dass Sie das Standardargument oder die anderen Argumente setzen?

Answer 3

Nur um @ tenfours Antwort zu ergänzen. C++ - FAQ Lite hat ein Thema, das named parameters beschreibt und ich denke, dass das Thema Ihr Problem zu einem gewissen Grad anspricht.

Answer 4

Weil so die Sprache entworfen wurde.

Eine interessantere Frage wäre: Was sind die Alternativen?

Angenommen, Sie void f(A a = MyA, B b);

• Platzhalter/leeres Argument haben: f(_, abee) oder f(, abee)
• benannten Argumente (wie in Python): f(b = abee)

Aber das sind Spitzfindigkeiten und schon gar nicht notwendig, denn Im Gegensatz zu Python unterstützt C++ das Überladen von Funktionen:

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

und damit die Standardargumente sind nicht erforderlich ... besonders wenn man bedenkt, dass es Probleme gibt, wenn sie mit OO-Code verwendet, da Standardargumente statisch aufgelöst (kompilieren Zeit)

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: auf benannte Parameter ->

Die Feature kann mit Funktionsobjekten emuliert werden.

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

Falls Sie nicht wollen, um die Argumente zu kopieren, haben Sie die Möglichkeit, Referenzen/Zeiger zu verwenden, obwohl es kompliziert werden kann.

Es ist ein handliches Idiom, wenn Sie eine Vielzahl von Standardeinstellungen ohne echte Reihenfolge der Priorität haben.