使用以前的函数参数声明新的函数参数是否合法？

Question

以下代码可以使用 GCC 干净地编译：

void func(int arg1, decltype(arg1) arg2)
{
    (void)arg2;
}
int main(){}

我用这个命令编译：

g++ -std=c++14 test.cpp -o test -pedantic-errors -Wall -Wextra

但是在函数声明中间使用参数似乎很奇怪。它实际上在标准 C++ 中有效，还是 GCC 扩展？

Answer 1

这很好。 ISO C++11 Standard 甚至以您的情况为例。

首先参数在范围内：

3.3.3 块范围[ basic.scope.local ]

2 函数参数名称的潜在范围（包括出现在 lambda 声明符中的名称）或 函数定义 (8.4) 中的函数局部预定义变量从其声明点开始。

一个例子可以在这里找到：

8.3.5 函数 [ dcl.fct ]

5 [ 注意：此转换不影响参数的类型。例如，int(*)(const int p, decltype(p)*) 和 int(*)(int, const int*) 是相同的类型。 ——尾注]

Answer 2

是的，这是合法的。这基本上只是范围的问题。来自 [basic.scope.block]：

函数参数名称（包括出现在 lambda-declarator 中的）或函数定义 (8.4) 中的函数局部预定义变量的潜在范围从其声明点开始。

arg1 的范围从这里开始：

void func(int arg1, decltype(arg1) arg2)
------------------^

因此arg1 在arg2 的声明范围内。我认为这就足够了。

禁止默认 arg2 到 arg1 的规则是独立的——对我来说，这表明 arg1 在范围内，必须明确禁止。

Answer 3

如果我们查看 N3979 [dcl.fct.default] 我们有

每次调用函数时都会评估默认参数。未指定函数参数的评估顺序。因此，函数的参数不应在默认参数中使用，即使它们没有被评估。 在默认参数之前声明的函数的参数在范围内，可以隐藏命名空间和类成员名称。 [ 例子：

int a;
int f(int a, int b = a);              // error: parameter a
                                      // used as default argument
typedef int I;
int g(float I, int b = I(2));         // error: parameter I found
int h(int a, int b = sizeof(a));      // error, parameter a used
                                      // in default argument

[...]

^强调我的

因此，在示例中，当我们到达 b 时，a 是已知的，它在调用范围内隐藏了 a。这使我相信每个函数参数在每个后续参数之前都是已知的。这意味着您应该能够使用它的类型。您不能使用它的值 - 因为未指定值的评估顺序 - 但应按从左到右的顺序介绍名称。