โปรแกรมที่คอมไพล์แตกต่างกันในคอมไพเลอร์ C ++ หลัก 3 ตัว คนไหนที่ใช่?

จากการติดตามผลที่น่าสนใจ (ไม่ใช่เรื่องสำคัญในทางปฏิบัติ) สำหรับคำถามก่อนหน้าของฉัน: เหตุใด C ++ จึงอนุญาตให้เราล้อมรอบชื่อตัวแปรในวงเล็บเมื่อประกาศตัวแปร

ฉันพบว่าการรวมการประกาศในวงเล็บกับคุณสมบัติชื่อคลาสที่ฉีดเข้าด้วยกันอาจนำไปสู่ผลลัพธ์ที่น่าประหลาดใจเกี่ยวกับพฤติกรรมของคอมไพเลอร์

ดูโปรแกรมต่อไปนี้:

#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

คำถามบังคับคือคำถามใดถูกต้อง? :)

(ฉันแกว่งไปทางเวอร์ชันเสียงดังอย่างมากแม้ว่าวิธี msvc จะหยุดการประกาศตัวแปรหลังจากเปลี่ยนประเภทด้วยเทคนิค typedef ดูเหมือนจะแปลก ๆ )

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เป็นคอนสตรัคเตอร์ และเสียงดังกราวแปลความหมายผิดว่ามันเป็นคำประกาศของตัวแปรที่เรียกว่าประเภทyC

G ++ ถูกต้องเนื่องจากมีข้อผิดพลาด เนื่องจากไม่สามารถเรียกตัวสร้างได้โดยตรงในรูปแบบดังกล่าวหากไม่มีnewตัวดำเนินการ และแม้ว่ารหัสของคุณจะเรียกC::Cแต่ดูเหมือนว่าเป็นการเรียกตัวสร้าง อย่างไรก็ตามตามมาตรฐาน C ++ 11 3.4.3.1 นี่ไม่ใช่การเรียกใช้ฟังก์ชันทางกฎหมายหรือชื่อประเภท ( ดูคำตอบของ Mike Seymour )

เสียงดังไม่ถูกต้องเนื่องจากไม่ได้เรียกใช้ฟังก์ชันที่ถูกต้อง

MSVC เป็นสิ่งที่สมเหตุสมผล แต่ก็ยังไม่เป็นไปตามมาตรฐาน