Типовой признак для любых шаблонных типов с постоянными значениями

Question

В настоящее время я создаю код, который нуждается в конкретной реализации для любого типа с шаблонами, поэтому я пытаюсь закодировать черту типа, которая верна для любого шаблонного типа.

Прямо сейчас, у меня есть это:

template<class T> 
struct TIsTemplated { enum { Value = 0 }; }; 

template<template<typename, typename...> class T, typename First, typename... Values> 
struct TIsTemplated<T<First, Values...>> { enum { Value = 1 }; }; 

Это хорошо работает для шаблонных типов, как

template<typename T> 
struct X { }; 

Это терпит неудачу, однако, как только есть тип, который имеет постоянные значения:

template<typename T, int i = 10> 
struct Y {}; 

Я узнал, что могу сделать такой тип:

template<int A, template<typename, int> class T, typename First> 
struct TIsTemplated<T<First,A>> { enum { Value = 1 }; }; 

Однако это работает только в том случае, если я знаю, что у меня будет тип, который принимает int. Я попытался обобщить это:

template<typename C> 
template<C A, template<typename, C> class T, typename First> 
struct TIsTemplated<T<First,A>> { enum { Value = 1 }; }; 

Но даже если это компилирует правильно, TIsTemplated еще ложна для типа Y. Есть ли способ достичь этого, не зная постоянный тип?

Answer 1

template<class...>struct types{using type=types;}; 

- это набор типов.

template<class Scalar, class T> 
struct is_template_with_scalar : std::false_type {}; 

template<class Scalar, template<class,Scalar>class Z, class U, Scalar s> 
struct is_template_with_scalar<Scalar, Z<U,s>> : std::true_type {}; 

ли тест дана Scalar типа, делает тип T соответствует шаблону template<class, Scalar>.

Затем мы снискать его немного:

template<class Scalar> 
struct scalar_test { 
    template<class T> 
    using result=is_template_with_scalar<Scalar, T>; 
}; 

Это занимает кучу типов BOOL, и оценивает их логическое или:

template<class...Ts> 
struct or_types : std::false_type {}; 

template<class T0, class...Ts> 
struct or_types<T0, Ts...> : std::integral_constant<bool, T0{} || or_types<Ts...>{} > 
{}; 

passes_any принимает список типов, и мета- тест, который принимает тип. Она производит тест, который определяет, будет ли какой-либо из тестов передаются:

template<class List, template<class>class Test> 
struct passes_any {}; 

template<class...Ts, template<class>class Test> 
struct passes_any<types<Ts...>, Test> { 
    template<class U> 
    using result=or_types< typename Test<Ts>::template result<U>... >; 
}; 

Теперь мы начинаем с:

using scalars_supported = types<int, char, std::size_t, unsigned>; // etc 

И мы получаем тест:

template<class T> 
using is_scalar_template = 
    typename passes_any<scalars_supported,scalar_test>::template result<T>; 

, который по заданному тип T является правдивым типом, если это экземпляр шаблона с шаблоном <class, Scalar> для любого Scalar в списке scalars_supported.

live example