Program 3 büyük C ++ derleyicisinde farklı şekilde derleniyor. Hangisi doğrudur?

Önceki sorumun ilginç bir devamı olarak (yine de büyük bir pratik öneme sahip değil): C ++ neden bir değişken bildirirken değişken adını parantez içine almamıza izin veriyor?

Parantez içindeki bildirimi enjekte edilen sınıf adı özelliği ile birleştirmenin derleyici davranışıyla ilgili şaşırtıcı sonuçlara yol açabileceğini öğrendim .

Aşağıdaki programa bir göz atın:

#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 ile derlemek bana şu derleme hatasını veriyor:

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

2. MSVC2013 / 2015 ile başarıyla derlenir ve baskı yapar C (B *)

3. Clang 3.5 ve baskılar ile başarılı bir şekilde derlenir C

Öyleyse zorunlu soru hangisi doğru? :)

(Yine de clang sürümüne şiddetle eğildim ve teknik olarak türü değiştirdikten sonra değişkeni bildirmeyi durdurmanın msvc yolu, typedef biraz garip görünüyor)

GCC, en azından C ++ 11 arama kurallarına göre doğrudur. 3.4.3.1 [class.qual] / 2, eğer yuvalanmış isim belirticisi sınıf adıyla aynıysa, enjekte edilen sınıf adına değil kurucuya atıfta bulunacağını belirtir. Örnekler verir:

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

Görünüşe göre MSVC, bunu bir yapıcı parametresi olarak geçici bir Cile işlev tarzı atama ifadesi olarak yanlış yorumluyor y; ve Clang bunu ytür adı verilen bir değişkenin bildirimi olarak yanlış yorumlar C.

G ++ hata verdiği için doğrudur. Çünkü kurucu, newoperatör olmadan böyle bir formatta doğrudan çağrılamaz. Ve kodunuz çağırsa da C::C, bir kurucu çağrısına benziyor. Bununla birlikte, C ++ 11 standardı 3.4.3.1'e göre, bu yasal bir işlev çağrısı veya bir tür adı değildir ( Mike Seymour'un cevabına bakın ).

Clang yanlıştır çünkü doğru işlevi çağırmaz.

MSVC makul bir şey, ancak yine de standardı takip etmiyor.