C ++中的is_abstract模板

在本文中，我们将讨论C ++ STL中std::is_abstract模板的工作，语法和示例。

Is_abstract模板有助于检查该类是否是抽象类。

什么是抽象类？

抽象类是具有至少一个纯虚函数的类。我们使用Abstract类是因为在定义函数时，我们不知道其实现，因此在我们不知道类的功能应该做什么的情况下非常有帮助，但是我们确定在我们的系统中必须是这样的功能。因此，我们声明一个纯虚函数，该虚函数仅声明而没有该函数的实现。

因此，当我们要从类的实例检查该类是否为Abstract类时，可以使用is_abstract()。

is_abstract()继承自itegral_constant并给出true_type或false_type，具体取决于类T的实例是否是多态类类型。

语法

template <class T> struct is_abstract;

参数

该模板只能具有一个参数T，该参数具有用于检查类T是否为抽象类的类类型。

返回值

此函数返回布尔类型值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