构造函数被解释为函数调用，并且移动构造函数被奇怪地跳过了

Question

我有一个有 4 个构造函数的类和一个如下函数：

using namespace std;

class ABC {
public:
    ABC() {
        cout << "ABC()\n";
    }

    ABC(int) {
        cout << "ABC(int)\n";
    }

    ABC(ABC&) {
        cout << "ABC(&)\n";
    }

    ABC(ABC&&) {
        cout << "ABC(&&)\n";
    }
};


void ff(ABC t) { }

请帮我解释一些我觉得奇怪的行为（我使用 MSVC 2016 编译）：

1) 为什么我会收到警告 C4930: "'ABC a1(ABC (__cdecl *)(void))': 未调用原型函数（是否打算定义变量？）"，代码如下：

void main() {
    ABC a1(ABC());
    ff(ABC(5));
}

在执行时，我希望得到以下输出：

ABC()
ABC(&&)
ABC(int)
ABC(&&)

但我真正得到的是

ABC(int)

2) 现在如果我改为

void main() {
    ABC a1(ABC(5));
    ff(ABC(5));
}

不再有警告。但在执行时，我期望得到的是

ABC(int)
ABC(&&)
ABC(int)
ABC(&&)

但我真正得到的是

ABC(int)
ABC(int)

3) 现在

void main() {
    ABC( ABC() );
    ff(ABC(5));
}

它甚至无法编译。我收到错误 C2660：“'ABC'：函数不接受 1 个参数”。

4) 最后，为什么下面的代码可以编译，而 3) 不能？

void main() {
    ff(ABC(5));
}

Answer 1

由于被称为most vexing parse in C++ 的问题，该行

ABC a1(ABC());

声明a1 是一个函数，其返回类型为ABC，其参数类型是一个不带参数并返回ABC 的函数。

---

线

ABC(ABC());

很难剖析，但它也是函数的声明，而不是变量的定义。

int(a);

是变量a 的有效声明。同理：

int a;

同样，ABC 的行与：

ABC ABC();

这里ABC 有重载的意思。第一个ABC 是类型名称。第二个ABC 是函数名（由于最麻烦的解析）。它将ABC 声明为一个不带参数并返回ABC 类型的对象的函数。对于函数的其余部分，ABC 是函数名称，而不是类型名称。因此，

ff(ABC(5));

无效，因为在这种情况下ABC 是一个不带参数的函数。

---

对于为什么不调用移动构造函数的问题，我没有答案。