程序在 3 个主要 C++ 编译器中以不同方式编译。哪一个是对的？

Question

作为我上一个问题的一个有趣的后续行动（尽管实际上并不重要）： Why does C++ allow us to surround the variable name in parentheses when declaring a variable?

我发现将括号中的声明与injected class name 功能结合起来可能会导致关于编译器行为的令人惊讶的结果。

看看下面的程序：

#include <iostream>
struct B
{
};

struct C
{
  C (){ std::cout << "C" << '\n'; }
  C (B *) { std::cout << "C (B *)" << '\n';}
};

B *y = nullptr;
int main()
{
  C::C (y);
}

1. 使用 g++ 4.9.2 编译会出现以下编译错误：

   main.cpp:16:10: error: cannot call constructor 'C::C' directly [-fpermissive]
   

2. 用MSVC2013/2015编译成功，打印C (B *)

3. 用clang 3.5编译成功，打印C

那么强制性的问题是哪一个是正确的？ :)

（虽然我强烈倾向于使用 clang 版本，而 msvc 在更改类型后停止声明变量的方式从技术上讲它的 typedef 似乎有点奇怪）

Answer 1

GCC 是正确的，至少根据 C++11 查找规则。 3.4.3.1 [class.qual]/2 指定，如果嵌套名称说明符与类名相同，则它指的是构造函数而不是注入的类名。它给出了例子：

B::A ba;           // object of type A
A::A a;            // error, A::A is not a type name
struct A::A a2;    // object of type A

看起来 MSVC 将其误解为函数式强制转换表达式，创建了一个临时的 C，y 作为构造函数参数；并且 Clang 将其误解为一个名为 y 的变量的声明，类型为 C。

Answer 2

G++ 是正确的，因为它给出了错误。因为没有new操作符就无法直接以这种格式调用构造函数。尽管您的代码调用了C::C，但它看起来像是一个构造函数调用。但是，根据 C++11 标准 3.4.3.1，这不是合法的函数调用，也不是类型名称 (see Mike Seymour's answer)。

Clang 是错误的，因为它甚至没有调用正确的函数。

MSVC 是合理的，但仍然不符合标准。