默认参数位于参数列表中间？

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

Online Demo : 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 类的成员函数除外
模板，默认参数
成员函数定义
出现在课堂之外
定义被添加到集合中
提供的默认参数
中的成员函数声明
类定义。默认参数
对于类的成员函数
模板应在
会员的初始声明
类模板中的函数。

示例：

<前><代码>C类{
无效 f(int i = 3);
无效 g(int i, int j = 99);
};
void C::f(int i = 3) // 错误：默认参数已经存在
{ } // 在类范围内指定
void C::g(int i = 88, int j) // 在这个翻译单元中，
{ } // C::g 可以不带参数调用

读完本文后，我发现 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");
}