두 가지 유형이 같은 클래스 템플릿의 특수화인지 여부를 감지합니까?

Question

type_traits 클래스를 작성하여 두 가지 유형이 동일한 템플릿 클래스의 특수화인지 여부를 감지하는 방법을 알고 싶습니다. 큰 문제는 다음과 같이 혼합 유형/비 유형 템플릿 클래스에서 작동해야한다는 것입니다.

template <typename T, std::size_t N> 
class MyClass {}; 

그런 것을 디자인 할 수 있습니까?

Answer 1

유형 및 비 유형 매개 변수가 혼합 된 임의의 클래스 템플리트에 대해 일반적으로이를 수행 할 수 있다고 생각하지 않습니다.

당신은 매개 변수의보다 구체적인 세트 가까이 갈 수 있지만, 나는 일반적인 경우 처리 할 수있는 방법을 알고하지 않습니다

#include <type_traits> 

template <typename T, std::size_t N> 
class MyClass {}; 

// assume not the same 
template<typename T, typename U> 
struct my_trait : std::false_type 
{ }; 

// both specializations of MyClass 
template<typename T1, std::size_t N1, typename T2, std::size_t N2> 
struct my_trait<MyClass<T1, N1>, MyClass<T2, N2>> 
: std::true_type 
{ }; 

// both specializations of some class template Templ<typename, std::size_t> 
template<template<typename, std::size_t> class Templ, typename A1, std::size_t S1, typename A2, std::size_t S2> 
struct my_trait<Templ<A1, S1>, Templ<A2, S2>> 
: std::true_type 
{ }; 

// both specializations of some class template Templ<typename...> 
template<template<typename...> class Templ, typename... A1, typename... A2> 
struct my_trait<Templ<A1...>, Templ<A2...>> 
: std::true_type 
{ };