当出现模糊的默认参数时，C ++编译器会做什么？

Question

当出现模糊的默认参数时，C ++编译器会做什么？ 例如，假设有一个函数，例如：

void function(int a = 0, float b = 3.1);
void function(int a, float b =1.1, int c = 0);

以上是否被认为含糊不清？ 如果没有，那么在调用类似function1(10)东西时，编译器会做什么（函数如何完全匹配function1(10) ？

谢谢！

Answer 1

以下是好的

void function(int a = 0, float b = 3.1);
void function(int a, float b =1.1, int c = 0);

以下也很好

function(); // calls first function

但以下是模棱两可的

function(1); // second and first match equally well

对于重载解析（告诉要调用哪个函数的进程），将忽略未传递显式参数且使用默认参数的参数。 所以编译器确实看到两个函数都有一个int参数用于上面的调用而无法决定。

以下是不正确的

void function(int a = 0, float b = 3.1);
void function(int a, float b =1.1);

对于您的问题中的代码，您声明了两个函数（因为两个声明具有不同数量的参数），在此示例中，您只声明一个函数。 但是它的第二个声明重复了一个参数的默认参数（甚至使用不同的值，但这不再重要）。 这是不允许的。 请注意，以下情况很好

void function(int a, float b = 3.1);
void function(int a = 0, float b);

出现在同一函数的同一作用域中的声明的默认参数集合将合并，并且仅针对出现在同一作用域中的声明。 所以以下是有效的

void function(int a = 0, float b = 3.1);
void function1() {
  void function(int a, float b = 1.1); 
  function(0);
}

这将调用函数1.1传递给b 。

Answer 2

如果它们具有不同的名称（如您的示例中所示），则不存在歧义。 如果它们具有相同的名称（因此尝试重载），编译器会抱怨。

虽然事实证明你可以在不同的范围内重新定义函数的默认参数（这对我来说是新闻......） - 但是在相同的范围内，你甚至不能将默认参数重新定义为相同的值 。 来自8.3.6 / 4“默认参数”：

对于非模板函数，可以在稍后的同一范围内的函数声明中添加默认参数。 不同范围内的声明具有完全不同的默认参数集。 也就是说，内部作用域中的声明不从外部作用域中的声明中获取默认参数，反之亦然。 在给定的函数声明中，带有默认参数的参数后面的所有参数都应具有此声明或先前声明中提供的默认参数。 默认参数不应由后来的声明（甚至不是相同的值）重新定义。

Answer 3

暧昧？ 您有两个完全独立的不同功能： function1和function2 。 甚至每个功能中的参数数量也不同。 这里没有任何含糊之处。 当你要求编译器调用function1(10)它调用function1(10, 3.1) 。 function2甚至没有进入图片。

如果它是相同的函数，则不会出现歧义问题，因为在C ++中为同一参数多次指定默认参数（在同一个翻译单元中）是非法的。 即使你第二次指定相同的默认参数值，程序也是不正确的

void foo(int a = 5);
void foo(int a = 5); // <- ERROR

但是，可以做的是在不同的翻译单元中为同一个函数指定一组不同的默认参数。 但这并不会造成任何歧义，因为编译器只能看到一个翻译单元。 编译器根本不会知道任何潜在的“模糊性”就是这种情况。

Answer 4

此外，任何以“C ++编译器做什么......”开头的问题的答案总是如此，“取决于你所谈论的编译器。”