다른 유형의 비 유형 매개 변수가있는 C++ 가변 템플릿

Question

잠재적으로 다른 유형의 비 유형 매개 변수 목록을 사용하는 클래스를 정의하고자합니다. 예를 들어, 다음은 유효해야합니다 :

template<int... args> 
class Test { 
    // ... 
}; 

내 특정 사용,보다 구체적으로 :

Test<3, 4.5, 6> t; 

모든 매개 변수가 같은 유형이 있다면, 나는 다음과 같은 정의를 사용할 수, int 말 두 번째 클래스에 많은 멤버가있는 Base이 있는데, 나는 Base 멤버 포인터를 전달하고 싶습니다. Base::a 및 Base::b는 일반적인 유형 T이있는 경우 다음과 같이

Test<&Base::a, &Base::b> 

, 그때 Test을 정의 할 수 있습니다.

template<int Base::* ...args> 
class Test { 
    // 
}; 

어떻게 이러한 클래스를 정의 할 수 있습니까? Test?

Answer 1

다음과 같은 방법으로 작업을 수행 할 수 있습니다 간단한 표기법 template <class... Types, Types... args> class Test; 표준에 의해 허용되지 않는다는 것을

template <class... Types> 
struct Wrapper 
{ 
    template <Types... args> 
    class Test { 
     // ... 
    }; 
}; 

주 (참조 단락 [temp.param] 14.1/15).

( float, double 및 long double 상수 비 형 템플릿 매개 변수가 될 수 있음에 유의) 사용

예 : 회원 포인터

Wrapper<int, char, unsigned>::Test<1, '2', 3U> t; 

보다 구체적인 사례와 유사하게 구현 될 수있다 :

struct Base 
{ 
    int a; 
    float b; 
    void c() {} 
}; 

template <class... Types> 
struct Wrapper 
{ 
    template <Types Base::*... args> 
    class Test { 
     // 
    }; 
}; 

사용 예 :

Wrapper<int, float, void()>::Test<&Base::a, &Base::b, &Base::c> t2; 

이 표기법은 가변 매크로와 decltype 키워드를 사용하여 단축 할 수 있습니다.