g++上c++模板與padding互動產生的陷阱

 

關於Padding，請看下面的代碼：

#pragma pack(1)
struct A
{
         char c;
         int i;
};
#pragma pack()
struct A2
{
         char c;
         int i;
};

我們可以assert:

assert(sizeof(A) == 5);
assert(sizeof(A2) == 8); // 假設32位編譯環境

這裡的padding大小我們基本都可以預測。

由於c++模板的代碼建置規則，下面的代碼可能不會注意到

template<typename T>
struct BT
{
         int a;
};

#pragma pack(1)
struct B
{
         char c;
         BT b;
};

#pragma pack()
struct B2
{
         char c;
         BT b;
};

這時sizeof(B2)以及B2::b的位移地址是多少？

struct BT第一次被執行個體化是在struct B內，且此時的pack為1.於是該類的alienment也被當作1來處理

到後面的B2內，雖然pack已經恢複（為4）但b的alienment值仍然為1，於是sizeof(B2)==5而B2::b的位移為1而不是4

注意：在vc上，這個sizeof(B2)==8，B2::b的位移為4，仍然是我們所期望的。