sizeof는 전문화를위한 템플릿 인수에 허용됩니까? 나는이 사용 GCC 4.7 스냅 샷의 라인을 따라 뭔가를 할 노력하고있어

Question

: 대신를 sizeof의 sizeof 연산자는 ...이 경우에 작동하기 때문에

template <int n, int... xs> 
struct foo { 
    static const int value = 0; 
}; 

// partial specialization where n is number of ints in xs: 

template <int... xs> 
struct foo<sizeof...(xs), xs...> { // error: template argument ‘sizeof (xs ...)’ 
            // involves template parameter(s) 
    static const int value = 1; 
}; 

template <int... xs> 
struct foo<sizeof(xs), xs...> { // This compiles fine. sizeof(xs) is sizeof int 
           // even though packs aren't expanded 
    static const int value = 2; 
}; 

오류가 이상하다. 둘 다 컴파일 시간 동안 쉽게 계산 될 수있는 것처럼 보입니다.

특수화를 위해 템플릿 인수에 sizeof...을 사용할 수 없다는 컴파일러가 정확합니까?

Answer 1

this post을 읽은 후 컴파일러 문제라고 가정합니다.

부분 특수화되지 않은 인수 표현식은 인수 표현식이 단순한 식별자 인 경우를 제외하고는 부분 특수화의 템플리트 매개 변수를 포함하지 않아야합니다.

어떤 것이 논박되고 있습니까 here.

GCC가 잘못 매개 변수 팩의 압축을 풀거나 sizeof을 성급하게 평가합니다.

Response to bug report I filed may be helpful.