#include <iostream>
/**********************************************************/
//測試類型是否是平凡的
struct Trivial1{};
struct Trivial2
{
int a, b;
};
struct Trivial3
{
Trivial1 t1;
Trivial2 t2;
Trivial2 ta[2];
};
struct Trivial4
{
int x;
static int y;
};
struct Trivial5
{
Trivial5() = default;
};
struct NoTrivial1
{
NoTrivial1() :z(4){}
int z;
};
struct NoTrivial2
{
NoTrivial2();
int w;
};
NoTrivial2::NoTrivial2() = default;
struct NoTrivial3
{
virtual void f();
};
/**********************************************************/
//測試類型是否是标準布局的
struct SLayout1{};
struct SLayout2
{
private:
int x;
int y;
};
struct SLayout3 : SLayout1
{
int x;
int y;
void f();
};
struct SLayout4 : SLayout1
{
int x;
SLayout1 y;
};
struct SLayout5 { static int y; };
struct SLayout6 : SLayout5{ int x; };
struct NoSLayout1 : SLayout1 //不滿足(3)類中第一個非靜态成員的類型與其基類不同
{
SLayout1 x;
int i;
};
struct NoSLayout2 : SLayout2{ int z; }; //不滿足(2)
struct NoSLayout3 : NoSLayout2{};
struct NoSLayout4 //不滿足(1)
{
public:
int x;
private:
int y;
};
/**********************************************************/
//測試類型是否是POD的
union U{};
union U1{ U1(){} };
enum E{};
typedef double* DA;
typedef void(*PF)(int, double);
/**********************************************************/
int main()
{
//POD 類型:Plain Old Data
//平凡的(trivial)和标準布局的(standard layout)
//(1)平凡的
//1、擁有平凡的預設構造函數和析構函數,在C++11中可以使用=default關鍵字顯式聲明預設的構造函數,進而恢複“平凡化”
// 注意:Trivial5和NoTrivial2的default差別
//2、擁有平凡的拷貝構造函數和移動構造函數
//3、擁有平凡的拷貝指派函數和移動指派函數
//4、不能包含虛函數以及虛基類
//template<typename T> struct std::is_trivial;
//通過類模闆is_trivial的value值來判斷T類型是否是個平凡的類型
std::cout << std::is_trivial<Trivial1>::value << std::endl; //1
std::cout << std::is_trivial<Trivial2>::value << std::endl; //1
std::cout << std::is_trivial<Trivial3>::value << std::endl; //1
std::cout << std::is_trivial<Trivial4>::value << std::endl; //1
std::cout << std::is_trivial<Trivial5>::value << std::endl; //1
std::cout << std::is_trivial<NoTrivial1>::value << std::endl; //0
std::cout << std::is_trivial<NoTrivial2>::value << std::endl; //0
std::cout << std::is_trivial<NoTrivial3>::value << std::endl; //0
std::cout << std::endl;
//(2)标準布局的
//1、所有非靜态成員有相同的通路權限
//2、在類或結構體繼承時,如果滿足以下兩種情況之一:
// 1)派生類中有非靜态成員,且隻有一個僅包含靜态成員的基類
// 2)基類有非靜态成員,而派生類沒有非靜态成員
//3、類中第一個非靜态成員的類型與其基類不同
//4、沒有虛函數和虛基類
//5、所有非靜态成員均符合标準布局類型,其基類也符合标準布局。
//template<typename T> struct std::is_standard_layout;
//通過類模闆is_trivial的value值來判斷T類型是否是個标準布局的類型
std::cout << std::is_standard_layout<SLayout1>::value << std::endl; //1
std::cout << std::is_standard_layout<SLayout2>::value << std::endl; //1
std::cout << std::is_standard_layout<SLayout3>::value << std::endl; //1
std::cout << std::is_standard_layout<SLayout4>::value << std::endl; //1
std::cout << std::is_standard_layout<SLayout5>::value << std::endl; //1
std::cout << std::is_standard_layout<SLayout6>::value << std::endl; //1
std::cout << std::is_standard_layout<NoSLayout1>::value << std::endl; //0
std::cout << std::is_standard_layout<NoSLayout2>::value << std::endl; //0
std::cout << std::is_standard_layout<NoSLayout3>::value << std::endl; //0
std::cout << std::is_standard_layout<NoSLayout4>::value << std::endl; //0
std::cout << std::endl;
//POD類型:很多内置的類型都是POD的
//template<typename T> struct std::is_pod;
//通過類模闆is_pod的value值來判斷T類型是否是個标準布局的類型
std::cout << std::is_pod<U>::value << std::endl; //1
std::cout << std::is_pod<U1>::value << std::endl; //0
std::cout << std::is_pod<E>::value << std::endl; //1
std::cout << std::is_pod<int>::value << std::endl; //1
std::cout << std::is_pod<DA>::value << std::endl; //1
std::cout << std::is_pod<PF>::value << std::endl; //1
return 0;
}
====================打個廣告,歡迎關注====================
QQ: | 412425870 |
csdn部落格: | http://blog.csdn.net/caychen |
碼雲: | https://gitee.com/caychen/ |
github: | https://github.com/caychen |
點選群号或者掃描二維碼即可加入QQ群: 328243383(1群) | |
點選群号或者掃描二維碼即可加入QQ群: 180479701(2群) |