型別特性變數模板 (庫基礎 TS)

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

庫基礎

experimental::optional

experimental::any

experimental::basic_string_view

experimental::sample

experimental::shared_ptr

experimental::weak_ptr

experimental::apply

experimental::invocation_typeexperimental::raw_invocation_type

experimental::search

experimental::default_searcherexperimental::make_default_searcher

experimental::boyer_moore_searcherexperimental::make_boyer_moore_searcher

experimental::boyer_moore_horspool_searcherexperimental::make_boyer_moore_horspool_searcher

型別擦除和多型分配器

型別特徵的變數模板

 

C++ 庫基礎擴充套件版本 1 提供了許多用於型別特性類，以及其他具有公共 ::value 成員的類似類模板的 constexpr 變數模板。

除非另有說明，以下變數模板定義在 std::experimental 名稱空間中。

型別特性
主要型別類別 (Primary type categories)
變數模板	值
定義於標頭檔案 <experimental/type_traits>
template<class T> constexpr bool is_void_v =	std::is_void<T>::value;
template<class T> constexpr bool is_null_pointer_v =	std::is_null_pointer<T>::value;
template<class T> constexpr bool is_integral_v =	std::is_integral<T>::value;
template<class T> constexpr bool is_floating_point_v =	std::is_floating_point<T>::value;
template<class T> constexpr bool is_array_v =	std::is_array<T>::value;
template<class T> constexpr bool is_pointer_v =	std::is_pointer<T>::value;
template<class T> constexpr bool is_lvalue_reference_v =	std::is_lvalue_reference<T>::value;
template<class T> constexpr bool is_rvalue_reference_v =	std::is_rvalue_reference<T>::value;
template<class T> constexpr bool is_member_object_pointer_v =	std::is_member_object_pointer<T>::value;
template<class T> constexpr bool is_member_function_pointer_v =	std::is_member_function_pointer<T>::value;
template<class T> constexpr bool is_enum_v =	std::is_enum<T>::value;
template<class T> constexpr bool is_union_v =	std::is_union<T>::value;
template<class T> constexpr bool is_class_v =	std::is_class<T>::value;
template<class T> constexpr bool is_function_v =	std::is_function<T>::value;
複合型別類別 (Composite type categories)
變數模板	值
定義於標頭檔案 <experimental/type_traits>
template<class T> constexpr bool is_reference_v =	std::is_reference<T>::value;
template<class T> constexpr bool is_arithmetic_v =	std::is_arithmetic<T>::value;
template<class T> constexpr bool is_fundamental_v =	std::is_fundamental<T>::value;
template<class T> constexpr bool is_object_v =	std::is_object<T>::value;
template<class T> constexpr bool is_scalar_v =	std::is_scalar<T>::value;
template<class T> constexpr bool is_compound_v =	std::is_compound<T>::value;
template<class T> constexpr bool is_member_pointer_v =	std::is_member_pointer<T>::value;
型別屬性
變數模板	值
定義於標頭檔案 <experimental/type_traits>
template<class T> constexpr bool is_const_v =	std::is_const<T>::value;
template<class T> constexpr bool is_volatile_v =	std::is_volatile<T>::value;
template<class T> constexpr bool is_trivial_v =	std::is_trivial<T>::value;
template<class T> constexpr bool is_trivially_copyable_v =	std::is_trivially_copyable<T>::value;
template<class T> constexpr bool is_standard_layout_v =	std::is_standard_layout<T>::value;
template<class T> constexpr bool is_pod_v =	std::is_pod<T>::value;
template<class T> constexpr bool is_literal_type_v =	std::is_literal_type<T>::value;
template<class T> constexpr bool is_empty_v =	std::is_empty<T>::value;
template<class T> constexpr bool is_polymorphic_v =	std::is_polymorphic<T>::value;
template<class T> constexpr bool is_abstract_v =	std::is_abstract<T>::value;
template<class T> constexpr bool is_final_v =	std::is_final<T>::value;
template<class T> constexpr bool is_signed_v =	std::is_signed<T>::value;
template<class T> constexpr bool is_unsigned_v =	std::is_unsigned<T>::value;

