std::is_七贤镇

std::is_trivially_destructible来判断一个内置类型或structure/class/union类型是否为 “容易销毁的(trivially destructible)”，从字面意思也可以看出，主要是check这个类型的析构函数。官网给出如下解释：
A trivially destructible class is a class (defined with class, struct or union) that:

uses the implicitly defined destructor.
the destructor is not virtual.
its base class and non-static data members (if any) are themselves also trivially destructible types.

也就是说，如果一个类定义了非默认的析构函数，比如类的构造函数中有new，那么需要自写析构来delete，那么std::is_trivially_destructible::value将返回false 。
如果一个类中的非静态成员变量是 not rivially destructible types，那么这个类也将是not rivially destructible types，std::is_trivially_destructible::value将返回false 。
在SystemC中，对于sc_bv 类型，由于其基类sc_bv_base有自定义析构函数，所以std::is_trivially_destructible>::value 返回false 。
virtual ~sc_bv_base(){ delete [] m_data; } 参考：
is_trivially_destructible - C++ Reference
C++ std::is_trivially_destructible用法及代码示例 - 纯净天空
STL in C++11 (Allocator 2) - 简书
【std::is】

// execute://g++ -g -Wall -lsystemc -m64 -pthread main.cpp//-L/$(your systemc path)/lib-linux64//-I/$(your systemc path)/include-I/$(your systemc path)/src/tlm_utils -o sim#include // C++ program to illustrate// std::is_trivially_destructible#include #include using namespace std;struct Y{Y(int, int){};};struct X{// Destructor~X() noexcept(false){}};struct Z{~Z() = default;};class A{virtual void fn() {}};class MyBvClass{sc_dt::sc_bv<2> m_test_mem;};int sc_main(int argc, char **argv){cout << boolalpha;cout << "int:"<< std::is_trivially_destructible::value<< endl;cout << "struct X:"<< std::is_trivially_destructible::value<< endl;cout << "struct Y:"<< std::is_trivially_destructible::value<< endl;cout << "struct Z:"<< std::is_trivially_destructible::value<< endl;cout << "class A:"<< std::is_trivially_destructible::value<< endl;cout << "class MyBvClass:"<< std::is_trivially_destructible::value<< endl;sc_core::sc_start();return 0;}