함수 템플릿 내에서 선언 된 경우 로컬 클래스에 종속됩니까?

Question

현재 C++ 컴파일러 (최신 GCC, 그 소리는) 아래의 예에서 typename 키워드 필요합니다 typename는 GCC (4.9, 5.0)를 생략 오류보고있다

template<class T> 
struct A 
{ 
}; 

template<class T> 
void f(T) 
{ 
    struct C 
    { 
    }; 
    typedef typename A<C>::Type Type; // typename required 
} 

경우

need 'typename' before 'A<f(T)::C>::Type' because 'A<f(T)::C>' is a dependent scope

이 예를 그렇지 않으면 C++ 11 표준을 읽었을 때 잘 형성됩니다.

이 문제는 다음과 같은 표현에 의해 덮여있는 것 같다 : 그러나

[temp.dep.type]/8

A type is dependent if it is

• a template parameter,

• a member of an unknown specialization,

• a nested class or enumeration that is a member of the current instantiation,

• a cv-qualified type where the cv-unqualified type is dependent,

• a compound type constructed from any dependent type,

• an array type constructed from any dependent type or whose size is specified by a constant expression that is value-dependent,

• a simple-template-id in which either the template name is a template parameter or any of the template arguments is a dependent type or an expression that is type-dependent or value-dependent, or

• denoted by decltype(expression), where expression is type-dependent.

클래스가 C로컬 클래스보다는 중첩 클래스이다 class.local] 방법. 그렇다면 A<C>을 부양 가족으로 취급해야하는 이유는 무엇입니까?

EDIT 보너스 포인트

, 다음과 같은 예 C에 부재 ENUM을 추가하여 변경되는 경우 :

template<typename T> 
struct A 
{ 
    typedef T Type; 
}; 

template<class T> 
void f(T) 
{ 
    struct C 
    { 
     enum { value = T::value }; 
    }; 
    typedef typename A<C>::Type Type; // typename required 
} 

가 A<C> 지금 따라 취급되어야 하는가?

Answer 1

내 이해 (표준의 현재 표현)에 따르면, 예에서 C은 종속적이지 않습니다. A<C>::Type도 아니므로 typename이 필요하지 않습니다.

중첩 된 클래스 템플릿과 함수 템플릿의 로컬 클래스에는 근본적인 차이가 있습니다. 후자는 특수화 될 수 없으므로 함수 템플릿 내부의 로컬 클래스에 대한 참조는 동일합니다. 즉, f의 모든 전문화 과정에서 C은이 함수 템플릿 f에 정의 된 클래스 C을 말합니다. 그러나

template <typename T> 
class A { class C{}; }; 

template <> 
class A<int>::C { int i; }; 

:

A type is dependent if it is

• a compound type constructed from any dependent type,

즉 (/(1.6 [temp.expl.spec]에 덮여로) 당신은 참으로 명시 적으로 자신의 회원을 전문 수있는 클래스 템플릿의 경우) 아니다

따라서 정의가 dyp's example과 같이 수행 된 경우 C은 T에서 구성되므로 종속적입니다.
표준 문구에는 주석 섹션에서 논의중인 불명료 함이 있습니다 (예 : T에 의존하는 멤버 함수의 정의와 그 클래스 종속성으로의 전환 방법에 대해 설명합니다.

Answer 2

다음은 제 추론입니다. 도움이되기를 바랍니다. 로컬 C은 f이 인스턴스화 될 때까지 인스턴스화하지 않습니다. 따라서 A<C>은 인스턴스화가 아니며 컴파일러가 그것을 볼 때 불투명합니다. 불투명도 때문에 컴파일러에서는 A<C>::Type이 중첩 된 형식 이름인지 또는 데이터 멤버 또는 메서드인지 여부를 확인할 수 없습니다. 그러나 기본적으로 컴파일러에서는 중첩 된 형식 이름으로 A<C>::Type을 볼 수 없습니다. 따라서 명시 적 사양이 필요합니다.

Answer 3

표준에 여기에 typename 키워드가 필요하다는 것을 나타내는 항목이없는 것 같습니다. 이 문구에는 GCC가 (기능 템플릿 전문 분야의 로컬 클래스)을 처리하기위한 단축키를 T —에 종속적으로 사용하도록 유도했을 수도있는 A<[f<T>(T)::]C>::Type이 종속적 인 것으로 명시되어 있지 않습니다.

Core defect 1484이 문제에 특별히 제기 된 것은 아니지만 제안 된 추가 비표준 텍스트가 의도를 명확하게 만들고 GCC 표준에 따라 typename 키워드를 요구하지 않는다고 생각합니다.