C ++中的is_empty模板

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

is_empty是<type_traits>头文件下的模板。该模板用于检查给定的类T是否为空类。

什么是空类？

当一个类中没有存储数据时，该类称为空类。空类满足以下条件-

除长度为0的位字段外，不得包含任何非静态成员。

必须没有虚拟基类或虚拟函数。

必须没有基类。

语法

template <class T>is_empty;

参量

模板只能具有类T的参数，并检查类T是否为空类。

返回值

它返回一个布尔值，如果给定类型为空类，则返回true，如果给定类型非空类，则返回false。

示例

Input: class A{}; is_empty<A>::value; Output: true Input: class B{ void fun() {} }; is_empty<B>::value; Output: true

示例

#include <iostream> #include <type_traits> using namespace std; class TP_1 { }; class TP_2 { int var; }; class TP_3 { static int var; }; class TP_4 { ~TP_4(); }; int main() { cout << boolalpha; cout << "检查没有变量的类的is_empty模板: "<< is_empty<TP_1>::value; cout <<"\n检查具有一个变量的类的is_empty模板: "<< is_empty<TP_2>::value; cout <<"\n检查具有一个静态变量的类的is_empty模板: "<< is_empty<TP_3>::value; cout <<"\n检查带有构造函数的类的is_empty模板: "<< is_empty<TP_4>::value; return 0; }

输出结果

如果我们运行上面的代码，它将生成以下输出-

检查没有变量的类的is_empty模板: true 检查具有一个变量的类的is_empty模板: false 检查具有一个静态变量的类的is_empty模板: true 检查带有构造函数的类的is_empty模板: true

示例

#include <iostream> #include <type_traits> using namespace std; struct TP_1 { }; struct TP_2 { int var; }; struct TP_3 { static int var; }; struct TP_4 { ~TP_4(); }; int main() { cout << boolalpha; cout << "检查is_empty模板是否有没有变量的结构: "<< is_empty<TP_1>::value; cout <<"\n检查具有一个变量的结构的is_empty模板: "<< is_empty<TP_2>::value; cout <<"\n检查具有一个静态变量的结构的is_empty模板: "<< is_empty<TP_3>::value; cout <<"\n使用构造函数检查结构的is_empty模板: "<< is_empty<TP_4>::value; return 0; }

输出结果

如果我们运行上面的代码，它将生成以下输出-

检查is_empty模板是否有没有变量的结构: true 检查具有一个变量的结构的is_empty模板: false 检查具有一个静态变量的结构的is_empty模板: true 使用构造函数检查结构的is_empty模板: true