支援的操作
變數模板	值
定義於標頭檔案 <experimental/type_traits>
template<class T, class... Args> constexpr bool is_constructible_v =	std::is_constructible<T, Args...>::value;
template<class T, class... Args> constexpr bool is_trivially_constructible_v =	std::is_trivially_constructible<T, Args...>::value;
template<class T, class... Args> constexpr bool is_nothrow_constructible_v =	std::is_nothrow_constructible<T, Args...>::value;
template<class T> constexpr bool is_default_constructible_v =	std::is_default_constructible<T>::value;
template<class T> constexpr bool is_trivially_default_constructible_v =	std::is_trivially_default_constructible<T>::value;
template<class T> constexpr bool is_nothrow_default_constructible_v =	std::is_nothrow_default_constructible<T>::value;
template<class T> constexpr bool is_copy_constructible_v =	std::is_copy_constructible<T>::value;
template<class T> constexpr bool is_trivially_copy_constructible_v =	std::is_trivially_copy_constructible<T>::value;
template<class T> constexpr bool is_nothrow_copy_constructible_v =	std::is_nothrow_copy_constructible<T>::value;
template<class T> constexpr bool is_move_constructible_v =	std::is_move_constructible<T>::value;
template<class T> constexpr bool is_trivially_move_constructible_v =	std::is_trivially_move_constructible<T>::value;
template<class T> constexpr bool is_nothrow_move_constructible_v =	std::is_nothrow_move_constructible<T>::value;
template<class T, class U> constexpr bool is_assignable_v =	std::is_assignable<T, U>::value;
template<class T, class U> constexpr bool is_trivially_assignable_v =	std::is_trivially_assignable<T, U>::value;
template<class T, class U> constexpr bool is_nothrow_assignable_v =	std::is_nothrow_assignable<T, U>::value;
template<class T> constexpr bool is_copy_assignable_v =	std::is_copy_assignable<T>::value;
template<class T> constexpr bool is_trivially_copy_assignable_v =	std::is_trivially_copy_assignable<T>::value;
template<class T> constexpr bool is_nothrow_copy_assignable_v =	std::is_nothrow_copy_assignable<T>::value;
template<class T> constexpr bool is_move_assignable_v =	std::is_move_assignable<T>::value;
template<class T> constexpr bool is_trivially_move_assignable_v =	std::is_trivially_move_assignable<T>::value;
template<class T> constexpr bool is_nothrow_move_assignable_v =	std::is_nothrow_move_assignable<T>::value;
template<class T> constexpr bool is_destructible_v =	std::is_destructible<T>::value;
template<class T> constexpr bool is_trivially_destructible_v =	std::is_trivially_destructible<T>::value;
template<class T> constexpr bool is_nothrow_destructible_v =	std::is_nothrow_destructible<T>::value;
template<class T> constexpr bool has_virtual_destructor_v =	std::has_virtual_destructor<T>::value;

屬性查詢 (Property queries)
變數模板	值
定義於標頭檔案 <experimental/type_traits>
template<class T> constexpr std::size_t alignment_of_v =	std::alignment_of<T>::value;
template<class T> constexpr std::size_t rank_v =	std::rank<T>::value;
template<class T, unsigned I = 0> constexpr std::size_t extent_v =	std::extent<T, I>::value;
型別關係
變數模板	值
定義於標頭檔案 <experimental/type_traits>
template<class T, class U> constexpr bool is_same_v =	std::is_same<T, U>::value;
template<class Base, class Derived> constexpr bool is_base_of_v =	std::is_base_of<Base, Derived>::value;
template<class From, class To> constexpr bool is_convertible_v =	std::is_convertible<From, To>::value;
其他變數模板
std::ratio 比較
變數模板	值
定義於標頭檔案 <experimental/ratio>
template<class R1, class R2> constexpr bool ratio_equal_v =	std::ratio_equal<R1, R2>::value;
template<class R1, class R2> constexpr bool ratio_not_equal_v =	std::ratio_not_equal<R1, R2>::value;
template<class R1, class R2> constexpr bool ratio_less_v =	std::ratio_less<R1, R2>::value;
template<class R1, class R2> constexpr bool ratio_less_equal_v =	std::ratio_less_equal<R1, R2>::value;
template<class R1, class R2> constexpr bool ratio_greater_v =	std::ratio_greater<R1, R2>::value;
template<class R1, class R2> constexpr bool ratio_greater_equal_v =	std::ratio_greater_equal<R1, R2>::value;
雜項
變數模板	值
定義於標頭檔案 <experimental/tuple>
template<class T> constexpr std::size_t tuple_size_v =	std::tuple_size<T>::value;
定義於標頭檔案 <experimental/chrono>
template<class Rep> constexpr bool treat_as_floating_point_v =	std::chrono::treat_as_floating_point<Rep>::value;[1]
定義於標頭檔案 <experimental/system_error>
template<class T> constexpr bool is_error_code_enum_v =	std::is_error_code_enum<T>::value;
template<class T> constexpr bool is_error_condition_enum_v =	std::is_error_condition_enum<T>::value;
定義於標頭檔案 <experimental/functional>
template<class T> constexpr bool is_bind_expression_v =	std::is_bind_expression<T>::value;
template<class T> constexpr int is_placeholder_v =	std::is_placeholder<T>::value;
定義於標頭檔案 <experimental/memory>
template<class T, class Alloc> constexpr bool uses_allocator_v =	std::uses_allocator<T, Alloc>::value;

註解

[1]: 定義於 std::chrono::experimental 名稱空間。