如何比较高阶订单类型？

Question

我想要这样的东西：

std::cout << std::is_same<Buffer<int>, Buffer<float>>::value;

但是我没有比较整个类型，而是想知道类型是否是缓冲区。

std::cout << std::is_buffer<Buffer<int>>::value // true;
std::cout << std::is_buffer<Buffer<float>>::value // true;

这可能吗？ 也许借助模板的模板？

Answer 1

只需做一个简单的特征：

#include <type_traits>

template<typename T>
struct is_buffer : std::false_type {};

template<typename T>
struct is_buffer<Buffer<T>> : std::true_type {};

但是，这没有考虑cv限定词。

如果要考虑cv限定词，则只需对其进行专门化处理即可：

template<typename T>
struct is_buffer<const T> : is_buffer<T> {};

template<typename T>
struct is_buffer<volatile T> : is_buffer<T> {};

Answer 2

您可以实现如下的trait类：

#include <type_traits>

template<class T> struct is_buffer : std::false_type {};

template<class T> struct is_buffer<Buffer<T> > : std::true_type {};

Answer 3

template<typename T>
class is_buffer : public std::false_type
{ };

template<typename T>
class is_buffer<Buffer<T>> : public std::true_type
{ };

所以is_buffer它继承std::true_type如果模板参数的类型的将被用于Buffer<T>否则std::false_type一个将被使用。