Phát hiện nếu hai loại là một chuyên môn của cùng một mẫu lớp?

Question

Tôi muốn biết cách viết một lớp type_traits để phát hiện xem có hai loại là chuyên môn của cùng một lớp mẫu hay không. Vấn đề lớn là nó nên làm việc cho các loại hỗn hợp/lớp mẫu không kiểu như:

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

Có thể thiết kế một thứ như vậy không?

Answer 1

Tôi không nghĩ bạn có thể làm điều này nói chung cho một mẫu lớp tùy ý với sự kết hợp của các thông số loại và không phải loại.

Bạn có thể nhận được gần cho bộ cụ thể hơn về các thông số, nhưng tôi không biết cách nào để xử lý các trường hợp chung:

#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 
{ };