如何比較高階訂單類型？

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一個將被使用。