__declspec(align(#))

在核心编程中看到上面这样的东西，虽然懵懵懂懂知道是与字节对齐相关，

 

但还是想知道究竟是怎么回事，顺着书中提供的相关网站，看了下资料，

 

评介仅有的一点英文水平，记录下来。

 

align Examples:

 

下面的一些例子展示了 __declspec(align(#))是怎样影响结构体数据的对齐的，

 

例子假设下面的定义：

 

#define CACHE_LINE 32 #define CACHE_ALIGN __declspec(align(CACHE_LINE))

 

下面这个例子，S1结构体用__declspec(align(32))定义，所有S1的使用，不论是变量的定

 

义还是其他类型的定义，都会保证这个结构体是以32个字节对齐。sizeof(struct S1)返回

 

32，并且在S1结构体容纳四个整形的16个字节后又增加了16个字节。每个整形成员需要4个

 

字节对齐，但是结构体本身声明为32字节对齐，所以总体的对齐是32个字节。

 

struct CACHE_ALIGN S1 { // cache align all instances of S1 int a, b, c, d; }; struct S1 s1; // s1 is 32-byte cache aligned

 

下面的例子，sizeof(struct S2)将要返回16,这着实是所有成员变量相加的和。因为这个和

 

就已经是成员中最大变量对齐需要字节数的倍数

 

__declspec(align(8)) struct S2 { int a, b, c, d; };

 

下面的例子，sizeof((struct S3)将返回64.(S3从S1继承了对齐方式)

 

 

struct S3 { struct S1 s1; // S3 inherits cache alignment requirement // from S1 declaration int a; // a is now cache aligned because of s1 // 28 bytes of trailing padding };

 

 

下面的例子，注意a只有自然的对齐方式，也就是4个字节，但是S1必须以32个字节对齐，这

 

样将会有28个字节添加到a的末尾来保证S1以32字节对齐，S4仍久会继承S1的对齐方式，因

 

为在这个结构体中最大的字节需求也就是S1的需求，所以sizeof(struct S4)返回64

 

 struct S4 { int a; // 28 bytes padding struct S1 s1; // S4 inherits cache alignment requirement of S1 };

 

下面的三个变量同样使用了__declspec(align(#)),在每种情形，变量必须以32字节对齐，对

 

于数组，只是数组的基址要以32字节对齐，而不是每个元素都要被__declspec(align(#))所

 

影响。

 

CACHE_ALIGN int i; CACHE_ALIGN int array[128]; CACHE_ALIGN struct s2 s;

 

如果想要将数组中的每个元素都有这样的对齐方式（32），我们应该向下面这样做。

 

typedef CACHE_ALIGN struct { int a; } S5; S5 array[10];

 

在下面例子中，格外注意的是对齐结构体本身和对齐结构体的第一个元素是等价的。

 

CACHE_ALIGN struct S6 { int a; int b; }; struct S7 { CACHE_ALIGN int a; int b; };

 

S6和S7有相同的对齐方式，内存分配方式以及大小。

 

 

For Reference Only