名稱空間
變體
操作

std::is_unbounded_array

來自 cppreference.com
< cpp‎ | 型別
 
 
超程式設計庫
型別特性
型別類別
(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)
is_unbounded_array
(C++20)
型別特性常量
元函式
(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_unbounded_array;
(C++20 起)

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

檢查 T 是否為未知邊界陣列。如果 T 是未知邊界的陣列型別,則提供成員常量 value 等於 true。否則,value 等於 false

如果程式為 std::is_unbounded_arraystd::is_unbounded_array_v 新增特化,則行為是未定義的。

目錄

[編輯] 模板引數

T - 要檢查的型別

[編輯] 輔助變數模板

template< class T >
constexpr bool is_unbounded_array_v = is_unbounded_array<T>::value;
(C++20 起)

繼承自 std::integral_constant

成員常量

value
[靜態]
如果 T 是未知邊界的陣列型別,則為 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_unbounded_array: std::false_type {};
 
template<class T>
struct is_unbounded_array<T[]> : std::true_type {};

[編輯] 註解

特性測試 標準 特性
__cpp_lib_bounded_array_traits 201902L (C++20) std::is_bounded_array, std::is_unbounded_array

[編輯] 示例

#include <type_traits>
 
class A {};
 
static_assert
(""
    && std::is_unbounded_array_v<A> == false
    && std::is_unbounded_array_v<A[]> == true
    && std::is_unbounded_array_v<A[3]> == false
    && std::is_unbounded_array_v<float> == false
    && std::is_unbounded_array_v<int> == false
    && std::is_unbounded_array_v<int[]> == true
    && std::is_unbounded_array_v<int[3]> == false
);
 
int main() {}

[編輯] 參閱

(C++11)
檢查型別是否為陣列型別
(類模板) [編輯]
檢查型別是否為已知邊界的陣列型別
(類模板) [編輯]
(C++11)
獲取陣列型別在指定維度上的大小
(類模板) [編輯]