我有一个integral_constant
来确定一个类是否在提供的类列表中:
template <typename T> using decay_t = typename std::decay<T>::type;
template <typename... Args> struct SOneOf : std::integral_constant<bool, false>
{
};
template <typename T1, typename T2, typename... Tail> struct SOneOf<T1, T2, Tail...>
: std::integral_constant<bool, SOneOf<T1, T2>::value || SOneOf<T1, Tail...>::value>
{
};
template <typename T1, typename T2> struct SOneOf<T1, T2>
: std::integral_constant<bool, std::is_same<decay_t<T1>, decay_t<T2>>::value>
{
};
template <typename T> struct SOneOf<T> : std::integral_constant<bool, false>
{
};
我也知道我可以通过template <template <typename> class T>
将模板化的类作为模板参数。
假设我有两个班级
template <typename T> class CClassA;
template <typename T> class CClassB;
并且在函数template <typename TF> function f()
中。
我如何通常检查TF
(例如int
或CClassA<double>
)是CClassA
还是CClassB
还是float
?
我想实现像
这样的东西SOneOf<TF, CClassA, CClassB, float>::value
答案 0 :(得分:7)
如果您尝试在功能模板中获取该信息,则可以使用部分特化:
template <bool...> struct bool_pack;
template <bool... B>
using any_true = std::integral_constant<bool,
!std::is_same<bool_pack<false, B...>, bool_pack<B..., false>>{}>;
namespace detail {
template <template <class...> class, typename>
struct IsSpec : std::false_type {};
template <template <class...> class T, typename... U>
struct IsSpec<T, T<U...>> : std::true_type {};
}
template <typename U, template <class...> class... T>
using IsSpecialization = any_true<detail::IsSpec<T, std::decay_t<U>>{}...>;
用法很简单:
static_assert( IsSpecialization<CClassB<int>, CClassA, CClassB>{}, "" );
static_assert( !IsSpecialization<void, CClassA, CClassB>{}, "" );
Demo。 float
的额外比较必须单独进行,例如通过std:is_same
。
如果您需要基于模板的不同代码,类型是特殊化,请使用重载。
template <typename Arg>
void f( CClassA<Arg> const& obj ) { /* … */ }
template <typename Arg>
void f( CClassB<Arg> const& obj ) { /* … */ }