C++ is_abstract用法及代碼示例

在本文中，我們將討論 C++ STL 中 std::is_abstract 模板的工作、語法和示例。

Is_abstract 模板有助於檢查類是否是抽象類。

什麽是抽象類？

抽象類是具有至少一個純虛函數的類。我們使用抽象類是因為當我們定義函數時，我們不知道它的實現，所以在我們不知道類的函數應該做什麽的情況下非常有幫助，但我們確信有在我們的係統中必須是這樣的函數。所以，我們聲明了一個純虛函數，它隻被聲明，沒有該函數的實現。

因此，當我們想從類的實例中檢查該類是否為抽象類時，我們使用 is_abstract()。

is_abstract() 繼承自 itegral_constant 並給出 true_type 或 false_type，具體取決於類 T 的實例是否為多態類類型。

用法

template <class T> struct is_abstract;

參數

該模板隻能有一個參數 T，即類類型，用於檢查類 T 是否為抽象類。

返回值

此函數返回 bool 類型值，true 或 false。

如果 T 是抽象類，則返回 true，如果 T 不是抽象類，則返回 false。

示例

#include <iostream>
#include <type_traits>
using namespace std;
struct TP_1 {
   int var;
};
struct TP_2 {
   virtual void dummy() = 0;
};
class TP_3:TP_2 {
};
int main() {
   cout << boolalpha;
   cout << "checking for is_abstract:";
   cout << "\nstructure TP_1 with one variable:"<< is_abstract<TP_1>::value;
   cout << "\nstructure TP_2 with one virtual variable:"<< is_abstract<TP_2>::value;
   cout << "\nclass TP_3 which is derived from TP_2 structure:"<< is_abstract<TP_3>::value;
   return 0;
}

輸出

如果我們運行上麵的代碼，它將生成以下輸出 -

checking for is_abstract:
structure TP_1 with one variable:false
structure TP_2 with one virtual variable:true
class TP_3 which is derived from TP_2 structure:true

示例

#include <iostream>
#include <type_traits>
using namespace std;
struct TP_1 {
   virtual void dummy() = 0;
};
class TP_2 {
   virtual void dummy() = 0;
};
struct TP_3:TP_2 {
};
int main() {
   cout << boolalpha;
   cout << "checking for is_abstract:";
   cout << "\nstructure TP_1 with one virtual function:"<< is_abstract<TP_1>::value;
   cout << "\nclass TP_2 with one virtual function:"<< is_abstract<TP_2>::value;
   cout << "\nstructure TP_3 which is derived from TP_2 class:"<< is_abstract<TP_3>::value;
   return 0;
}

輸出

如果我們運行上麵的代碼，它將生成以下輸出 -

checking for is_abstract:
structure TP_1 with one virtual function:true
class TP_2 with one virtual function:true
structure TP_3 which is derived from TP_2 class:true