std::is_abstract

出自cppreference.com
 
C++
 
元編程庫
類型特徵
類型類別
(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++11)
(C++11)  
(C++11)
(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++17)
(C++23)
(C++11)(C++26 棄用)
(C++11)
(C++11)
(C++11)(C++20 前*)
(C++11)(C++20 棄用)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
類型特徵常量
(C++11)(C++17)(C++11)(C++11)
元函數
(C++17)
(C++17)
(C++17)
受支持操作
關係與屬性查詢
類型修改
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
類型變換
(C++11)(C++23 棄用)
(C++11)(C++23 棄用)
(C++11)
(C++20)
(C++11)(C++20 前*)(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++20)
(C++11)
(C++17)
編譯時有理數算術
編譯時整數序列
(C++14)
 
在標頭 <type_traits> 定義 
template< class T >
struct is_abstract;
(C++11 起)

std::is_abstract 是一元類型特徵 (UnaryTypeTrait) 。

如果 T 是抽象類（即聲明或繼承至少一個純虛函數的非聯合類類型），那麼提供的成員常量 value 等於 true。對於其它任何類型，value 等於 false。

如果 T 是不完整的非聯合類類型，那麼行為未定義。

如果程序添加了 std::is_abstract 或 std::is_abstract_v 的特化，那麼行為未定義。

模板形參

T - 要檢查的類型

輔助變量模板

template< class T >
constexpr bool is_abstract_v = is_abstract<T>::value;
(C++17 起)
[編輯]

繼承自 std::integral_constant

成員常量

value
[靜態]
 如果  T 是抽象類類型那麼是 true，否則是 false
(公開靜態成員常量)

成員函數

operator bool
 將對象轉換到 bool，返回 value
(公開成員函數)
operator()
(C++14)
 返回 value
(公開成員函數)

成員類型

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

示例

運行此代碼
#include <iostream>
#include <type_traits>

struct A { int m; };
static_assert(std::is_abstract_v<A> == false);

struct B { virtual void foo(); };
static_assert(std::is_abstract_v<B> == false);

struct C { virtual void foo() = 0; };
static_assert(std::is_abstract_v<C> == true);

struct D : C {};
static_assert(std::is_abstract_v<D> == true);

int main() {}

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告 應用於 出版時的行為 正確行為
LWG 2015 C++11 在 T 是不完整的聯合體類型時行為未定義 此時基特徵是 std::false_type

參閱

(C++11)
 檢查類型是否為非聯合類類型
(類模板) [編輯]
(C++11)
 檢查類型是否為多態類類型
(類模板) [編輯]