在C++中使用std::is_destructible进行检查

C++ STL中的 std::is_destructible 模板在 <type_traits> 头文件中。C++ STL的 **std::is_destructible 模板用于检查 T 是否可析构。一个可析构的类是指其析构函数未被删除且在派生类中可能可访问。如果 T 是可析构类型，它返回布尔值true，否则返回false。

头文件：

#include<type_traits>

模板类：

template< class T >
struct is_destructible;

语法：

std::is_destructible<T>::value

参数： 模板 std::is_destructible 接受单个参数 T(Trait class) 来检查 T 是否为可析构类型。

返回值： 模板 std::is_destructible 返回布尔变量，如下所示：

True: 如果类型T为可析构类型。
False: 如果类型T不是可析构类型。

下面是演示 std::is_destructible 在C++中的程序：

程序：

// C++ program to illustrate
// std::is_destructible
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;

// Declare a structures
struct X {
};

struct Y {

    // Destructors
    ~Y() = delete;
};

struct Z {
    ~Z() = default;
};

struct A : Y {
};

// Driver Code
int main()
{

    cout << boolalpha;

    // Check if int is destructible
    // or not
    cout << "int is destructible? "
         << is_destructible<int>::value
         << endl;

    // Check if float is destructible
    // or not
    cout << "float is destructible? "
         << is_destructible<float>::value
         << endl;

    // Check if struct X is
    // destructible or not
    cout << "struct X is destructible? "
         << is_destructible<X>::value
         << endl;

    // Check if struct Y is
    // destructible or not
    cout << "struct Y is destructible? "
         << is_destructible<Y>::value
         << endl;

    // Check if struct Z is
    // destructible or not
    cout << "struct Z is destructible? "
         << is_destructible<Z>::value
         << endl;

    // Check if struct A is
    // destructible or not
    cout << "struct A is destructible? "
         << is_destructible<A>::value
         << endl;

    return 0;
}

int is destructible? true
float is destructible? true
struct X is destructible? true
struct Y is destructible? false
struct Z is destructible? true
struct A is destructible? false