이기종 가변 형식이 아닌 템플릿 인수 개수가 유연합니까?

Question

다음은 다양한 가변 형식이 아닌 중첩 클래스 템플릿 DEF을 정의합니다. 형식이 아닌 템플릿 매개 변수는 Ts에 제공된 형식 인수에 따라 이기종 일 수 있습니다. 다음과 같이

template <typename ...Ts> 
struct ABC { 
    template <Ts ...Xs> 
    struct DEF {}; 
}; 

DEF 객체를 선언 할 수 있습니다 :

ABC<int,bool>::DEF<17,true> x; 

내 질문 DEF 제공 비 형 템플릿 인수의 수를 제공 형 템플릿 인수의 수보다 작을 수있다 ABC? Ts...이 팩 팽창하기 때문에,

ABC<int,bool>::DEF<17> y; 
ABC<int,bool>::DEF< > z; 

Answer 1

번호 : 예를 들어, 유효이 선언 중 하나입니다. 팩 확장가리스트에 패턴의 0 개 이상의 인스턴스 생성을 생산 인스턴스화되는의 패턴 및 생략 기호로 구성

§14.5.3 [temp.variadic]

P4는 (후술). 패턴의 형식은 확장이 발생하는 컨텍스트에 따라 다릅니다. 팩 확장은 다음과 같은 상황에서 일어날 수

가

• [...] 팩 확장 (14.1) 인 템플릿 파라미터 팩
• :
  • 템플릿 파라미터 팩은 파라미터이면 - 선언; 패턴은 매개 변수 선언이며 줄임표가 없습니다.
  • [...] 팩 팽창

P6 인스턴스화 [...]은리스트를 E ₁, E 2, ..., N E _생산 여기서 N은 팩 확장 매개 변수의 요소 수입니다. [...]

DEF은 정확히 <int, bool> 이니 두 가지 예는 부적절합니다.