Аргумент по умолчанию в середине списка параметров?

Question

Я видел объявление функции в нашем коде, которое выглядело следующим образом

void error(char const *msg, bool showKind = true, bool exit);

Сначала я подумал, что это ошибка, потому что вы не можете иметь аргументы по умолчанию в середине функций, но компилятор принял это объявление. Кто-нибудь видел это раньше? Я использую GCC4.5. Это расширение GCC?

Странная вещь, если я возьму это в отдельный файл и попытаюсь скомпилировать, GCC отклонит это. Я дважды проверил все, включая используемые параметры компилятора.

Answer 1

Этот код будет работать, если в самом первом объявлении функции последний параметр имеет значение по умолчанию, что-то вроде этого:

//declaration
void error(char const *msg, bool showKind, bool exit = false);

И затем в той же области вы можете предоставить значения по умолчанию для других аргументов (с правой стороны), в более позднем объявлении, как:

void error(char const *msg, bool showKind = true, bool exit); //okay

//void error(char const *msg = 0 , bool showKind, bool exit); // error

который может называться:

error("some error messsage");
error("some error messsage", false);
error("some error messsage", false, true);

Демо онлайн: http://ideone.com/aFpUn

Обратите внимание, что если вы укажете значение по умолчанию для первого параметра (слева) без указания значения по умолчанию для второго, оно не скомпилируется (как и ожидалось): http://ideone.com/5hj46

---

§ 8.3.6 / 4 говорит,

Для не шаблонных функций аргументы по умолчанию могут быть добавлены в более поздние объявления функции в той же области видимости.

Пример из самого стандарта:

void f(int, int);
void f(int, int = 7);

Второе объявление добавляет значение по умолчанию!

Также см. §8.3.6/6.

Answer 2

Ответ может быть в 8.3.6:

8.3.6. Аргументы по умолчанию

6 За исключением функций-членов шаблонов классов, аргументы по умолчанию в определении функции-члена, которые появляются за пределами определения класса, добавляются к набору аргументов по умолчанию, предоставляемых объявлением функции-члена в определении класса. Аргументы по умолчанию для функции-члена шаблона класса должны быть указаны в первоначальном объявлении функции-члена в шаблоне класса.

Пример:

class C {
void f(int i = 3);
void g(int i, int j = 99);
};
void C::f(int i = 3) // error: default argument already
{ } // specified in class scope
void C::g(int i = 88, int j) // in this translation unit,
{ } // C::g can be called with no argument

Прочитав это, я обнаружил, что MSVC10 принял следующее с отключенными расширениями компилятора:

void error(char const* msg, bool showKind, bool exit = false);

void error(char const* msg, bool showKind = false, bool exit)
{
    msg;
    showKind;
    exit;
}

int main()
{
    error("hello");
}