템플릿 기반 typedef에서 템플릿 전문화를 사용할 수 있습니까?

Question

내가 좋아하는 일을하고 싶은 다음 (C++ 11에서 C++ (14),하지 C++ 17) :

template <class T> 
using partner = void; 

template<> 
using partner<A> = X; 

template<> 
using partner<B> = Y; 

template<> 
using partner<C> = Z; 

하지만 컴파일 오류가 발생 ---

error: expected unqualified-id before ‘using’

--- 첫 번째 템플릿 전문화 과정입니다.

그런 것이 가능합니까? (나는 이미 그 안에 using 문을 가진 템플릿 클래스를 사용할 수 있다는 것을 알고있다. 클래스 래퍼없이 using 문을 직접 사용하기를 바란다. 좀 더 간단하고 우아하기 때문에.

Answer 1

별칭 템플릿을 특수화 할 수 없습니다.

당신은 클래스 템플릿 특수화 지루한 정상에 의지해야합니다 :

template <class T> struct partner_t { using type = void; }; 
template <> struct partner_t<A> { using type = X; }; 
template <> struct partner_t<B> { using type = Y; }; 
template <> struct partner_t<C> { using type = Z; }; 

template <class T> 
using partner = typename partner_t<T>::type; 

---

또는 우리가 표준`으로 (애호가

template <class T> struct tag { using type = T; }; 

template <class T> auto partner_impl(tag<T>) -> tag<void>; 
auto partner_impl(tag<A>) -> tag<X>; 
auto partner_impl(tag<B>) -> tag<Y>; 
auto partner_impl(tag<C>) -> tag<Z>; 

template <class T> 
using partner = typename decltype(partner_impl(tag<T>{}))::type;