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