특성 클래스의 typedef에 익명 구조체

Question

재미있는 제목 죄송합니다.

C++ 0x보다 먼저 함수 로컬 구조체 ("로컬 형식")를 템플릿 인수로 사용하는 경우 restrictions이 있습니다. 내 질문은 본질적으로 비슷한 제한이 익명 구조체에 적용되는 경우입니다. 구체적으로, 특성 클래스의 문맥에서 :

template <typename T> 
struct trait; 

template <> 
struct trait<int> { 
    typedef int type; 
}; 

template <typename T> 
struct trait<std::basic_string<T> > { 
    typedef struct { 
     T value; 
    } type; 
}; 

trait<std::string>::type foo; // Is this valid? 

template <typename T> 
void f() { } 

f<trait<std::string>::type> >(); // Is this? 

template <typename T> 
void g() { f<typename trait<T>::type>(); } 

g<std::string>(); // And this? 

유효하고 신뢰할 만합니까? 그것은 GCC와 LLVM의 최신 버전에서 컴파일되지만 이것이 VC++와 ICC에 의해 이해되는지 여부는 여전히 정확하지 않은지 여전히 불안합니다.

Answer 1

typedef 해당 클래스에 대한 익명 클래스 및 typedef-name을 정의하는 선언문 인 typedef-name은 연결 목적으로 사용할 클래스의 이름입니다. 따라서 다른 클래스를 충족하는 경우 해당 클래스를 템플릿 매개 변수로 사용할 수 있습니다. typedef를 선언는 익명 클래스 (또는 열거)을 정의하는 경우

는 C++ 03 표준

의 7.1.3p5 참조 선언에 의해 선언 된 최초의 형식 정의 이름이 있다고 할 수 클래스 유형 (또는 열거 형 유형)은 연결 목적으로 (3.5) 클래스 유형 (또는 열거 형)을 나타내는 데 사용됩니다. [예 :

typedef struct { } *ps, S; // S is the class name for linkage purposes 

이는 C++ 0X FDIS에 7.1.3p9이다.

FWIW,이 코드는 MSVC2010 (모듈로 오타)에서 정상적으로 컴파일됩니다.

Answer 2

음, 즉 완전히 합법적

template <typename T> 
struct trait<std::basic_string<T> > { 
    struct type { 
     T value; 
    }; 
}; 

동일하다. 참고로

Answer 3

에 링크 된 질문에서 인용 14.3.1/2 :

로컬 유형, 이러한 유형의에서 를 혼합 익명의 유형이나 형식없이 연결과 유형 템플릿 형식 매개 변수 에 대한 템플릿 인수로 을 사용할 수 없습니다.

내 해석에 따르면 typedef struct은 이름이없는 유형의 별칭을 생성하므로 템플릿 유형 매개 변수로 사용할 수 없습니다. 더 나아가 C typedef struct {} Foo;의 추가 사항은 struct Foo {};과는 다소 다르게 취급됩니다. 두 양식이 동일하지 않다는 것을 전제로합니다 (비록 C++에서는 차이가 나타나지 않지만).

따라서 첫 번째 예제가 작동합니다 (템플릿 유형 매개 변수로 이름없는 유형을 사용하지 않기 때문에). 두 번째 및 세 번째 예제는 기술적으로 유효하지 않습니다 (템플릿 유형 매개 변수로 사용하기 때문에).

마침내 내가 물어야 만하는데, typedef 대신 구조체의 이름을 지정할 수없는 이유가 있습니까?

EDIT : 7.1.3/1에서 :

... 타입 정의 이름이 다른 유형의 대명사 따라서이다. 타입 정의-name은하지 길에 새로운 유형을 클래스 선언 (9.1) 또는 가하는 열거 선언 ...이 강하게 방식으로 typedef를 사용하여 유형에 적합 소개하지 않는 것을 의미한다

을 소개하지 템플리트 유형 매개 변수로 사용하십시오.

Answer 4

곧 표준에서 언어에서 제한이 제거됩니다. 표준 말한다

14.3.1 [temp.arg.type]

에/1

타입은 타입 ID한다하는 템플릿 파라미터 템플릿 인수.

는 그리고 형식 정의는 유효한 유형-ID입니다.

14.3.1 [temp.arg.type (I 다른 대부분의 예를 트리밍 한)/2

template <class T> class X { }; 
template <class T> void f(T t) { } 
void f() { 
    typedef struct { } B; 
    B b; 
    X<B> x3; 
    f(b); 
} 

예를 보여준다 사실은 다음 단락은 예를 들어 있으므로 명명되지 않은 유형은 클래스 템플리트와 함수 템플리트 모두에서 클래스 템플리트 인수로 사용될 수 있습니다.