名稱空間
變體
操作

std::is_void

來自 cppreference.com
< cpp‎ | 型別
 
 
超程式設計庫
型別特性
型別類別
is_void
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
型別屬性
(C++11)
(C++11)
(C++14)
(C++11)(C++26 中已棄用)
(C++11)(直到 C++20*)
(C++11)(C++20 中已棄用)
(C++11)
型別特性常量
元函式
(C++17)
支援的操作
關係與屬性查詢
型別修改
(C++11)(C++11)(C++11)
型別轉換
(C++11)(C++23 中已棄用)
(C++11)(C++23 中已棄用)
(C++11)
(C++11)(直到 C++20*)(C++17)

(C++11)
(C++17)
編譯時有理數算術
編譯時整數序列
 
定義於標頭檔案 <type_traits>
template< class T >
struct is_void;
(C++11 起)

std::is_void 是一個 一元型別特性

檢查 T 是否為 void 型別。如果 Tvoidconst voidvolatile voidconst volatile void 型別,則提供成員常量 value 等於 true。否則,value 等於 false

如果程式為 std::is_voidstd::is_void_v 新增特化,則行為未定義。

目錄

[編輯] 模板引數

T - 要檢查的型別

[編輯] 輔助變數模板

template< class T >
constexpr bool is_void_v = is_void<T>::value;
(C++17 起)

繼承自 std::integral_constant

成員常量

value
[靜態]
如果 Tvoid 型別(可能帶 cv 限定符),則為 true,否則為 false
(public static 成員常量)

成員函式

operator bool
將物件轉換為 bool,返回 value
(公開成員函式)
operator()
(C++14)
返回 value
(公開成員函式)

成員型別

型別 定義
value_type bool
型別 std::integral_constant<bool, value>

[編輯部分:可能的實現] 可能的實現

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<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() {}

[編輯部分:另請參見] 另請參見

(C++11)
檢查型別是否為陣列型別
(類模板) [編輯]
檢查型別是否為指標型別
(類模板) [編輯]
(C++11)
檢查一個型別是否是列舉型別
(類模板) [編輯]
(C++11)
檢查型別是否為聯合型別
(類模板) [編輯]
(C++11)
檢查型別是否為非聯合類型別
(類模板) [編輯]
檢查型別是否為函式型別
(類模板) [編輯]
(C++11)
檢查型別是否為物件型別
(類模板) [編輯]