c++ - 带默认参数的函数调用

Question

我写了一篇关于 C++ 编程的考试。有一个问题我和我的教授不同意。问题是，以下功能是否有效：

#include <iostream>
using namespace std;

void f(int=4, long=10, double=3.14);

int main( int argc , char ** argv )
{
    f( , ,8);
      return EXIT_SUCCESS;
}

void f(int i, long l, double d) {
    cout << i << " " << " " << l << " " << d;
}

我说这行不通，但我的教授说它肯定会起作用，因为函数声明中的默认参数。我用 MSVC 试过了，没用。那是编译器特定的吗？我怎样才能说服我的教授它在任何编译器中都不起作用，以便在考试中提高我的分数？

Answer 1

首先，你是对的，教授是错的。而且他声称这应该有效（当证明它无效时）这一事实意味着他可能不应该教 C++。但是怎么给他看呢？

只需尝试使用至少两个不同的编译器对其进行编译。如果两者都无法编译它，那么很有可能它不是有效代码。这是最快的方法。

如果失败，请引用 C++ 标准。这是调用表达式的语法，如 [expr.post]p1 中所述并遵循非终端引用：

postfix-expression:
    ...
    postfix-expression ( expression-list[opt] )

expression-list:
    initializer-list

initializer-list: ([dcl.init]p1)
    initializer-clause ...[opt]
    initializer-list , initializer-clause ...[opt]

initializer-clause:
    assignment-expression
    braced-init-list

braced-init-list:
    { initializer-list ,[opt] }
    { }

我不打算列出赋值表达式，但请注意，表达式不可能什么都不是，必须至少有一个标记。这意味着初始化子句永远不能什么都不是，因此函数参数中的逗号之间总是必须有一些东西。

Answer 2

来自标准（强调我的，特别注意单词trailing）：

8.3.6 默认参数 [dcl.fct.default]

1. 如果在参数声明中指定了初始化子句，则此初始化子句用作默认参数。默认参数将在缺少尾随参数的调用中使用。

2. [ 示例：声明

void point(int = 3, int = 4);

声明一个可以用零个、一个或两个 int 类型的参数调用的函数。可以通过以下任何方式调用它：

point(1,2); point(1); point();

最后两个调用分别相当于point(1,4)和point(3,4)。

—结束示例]

享受拿回你的积分。;)

Answer 3

正如msdn所说，这可能是因为它仅适用于省略的尾随参数。尝试像这样调用函数：

f(); // should use all default values for arguments
f(3); // should use 3 for the first, default for the last two 
f(2, 5); // uses 2 for first, 5 for second, default for last
f(5, 6, 3.4); // does not use any default values

Answer 4

这甚至不是有效的 C++语法。