C++17引入的一個新特性void_t簡析

最近發(fā)現(xiàn)了一個有意思的特性：void_t。

void_t是C++17引入的一個新特性，它的定義很簡單（有些編譯器的實現(xiàn)可能不是這樣，但也大體類似）：

template< class... >
using void_t = void;

看著它很簡單，但它搭配SFINAE卻可以在模板元編程中發(fā)揮巨大作用。

比如在編譯期判斷類是否有某個類型using：

template >
struct has_type : std::false_type {};


template 
struct has_type> : std::true_type {};

比如判斷是否有某個成員：

template >
struct has_a_member : std::false_type {};


template 
struct has_a_member().a)>> : std::true_type {};

比如判斷某個類是否可迭代：

template 
constexpr bool is_iterable{};


template 
constexpr bool is_iterable().begin()), decltype(std::declval().end())>> = true;

比如判斷某個類是否有某個函數(shù)：

template 
struct has_hello_func : std::false_type {};


template 
struct has_hello_func().hello())>> : std::true_type {};

測試結(jié)果：

struct HasType {
  typedef int type;
};
struct NHasType {
  int hello;
};


struct Hasa {
  int a;
};
struct NHasa {
  int b;
};


struct HasHello {
  void hello();
};
struct NoHasHello {};


int main() {
  std::cout << has_type::value << '
';   // 1
  std::cout << has_type::value << '
';  // 0


  std::cout << has_a_member::value << '
';   // 1
  std::cout << has_a_member::value << '
';  // 0


  std::cout << has_hello_func::value << '
';    // 1
  std::cout << has_hello_func::value << '
';  // 0


  std::cout << is_iterable> << '
';  // 1
  std::cout << is_iterable << '
';               // 0
}

它的原理其實就是利用SFINAE和模板優(yōu)先找特化去匹配的特性，估計大家應(yīng)該看示例代碼就能明白。

審核編輯：劉清