std:: is_void

std::is_void は UnaryTypeTrait です。

T がvoid型かどうかをチェックします。メンバー定数 value を提供します。この値は、 T が型 void 、 const void 、 volatile void または const volatile void の場合 true に等しくなります。それ以外の場合、 value は false に等しくなります。

プログラムが std::is_void または std::is_void_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

ヘルパー変数テンプレート

実装例

template<class T>
struct is_void : std::is_same<void, typename std::remove_cv<T>::type> {};

例

#include <type_traits>
void foo();
static_assert
(
    std::is_void_v<void> == true and
    std::is_void_v<const void> == true and
    std::is_void_v<volatile void> == true and
    std::is_void_v<const volatile void> == true and
    std::is_void_v<std::void_t<>> == true and
    std::is_void_v<void*> == false and
    std::is_void_v<int> == false and
    std::is_void_v<decltype(foo)> == false and
    std::is_void_v<std::is_void<void>> == false
);
int main() {}

関連項目