¿por qué los argumentos predeterminados son los finales?

Question

¿por qué los argumentos predeterminados en C++ son los finales?

Answer 1

si tuviera void func(int a = 0, int b);, ¿cómo especificaría utilizar el parámetro predeterminado para llamar a esta función?

Answer 2

Porque en una llamada de función tiene que llamar a los argumentos no predeterminados en cualquier caso. Si coloca su argumento predeterminado al principio de la lista de argumentos, ¿cómo se supone que debe decir que está configurando el argumento predeterminado o los otros?

Answer 3

Solo para complementar la respuesta de @ tenfour. Preguntas frecuentes sobre C++ Lite tiene un tema que describe named parameters y creo que el tema aborda su problema hasta cierto punto.

Answer 4

Porque así es como se ha diseñado el lenguaje.

Una pregunta más interesante sería: ¿cuáles son las alternativas?

Suponga que tiene void f(A a = MyA, B b);

• marcador de posición/argumento en blanco: f(_, abee) o f(, abee)
• argumentos con nombre (como en Python): f(b = abee)

pero esas son sutilezas y ciertamente no es necesario, porque a diferencia de Python, C++ admite la sobrecarga de funciones:

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

y por lo tanto los argumentos por defecto son innecesarias ... sobre todo teniendo en cuenta que hay problemas cuando se utiliza con OO-código, porque los argumentos por defecto se resuelven de forma estática (en tiempo de compilación)

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: de parámetros con nombre ->

El la característica se puede emular usando objetos de función.

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

En caso de que no desea copiar los argumentos, usted tiene la posibilidad de utilizar referencias/punteros aunque puede complicarse.

Es un modismo práctico cuando tiene un montón de valores predeterminados sin un orden de prioridad real.