typedef와 동일한 범위에서 동일한 이름에 대한 선언 사용

Question

C++ 11 표준 (글쎄, n3242 초안)과 인터넷을 샅샅이 뒤졌지만 정확한 대답을 찾을 수 없었습니다. 아래의 코드는 Visual Studio 2010뿐 아니라 clang 3.2 및 g ++ 4.7.2에서도 제대로 컴파일되지만 대신 오류가 발생할 것으로 예상됩니다.

#include <iostream> 
#include <typeinfo> 


typedef int a_t; 


namespace a_ns 
{ 
class a_t {}; 
} 


using a_ns::a_t; 


int main() 
{ 
    a_t a; 
    std::cout << typeid(a).name() << std::endl; 
    return 0; 
} 

함께 내장 :

clang -std=c++11 -pedantic -Wall -o a a.cpp -lstdc++ 
g++ -std=c++11 -pedantic -Wall -o a a.cpp -lstdc++ 
cl -EHsc -GR a.cpp 

그 소리와 g ++ 가 int 타입을 나타냅니다 보인다 실행 인쇄 "I"를 생성하고 형식 정의가 이겼다. cl 생성 된 실행 파일 "class a_ns :: a_t"는 Visual Studio에서 선언을 더 많이 사용하는 것을 좋아하는 것으로 보입니다.

코드는 다음 표준 발췌문에 따라 컴파일되지 않을 것으로 예상됩니다. "이미 선언 범위 내에서 선언 충돌을 사용하는 대상"과 비슷한 오류가 발생할 것으로 예상됩니다.

7.1.3.6 Similarly, in a given scope, a class or enumeration shall not be declared with the same name as a typedef-name that is declared in that scope and refers to a type other than the class or enumeration itself.

7.3.3.1 A using-declaration introduces a name into the declarative region in which the using-declaration appears.

7.3.3.2 Every using-declaration is a declaration [...]

이 아마 뭔가 내가이 동작을 설명 표준에서 누락하고 (또는 내가 명백한을보고 너무 피곤하다),하지만 나는 그것을 찾을 수 없습니다.

감사합니다.

Answer 1

맞습니다. 표시 한 내용에 따르면 코드가 유효하지 않습니다. 또한 3.3.1p4도 있는데, 이는 무효화합니다 (7.3.3p13 참조).

실제 테스트에서는 ICC로 테스트 한 결과 예상대로 거부합니다.