C++ 中的 std::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 是否为抽象类。
返回值
此函数返回布尔类型值,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
广告