Program sedang dikompilasi secara berbeda dalam 3 kompiler C ++ utama. Yang mana yang benar?

Sebagai tindak lanjut yang menarik (meskipun tidak terlalu penting secara praktis) untuk pertanyaan saya sebelumnya: Mengapa C ++ memungkinkan kita untuk mengapit nama variabel dalam tanda kurung saat mendeklarasikan variabel?

Saya menemukan bahwa menggabungkan deklarasi dalam tanda kurung dengan fitur nama kelas yang disuntikkan dapat menyebabkan hasil yang mengejutkan terkait perilaku kompilator.

Lihat program berikut:

#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. Mengompilasi dengan g ++ 4.9.2 memberi saya kesalahan kompilasi berikut:

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

2. Ini berhasil dikompilasi dengan MSVC2013 / 2015 dan mencetak C (B *)

3. Ini berhasil dikompilasi dengan clang 3.5 dan cetakan C

Jadi pertanyaan wajibnya adalah mana yang benar? :)

(Saya sangat bergoyang ke arah versi clang dan cara pnidui untuk berhenti mendeklarasikan variabel setelah hanya mengubah tipe dengan secara teknis typedef-nya tampak agak aneh)

GCC benar, setidaknya sesuai dengan aturan pencarian C ++ 11. 3.4.3.1 [class.qual] / 2 menetapkan bahwa, jika penentu nama yang disarangkan sama dengan nama kelas, ini merujuk ke konstruktor bukan nama kelas yang dimasukkan. Ini memberi contoh:

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

Sepertinya MSVC salah menafsirkannya sebagai ekspresi cor gaya-fungsi yang membuat sementara Cdengan ysebagai parameter konstruktor; dan Clang salah mengartikannya sebagai deklarasi variabel yang disebut ytipe C.

G ++ benar karena memberikan kesalahan. Karena konstruktor tidak dapat dipanggil secara langsung dalam format seperti itu tanpa newoperator. Dan meskipun kode Anda memanggil C::C, ini terlihat seperti panggilan konstruktor. Namun, menurut C ++ 11 standar 3.4.3.1, ini bukan panggilan fungsi legal, atau nama tipe ( lihat jawaban Mike Seymour ).

Dentang salah karena tidak memanggil fungsi yang benar.

MSVC adalah sesuatu yang masuk akal, tetapi tetap saja tidak mengikuti standar.