Cố gắng hiểu [class.qual]/2 trong tiêu chuẩn C++

Question

Theo câu trả lời tôi nhận được here, mã bên dưới không đúng định dạng, mặc dù thực tế là clang và vs2015 chấp nhận.

#include <iostream> 
class A { 
public: 
    A() { std::cout << "A()" << '\n'; } 
}; 

int main() 
{ 
    A::A(); 
} 

Tuy nhiên, mã bên dưới dường như hoạt động trong cả 3 trình biên dịch (xem live example). AFAICT, theo [class.qual/2] mã bị lỗi. Hay tôi đang thiếu thứ gì đó ở đây?

#include <iostream> 
struct B { B() { std::cout << "B()" << '\n'; } }; 
struct A : public B { }; 
int main() 
{ 
    A::B(); 
} 

Ngoài ra, theo [class.qual]/2, mã dưới đây cũng như hình thành và trong trường hợp này, tất cả 3 trình biên dịch tạo ra kết quả mong muốn (xem ví dụ here).

include <iostream> 
struct B { B() { std::cout << "B()" << '\n'; } }; 
struct A : public B { using B::B; A() { std::cout << "A()" << '\n'; } void f() { B(); } }; 
int main() 
{ 
    A a; 
    a.f(); 
} 

Output:

B() 
A() 
B() 

Nhưng tôi muốn biết tính hữu ích của một sử dụng-khai đặt tên một constructor là gì, như là một (using B::B;) trong lớp A trên. Lưu ý rằng việc sử dụng khai báo này hoàn toàn không liên quan trong trường hợp này, bất kể B là lớp cơ sở của A hay không.

Answer 1

Tôi nghĩ rằng mẫu thứ hai của bạn được tạo đúng. Quy tắc trong [class.qual]/2 nói rằng tên đề cập đến hàm tạo nếu tên được chỉ định sau tên-lồng nhau-specifier khi tra cứu trong C là tên được phân loại là C. Trong trường hợp của A::B, tên được chỉ định sau tên được chỉ định lồng nhau là tên lớp được tiêm của B (hiển thị do thừa kế), không phải là A. Trong trường hợp này, A::B không rõ ràng tên một loại, A::B() tạo một phiên bản tạm thời B.

Sử dụng-khai báo tên nhà xây dựng có thể hữu ích để thúc đẩy nhà xây dựng cơ sở hạng mà một vài tham số:

struct B { B(int a) { std::cout << "B " << a << '\n'; } }; 
struct A : public B { using B::B; }; 
int main() 
{ 
    A a{1}; //would not be valid without the using-declaration 
}