4

为什么以下代码格式正确：

void foo(int i, int j = 56);
void foo(int i = 42, int j);

int main(){  }

演示

但以下

void foo(int i = 42, int j);
void foo(int i, int j = 56);

int main(){  }

演示

格式不正确。我试图在 中查找，N4296::8.3.6 [dcl.fct.default]我发现以下示例：

class C 
{
    void f(int i = 3);
    void g(int i, int j = 99);
};
void C::f(int i = 3) { } //error
void C::g(int i = 88, int j) { // C::g can be called with no argument
}

但是clang似乎不是那样的。

struct A
{
    void foo(int i = 42, int j);
};

void A::foo(int i, int j = 56){ }; //error

int main(){  }

演示

那么，这是一个实施问题吗？从形式上讲，所有这些例子都应该是可以接受的，不是吗？

4

1 回答 1

1

[dcl.fct.default]

  1. [...]默认参数可以添加到相同范围内的函数的后续声明中。
void foo(int i, int j = 56);
void foo(int i = 42, int j);

这很好，因为第二个声明向第一个参数添加了一个默认参数，而以前没有这个参数。

[...]在给定的函数声明中，带有默认参数的参数后面的每个参数都应在此或先前的声明中提供默认参数[...]

第二个声明中的第二个参数已经有一个默认参数，试图提供另一个参数将是错误的。

void foo(int i = 42, int j); // error
void foo(int i, int j = 56);

这是一个错误，因为第一个声明为第一个参数提供了默认参数，但没有为第二个参数提供默认参数，并且与第一个示例不同，没有先前的声明。

struct A
{
    void foo(int i = 42, int j); // the error should be here
};

void A::foo(int i, int j = 56){ }; // not here

由于与上述完全相同的原因，这是不正确的，j初始声明中没有默认参数，示例中的下一行无关紧要。

于 2015-01-07T06:34:09.323 回答