使用声明和 function 默认 arguments

Question

根据 C++ 17 标准（10.3.3 使用声明）

1 using-declaration98 中的每个 using-declarator 都将一组声明引入到 using-declaration 出现的声明性区域中。

和

10 using-declaration 是一种声明，因此可以在允许（且仅在）允许多个声明的情况下重复使用。

和（C++ 17 标准，11.3.6 默认参数）

9. ...当通过使用声明 (10.3.3) 引入 function 的声明时，与声明相关的任何默认参数信息也会被告知。 If the function is redeclared thereafter in the namespace with additional default arguments, the additional arguments are also known at any point following the redeclaration where the using-declaration is in scope.

所以这个程序

#include <iostream>

void f( int x, int y = 20 )
{
    std::cout << "x = " << x << ", y = " << y << '\n';
}

int main() 
{
    using ::f;
    void f( int, int );
    
    f( 10 );
    
    return 0;
}

正如预期的那样编译和输出

x = 10, y = 20

实际上它类似于程序

#include <iostream>

void f( int x, int y )
{
    std::cout << "x = " << x << ", y = " << y << '\n';
}

int main() 
{
    void f( int, int = 20 );
    void f( int, int );
    
    f( 10 );
    
    return 0;
}

现在，以下程序也是有效的，这在逻辑上是一致的。

#include <iostream>

void f( int x, int y = 20 )
{
    std::cout << "x = " << x << ", y = " << y << '\n';
}

int main() 
{
    using ::f;
    
    void f( int, int );

    f( 10 );
    
    void f( int = 10, int );
    
    f();
    
    return 0;
}

但是，该程序无法编译。

另一方面，考虑以下程序。

#include <iostream>

namespace N
{
    int a = 10;
    int b = 20;
    
    void f( int, int = b );
}

int a = 30;
int b = 40;

void N::f( int x = a, int y )
{
    std::cout << "x = " << x << ", y = " << y << '\n';
}

int main() 
{
    using N::f;
    
    f();
    
    return 0;
}

编译成功，其 output 为

x = 10, y = 20

那么，同样的原则是否可以应用于 using 声明引入的函数？

不允许这样添加默认 arguments 的原因是什么？

Answer 1

您只能在与原始声明相同的 scope 中声明新的默认 arguments。 using不会改变这一点。

对于非模板函数，可以在同一 scope 中的 function 的后续声明中添加默认 arguments。

dcl.fct.default/4

Answer 2

我相信

与声明相关的任何默认参数信息也会被告知

并不意味着arguments实际上被导入到scope中，只是知道它们确实存在并且可以使用。

这意味着void f( int = 10, int ); 没有添加到void f( int x, int y = 20 ) ，而是尝试添加到void f( int, int ); 这将是非法的，因为使用声明所在的 scope 中的第二个参数没有默认参数。