名前空間
変種
操作

std::void_t

提供: cppreference.com
< cpp‎ | types
 
 
 
型サポート
型プロトタイプ
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(C++20以前)
(C++11)(C++20で非推奨)
(C++11)
型特性定数
メタ関数
(C++17)
エンディアン
(C++20)
サポートされている操作
関係と性質の問い合わせ
(C++11)
(C++11)
型変更
(C++11)(C++11)(C++11)
型変換
(C++11)
(C++11)
void_t
(C++17)
(C++11)(C++20以前)(C++17)
 
ヘッダ <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;

[編集]

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