C++ 编译器错误 C2751 - 究竟是什么原因造成的？答案

【问题标题】：C++ Compiler Error C2751 - What exactly causes it?C++ 编译器错误 C2751 - 究竟是什么原因造成的？
【发布时间】：2017-05-18 10:28:20
【问题描述】：

我正在与C2751 编译器错误作斗争，但不太明白究竟是什么原因造成的。以下小代码会产生错误：

#include <iostream>  

class A {
public:
    A () { std::cout << "A constructed" << std::endl; };
    static A giveA () { return A (); }
};

class  B {
public:
    B (const A& a) { std::cout << "B constructed" << std::endl; }
};


int main () {

    B b1 = B (A::giveA ()); // works
    B b2 (B (A::giveA ())); // C2751
    B b3 (A::giveA ()); // works

}

编译器输出：

consoleapplication1.cpp(21): error C2751: 'A::giveA': the name of a function parameter cannot be qualified

为什么我不能为b2 显式调用构造函数？

【问题讨论】：

你使用什么编译器？因为 gcc 5.4 使用代码构建没有任何问题。
@knst 他正在使用 MSVC（参见 C2751 链接）
@knst 它也不能用clang 编译。
从消息中，VC++ 认为你在声明一个函数；这是通常令人烦恼的解析问题的一些变体。随意添加括号，它应该会消失。
这种问题，当你发现原因时，会让你脸色难看

标签： c++ visual-c++ constructor function-parameter

【解决方案1】：

这是most vexing parse 的问题。在 clang 下编译给出了完整的诊断：

<source>:18:17: error: parameter declarator cannot be qualified
    B b2 (B (A::giveA ())); // C2751
             ~~~^

<source>:18:10: warning: parentheses were disambiguated as a function declaration [-Wvexing-parse]
    B b2 (B (A::giveA ())); // C2751
         ^~~~~~~~~~~~~~~~~

<source>:18:11: note: add a pair of parentheses to declare a variable
    B b2 (B (A::giveA ())); // C2751
          ^
          (              )
1 warning and 1 error generated.
Compiler exited with result code 1

按照编译器的建议进行修复：

B b2 ((B (A::giveA ()))); // no error

【讨论】：

谢谢，clang 的输出真的很有帮助。请问为什么“允许”在函数中声明函数？我真的想不出我想要这样做的情况。
想象一下你会怎么写：“b2 是一个函数，它接受一个返回 B 的函数，并接受一个返回 A::giveA 的函数，同时不接受任何参数”

【解决方案2】：

B b2 (B (A::giveA ()));

即使您有B 类的复制构造函数，您仍然会收到此错误，因为上面的行符合函数声明的语法规则。在B(A::give()) 周围加上括号可以解决您的问题。

【讨论】：

【解决方案3】：

啊，most vexing parse 的老问题。

这一行

B b2 (B (A::giveA ())); // C2751

被解释为一个函数b2 返回B 并采用一个名为A::giveA 的函数类型为B() 的参数。 C2751错误是由无效名称A::giveA引起的：不能使用限定名称作为参数名称。

要将临时 B 对象复制到 b2（我相信这是您的意图），您可以添加更多括号

B b2 (( B (A::giveA ()) ));

或使用大括号（只要没有构造函数接受包含可转换为 B 类型的类型的初始化列表）

B b2 {B (A::giveA())};

【讨论】：

【解决方案4】：

那个特定的指令是模棱两可的；你说的方式可能是函数声明或变量定义。

使用额外的括号应该会有所帮助 - 因为您不能声明/调用带有双括号的函数，所以它会变得明确：

B b1 = B( A::giveA () ); // works
B b2(( B( A::giveA() ) )); // works for me
B b3( A::giveA() ); // works

另见此处：https://en.wikipedia.org/wiki/Most_vexing_parse

【讨论】：

“没有 c-tor/方法 B( B b )，编译器认为你在调用它。”编译器知道您不能声明这样的构造函数。它不会认为你在调用它（除非它有一些错误）。