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