std::void_t
提供: cppreference.com
| ヘッダ <type_traits> で定義
|
||
| template< class... > using void_t = void; |
(C++17以上) | |
任意の型の並びを void 型にマップするユーティリティメタ関数です。
[編集] ノート
このメタ関数は SFINAE の文脈で ill-formed な型を検出するためにテンプレートメタプログラミングで使用されます。
// primary template handles types that have no nested ::type member: template< class, class = std::void_t<> > struct has_type_member : std::false_type { }; // specialization recognizes types that do have a nested ::type member: template< class T > struct has_type_member<T, std::void_t<typename T::type>> : std::true_type { };
また、式の有効性を検出するために使用することもできます。
// primary template handles types that do not support pre-increment: template< class, class = std::void_t<> > struct has_pre_increment_member : std::false_type { }; // specialization recognizes types that do support pre-increment: template< class T > struct has_pre_increment_member<T, std::void_t<decltype( ++std::declval<T&>() )> > : std::true_type { };
CWG 1558 (C++14 の欠陥) 以前は、エイリアステンプレート内の未使用の引数は SFINAE を保証することが保証されておらず、無視することができ、そのため初期のコンパイラでは以下のようなより複雑な定義の void_t が要求されました。
template<typename... Ts> struct make_void { typedef void type;}; template<typename... Ts> using void_t = typename make_void<Ts...>::type;
[編集] 例
Run this code
#include <iostream> #include <type_traits> #include <vector> #include <map> class A {}; template <typename T, typename = void> struct is_iterable : std::false_type {}; template <typename T> struct is_iterable<T, std::void_t<decltype(std::declval<T>().begin()), decltype(std::declval<T>().end())>> : std::true_type {}; // An iterator trait which value_type is always the value_type of the // iterated container, even with back_insert_iterator which value_type is void template <typename T, typename = void> struct iterator_trait : std::iterator_traits<T> {}; template <typename T> struct iterator_trait<T, std::void_t<typename T::container_type>> : std::iterator_traits<typename T::container_type::iterator> {}; int main() { std::cout << std::boolalpha; std::cout << is_iterable<std::vector<double>>::value << '\n'; std::cout << is_iterable<std::map<int, double>>::value << '\n'; std::cout << is_iterable<double>::value << '\n'; std::cout << is_iterable<A>::value << '\n'; std::vector<int> v; std::cout << std::is_same<iterator_trait<decltype(std::back_inserter(v))>::value_type , iterator_trait<decltype(v.cbegin())>::value_type >::value << '\n'; }
出力:
true true false false true
[編集] 関連項目
| (C++11) |
コンパイル時ブーリアンに基づいて関数オーバーロードまたはテンプレート特殊化を隠蔽します (クラステンプレート) |
