부분 특수화는 별칭 템플릿

Question

부분 전문은 허용되지 않습니다 :

template <typename T> 
using unwrapped_future_t = T; 

template <typename T> 
using unwrapped_future_t<future<T>> = typename future<T>::value_type; 
         ^~~~~~~~~~~ 
> error: partial specialization of alias templates is not permitted 

왜이 허용되지 않습니다 : 예를 들어

은, 창조적 인 노력, 그 소리에서이 오류를 얻을?

Answer 1

별칭 템플릿의 original proposal에 답 찾을 수 있습니다

2.2 메인 선택 : 반사경에와 진화 WG에서 논의 후

그밖에 모두 대 전문화, 그것은 두 개의 상호 배타적 인 모델 중에서 선택해야한다는 것을 알게되었습니다 :

1. typedef 템플릿 자체가 별칭이 아닙니다. ; typedef 템플릿의 (아마도 특수화 된) 인스턴스화 만이 별칭입니다. 이 선택을 통해 typedef 템플릿을 전문화 할 수 있습니다.

2. typedef 템플릿 자체가 별칭입니다. 그것은 전문화 될 수 없다. 이 선택은 허용 것이다 : 타입 정의 템플릿 함수 파라미터에

   • 공제
   • 선언이 타입 정의 템플릿 (2.5 참조)
   • 타입 정의 템플리트없이 선언과 동일 할 템플릿 타입 정의하여 표현 (2.4 참조) 경기 템플릿 템플릿 매개 변수 (2.6 참조)

바로 그 다음 문장은