std:: is_void

std::is_void 是一个 UnaryTypeTrait 。

检查 T 是否为 void 类型。如果 T 是类型 void 、 const void 、 volatile void 或 const volatile void ，则提供等于 true 的成员常量 value 。否则， 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() {}

参见