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 {typedefvoid 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) | コンパイル時ブーリアンに基づいて関数オーバーロードまたはテンプレート特殊化を隠蔽します (クラステンプレート) |
