Почему аргументы по умолчанию являются конечными?

Question

Почему аргументы по умолчанию в C++ являются конечными?

Answer 1

, если у вас было void func(int a = 0, int b);, как бы вы указали использовать параметр по умолчанию при вызове этой функции?

Answer 2

Потому что в вызове функции вы должны вызвать аргументы, отличные от значения по умолчанию, в любом случае. Если вы поместите свой аргумент по умолчанию в начало списка аргументов, как вы должны сказать, что вы устанавливаете аргумент по умолчанию или другие?

Answer 3

Просто, чтобы дополнить ответ @ tenfour. C++ FAQ В Lite есть тема, описывающая named parameters, и я думаю, что тема затрагивает вашу проблему в некоторой степени.

Answer 4

Потому что именно так разработан язык.

Более интересный вопрос: какие альтернативы?

Предположим, у вас есть void f(A a = MyA, B b);

• Placeholder/пустой аргумент: f(_, abee) или f(, abee)
• Именованные аргументы (например, в Python): f(b = abee)

Но те тонкости, и, конечно, не надо, потому что в отличие от Python C++ поддерживает перегрузку функции:

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

и, таким образом, аргументы по умолчанию не нужны ... особенно с учетом того, что существуют проблемы при использовании ОО-кода, потому что аргументы по умолчанию статически разрешены (во время компиляции)

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: по названным параметрам ->

функция может быть эмулирована с использованием функциональных объектов.

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

В случае, если вы не хотите копировать аргументы, у вас есть возможность использовать ссылки/указатели, хотя это может усложниться.

Это удобная идиома, когда у вас есть множество дефолтов без реального порядка приоритета.