Nhà điều hành giải pháp phạm vi

Question

Tôi vô tình tình cờ tìm thấy điều này trong một trong các mã nguồn mà tôi đã xem. Vì vậy, tôi đưa ra một ví dụ nhỏ hơn tương tự ở đây.

Trong tập tin test.h:

#include<iostream> 

class test{ 
    int i; 
public: 
    test(){} 
    //More functions here 
}; 

Trong tập tin test.cpp:

#include "test.h" 

int main() 
{ 
    test test1; 
    test::test test2; 
    test::test::test test3; 
    return 0; 
} 

Trước hết, là có một lý do để tuyên bố test2 như vậy? Thứ hai, mã này biên dịch tốt trong phiên bản g ++ 4.4.3 và các phiên bản thấp hơn. Có một cái gì đó trong tiêu chuẩn C + +, nói rằng, các nhà khai thác độ phân giải phạm vi được bỏ qua khi không có cần phải giải quyết phạm vi?

Answer 1

Mã này không hợp lệ.

Đó là lỗi trong g + + mà nó chấp nhận mã. Xem "g++ does not treat injected class name correctly." Lỗi đã được giải quyết như cố định trong năm 2009, do đó, nó sẽ được sửa trong bất kỳ phiên bản g ++ nào gần đây.

Answer 2

Để làm rõ tình hình, theo quy định tại §9/2:

A class-name is inserted into the scope in which it is declared immediately after the class-name is seen. The class-name is also inserted into the scope of the class itself; this is known as the injected-class-name. For purposes of access checking, the injected-class-name is treated as if it were a public member name.

Tuy nhiên, theo quy định tại §3.4.3.1/1:

If the nested-name-specifier of a qualified-id nominates a class, the name specified after the nested-namespecifier is looked up in the scope of the class (10.2), except for the cases listed below.

[ ... §3.4.3.1/2]:

In a lookup in which the constructor is an acceptable lookup result and the nested-name-specifier nominates a class C:

— if the name specified after the nested-name-specifier, when looked up in C, is the injected-class-name of C (Clause 9) [ ... ] the name is instead considered to name the constructor of class C.

[ ... example: ]

struct A { A(); }; 
[ ... ] 
A::A a; // error, A::A is not a type name 
struct A::A a2; // object of type A