检查两个模板参数是否相同

Check if two template template parameters are the same

本文关键字：参数 是否 两个 检查      更新时间：2023-10-16

是否有一种标准(std(方法可以检查两个模板，而不是两个模板实例，是否相等？

当我有两个模板模板参数时，我想检查它们是否相等，理想情况下，我想写

template <template <class> class T1, template <class> class T2>
class Foo{
static_assert(std::is_same<T1, T2>::value, "T1 and T2 must be same");
};

但不能，因为std::is_same采用类型模板参数而不是模板模板参数。

我目前的"解决方案"是我使用随机类型(例如void(，然后检查相等性：

template <template <class> class T1, template <class> class T2>
class Foo{
static_assert(std::is_same<T1<void>, T2<void>>::value, "T1 and T2 must be same");
};

这一切都很好，直到T1或T2无法使用我选择的随机类型进行实例化(此处void(。

我想我可以is_same_template写我自己的类型特征，但我有点想绕过它。

不，没有。但是你可以很容易地写出自己的特征：

template <template <typename...> typename, template <typename...> typename>
struct is_template_same : std::false_type {};
template <template <typename...> typename TT>
struct is_template_same<TT, TT> : std::true_type {};
template <template <typename...> typename TT, template <typename...> typename UU>
inline constexpr bool is_template_same_v = is_template_same<TT, UU>::value;

然后：

static_assert(is_template_same_v<T1, T2>, "T1 and T2 must be the same");
相关文章：