__attribute__

请问这个“__attribute__” 是什么意思，该怎么使用

还有#if  这个又怎么用
如
#if 1   /*此处的1该怎么定义出来才行*/
void sidghu()
{
   uchar k;
   k=0;
   k=1;
}
#endif

在学习linux内核代码及一些开源软件的源码（如：DirectFB），经常可以看到有关__attribute__的相关使用。本文结合自己的学习经历，较为详细的介绍了__attribute__相关语法及其使用。

GNU C的一大特色（却不被初学者所知）就是__attribute__机制。__attribute__可以设置函数属性（Function Attribute）、变量属性（Variable Attribute）和类型属性（Type Attribute）。
__attribute__书写特征是：__attribute__前后都有两个下划线，并切后面会紧跟一对原括弧，括弧里面是相应的__attribute__参数。
__attribute__语法格式为：
__attribute__ ((attribute-list))
其位置约束为：
放于声明的尾部“；”之前。
函数属性（Function Attribute）
函数属性可以帮助开发者把一些特性添加到函数声明中，从而可以使编译器在错误检查方面的功能更强大。__attribute__机制也很容易同非GNU应用程序做到兼容之功效。
GNU CC需要使用 –Wall编译器来击活该功能，这是控制警告信息的一个很好的方式。下面介绍几个常见的属性参数。
__attribute__ format
该__attribute__属性可以给被声明的函数加上类似printf或者scanf的特征，它可以使编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配。该功能十分有用，尤其是处理一些很难发现的bug。
format的语法格式为：
format (archetype, string-index, first-to-check)
    format属性告诉编译器，按照printf, scanf, strftime或strfmon的参数表格式规则对该函数的参数进行检查。“archetype”指定是哪种风格；“string-index”指定传入函数的第几个参数是格式化字符串；“first-to-check”指定从函数的第几个参数开始按上述规则进行检查。
具体使用格式如下：
__attribute__((format(printf,m,n)))
__attribute__((format(scanf,m,n)))
其中参数m与n的含义为：
m：第几个参数为格式化字符串（format string）；
n：参数集合中的第一个，即参数“…”里的第一个参数在函数参数总数排在第几，注意，有时函数参数里还有“隐身”的呢，后面会提到；
在使用上，__attribute__((format(printf,m,n)))是常用的，而另一种却很少见到。下面举例说明，其中myprint为自己定义的一个带有可变参数的函数，其功能类似于printf：
//m=1；n=2
extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));
//m=2；n=3
extern void myprint(int l，const char *format,...) __attribute__((format(printf,2,3)));
需要特别注意的是，如果myprint是一个函数的成员函数，那么m和n的值可有点“悬乎”了，例如：
//m=3；n=4
extern void myprint(int l，const char *format,...) __attribute__((format(printf,3,4)));
其原因是，类成员函数的第一个参数实际上一个“隐身”的“this”指针。（有点C++基础的都知道点this指针，不知道你在这里还知道吗？）
这里给出测试用例：attribute.c，代码如下：
1：
2：extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));
3：
4：void test()
5：{
6：      myprint("i=%d\n",6);
7：      myprint("i=%s\n",6);
8：      myprint("i=%s\n","abc");
9：      myprint("%s,%d,%d\n",1,2);
10：}

运行$gcc –Wall –c attribute.c attribute后，输出结果为：

attribute.c: In function `test':
attribute.c:7: warning: format argument is not a pointer (arg 2)
attribute.c:9: warning: format argument is not a pointer (arg 2)
attribute.c:9: warning: too few arguments for format

如果在attribute.c中的函数声明去掉__attribute__((format(printf,1,2)))，再重新编译，既运行$gcc –Wall –c attribute.c attribute后，则并不会输出任何警告信息。
注意，默认情况下，编译器是能识别类似printf的“标准”库函数。
__attribute__ noreturn
该属性通知编译器函数从不返回值，当遇到类似函数需要返回值而却不可能运行到返回值处就已经退出来的情况，该属性可以避免出现错误信息。C库函数中的abort（）和exit（）的声明格式就采用了这种格式，如下所示：

extern void exit(int)   __attribute__((noreturn));
extern void abort(void) __attribute__((noreturn));

为了方便理解，大家可以参考如下的例子：

//name: noreturn.c ；测试__attribute__((noreturn))
extern void myexit();

int test(int n)
{
    if ( n > 0 )
     {
          myexit();
           /* 程序不可能到达这里*/
     }
    else
          return 0;
}

编译显示的输出信息为：

$gcc –Wall –c noreturn.c
noreturn.c: In function `test':
noreturn.c:12: warning: control reaches end of non-void function

警告信息也很好理解，因为你定义了一个有返回值的函数test却有可能没有返回值，程序当然不知道怎么办了！
加上__attribute__((noreturn))则可以很好的处理类似这种问题。把
extern void myexit();
修改为：
extern void myexit() __attribute__((noreturn));
之后，编译不会再出现警告信息。
__attribute__ const
该属性只能用于带有数值类型参数的函数上。当重复调用带有数值参数的函数时，由于返回值是相同的，所以此时编译器可以进行优化处理，除第一次需要运算外，其它只需要返回第一次的结果就可以了，进而可以提高效率。该属性主要适用于没有静态状态（static state）和副作用的一些函数，并且返回值仅仅依赖输入的参数。
为了说明问题，下面举个非常“糟糕”的例子，该例子将重复调用一个带有相同参数值的函数，具体如下：

extern int square(int n) __attribute__((const));
...
     for (i = 0; i < 100; i++ )
     {
           total += square(5) + i;
     }

通过添加__attribute__((const))声明，编译器只调用了函数一次，以后只是直接得到了相同的一个返回值。
事实上，const参数不能用在带有指针类型参数的函数中，因为该属性不但影响函数的参数值，同样也影响到了参数指向的数据，它可能会对代码本身产生严重甚至是不可恢复的严重后果。
并且，带有该属性的函数不能有任何副作用或者是静态的状态，所以，类似getchar（）或time（）的函数是不适合使用该属性的。
-finstrument-functions
该参数可以使程序在编译时，在函数的入口和出口处生成instrumentation调用。恰好在函数入口之后并恰好在函数出口之前，将使用当前函数的地址和调用地址来调用下面的 profiling 函数。（在一些平台上，__builtin_return_address不能在超过当前函数范围之外正常工作，所以调用地址信息可能对profiling函数是无效的。）

void __cyg_profile_func_enter(void *this_fn, void *call_site);
void __cyg_profile_func_exit(void *this_fn, void *call_site);

其中，第一个参数this_fn是当前函数的起始地址，可在符号表中找到；第二个参数call_site是指调用处地址。
instrumentation 也可用于在其它函数中展开的内联函数。从概念上来说，profiling调用将指出在哪里进入和退出内联函数。这就意味着这种函数必须具有可寻址形式。如果函数包含内联，而所有使用到该函数的程序都要把该内联展开，这会额外地增加代码长度。如果要在C 代码中使用extern inline声明，必须提供这种函数的可寻址形式。
可对函数指定no_instrument_function属性，在这种情况下不会进行instrumentation操作。例如，可以在以下情况下使用no_instrument_function属性：上面列出的profiling函数、高优先级的中断例程以及任何不能保证profiling正常调用的函数。
no_instrument_function
如果使用了-finstrument-functions ，将在绝大多数用户编译的函数的入口和出口点调用profiling函数。使用该属性，将不进行instrument操作。
constructor/destructor
若函数被设定为constructor属性，则该函数会在main（）函数执行之前被自动的执行。类似的，若函数被设定为destructor属性，则该函数会在main（）函数执行之后或者exit（）被调用后被自动的执行。拥有此类属性的函数经常隐式的用在程序的初始化数据方面。
这两个属性还没有在面向对象C中实现。
同时使用多个属性
可以在同一个函数声明里使用多个__attribute__，并且实际应用中这种情况是十分常见的。使用方式上，你可以选择两个单独的__attribute__，或者把它们写在一起，可以参考下面的例子：

/* 把类似printf的消息传递给stderr 并退出 */
extern void die(const char *format, ...)
     __attribute__((noreturn))
     __attribute__((format(printf, 1, 2)));

或者写成

extern void die(const char *format, ...)
     __attribute__((noreturn, format(printf, 1, 2)));

如果带有该属性的自定义函数追加到库的头文件里，那么所以调用该函数的程序都要做相应的检查。

和非GNU编译器的兼容性
庆幸的是，__attribute__设计的非常巧妙，很容易作到和其它编译器保持兼容，也就是说，如果工作在其它的非GNU编译器上，可以很容易的忽略该属性。即使__attribute__使用了多个参数，也可以很容易的使用一对圆括弧进行处理，例如：

/* 如果使用的是非GNU C, 那么就忽略__attribute__ */
#ifndef __GNUC__
# define __attribute__(x) /*NOTHING*/
#endif

需要说明的是，__attribute__适用于函数的声明而不是函数的定义。所以，当需要使用该属性的函数时，必须在同一个文件里进行声明，例如：

/* 函数声明 */
void die(const char *format, ...) __attribute__((noreturn))
                      __attribute__((format(printf,1,2)));

void die(const char *format, ...)
{
     /* 函数定义 */
}

变量属性（Variable Attributes）
关键字__attribute__也可以对变量（variable）或结构体成员（structure field）进行属性设置。这里给出几个常用的参数的解释，更多的参数可参考本文给出的连接。
在使用__attribute__参数时，你也可以在参数的前后都加上“__”（两个下划线），例如，使用__aligned__而不是aligned，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。
aligned (alignment)
该属性规定变量或结构体成员的最小的对齐格式，以字节为单位。例如：

int x __attribute__ ((aligned (16))) = 0;

编译器将以16字节（注意是字节byte不是位bit）对齐的方式分配一个变量。也可以对结构体成员变量设置该属性，例如，创建一个双字对齐的int对，可以这么写：

struct foo { int x[2] __attribute__ ((aligned (8))); };

如上所述，你可以手动指定对齐的格式，同样，你也可以使用默认的对齐方式。如果aligned后面不紧跟一个指定的数字值，那么编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如：

short array[3] __attribute__ ((aligned));

选择针对目标机器最大的对齐方式，可以提高拷贝操作的效率。
aligned属性使被设置的对象占用更多的空间，相反的，使用packed可以减小对象占用的空间。
需要注意的是，attribute属性的效力与你的连接器也有关，如果你的连接器最大只支持16字节对齐，那么你此时定义32字节对齐也是无济于事的。
packed
使用该属性可以使得变量或者结构体成员使用最小的对齐方式，即对变量是一字节对齐，对域（field）是位对齐。
下面的例子中，x成员变量使用了该属性，则其值将紧放置在a的后面：

     struct test
      {
        char a;
        int x[2] __attribute__ ((packed));
      };

其它可选的属性值还可以是：cleanup，common，nocommon，deprecated，mode，section，shared，tls_model，transparent_union，unused，vector_size，weak，dllimport，dlexport等，

类型属性（Type Attribute）
关键字__attribute__也可以对结构体（struct）或共用体（union）进行属性设置。大致有六个参数值可以被设定，即：aligned, packed, transparent_union, unused, deprecated 和 may_alias。
在使用__attribute__参数时，你也可以在参数的前后都加上“__”（两个下划线），例如，使用__aligned__而不是aligned，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。
aligned (alignment)
该属性设定一个指定大小的对齐格式（以字节为单位），例如：

struct S { short f[3]; } __attribute__ ((aligned (8)));
typedef int more_aligned_int __attribute__ ((aligned (8)));

该声明将强制编译器确保（尽它所能）变量类型为struct S或者more-aligned-int的变量在分配空间时采用8字节对齐方式。
如上所述，你可以手动指定对齐的格式，同样，你也可以使用默认的对齐方式。如果aligned后面不紧跟一个指定的数字值，那么编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如：

struct S { short f[3]; } __attribute__ ((aligned));

这里，如果sizeof（short）的大小为2（byte），那么，S的大小就为6。取一个2的次方值，使得该值大于等于6，则该值为8，所以编译器将设置S类型的对齐方式为8字节。
aligned属性使被设置的对象占用更多的空间，相反的，使用packed可以减小对象占用的空间。
需要注意的是，attribute属性的效力与你的连接器也有关，如果你的连接器最大只支持16字节对齐，那么你此时定义32字节对齐也是无济于事的。
packed
使用该属性对struct或者union类型进行定义，设定其类型的每一个变量的内存约束。当用在enum类型定义时，暗示了应该使用最小完整的类型（it indicates that the smallest integral type should be used）。
下面的例子中，my-packed-struct类型的变量数组中的值将会紧紧的靠在一起，但内部的成员变量s不会被“pack”，如果希望内部的成员变量也被packed的话，my-unpacked-struct也需要使用packed进行相应的约束。

struct my_unpacked_struct
{
    char c;
    int i;
};
      
struct my_packed_struct
{
  char c;
  int i;
  struct my_unpacked_struct s;
}__attribute__ ((__packed__));

其它属性的含义见：
http://gcc.gnu.org/onlinedocs/gc ... tml#Type-Attributes
变量属性与类型属性举例
下面的例子中使用__attribute__属性定义了一些结构体及其变量，并给出了输出结果和对结果的分析。
程序代码为：

struct p
{
int a;
char b;
char c;
}__attribute__((aligned(4))) pp;

struct q
{
int a;
char b;
struct n qn;
char c;
}__attribute__((aligned(8))) qq;


int main()
{
printf("sizeof(int)=%d,sizeof(short)=%d.sizeof(char)=%d\n",sizeof(int),sizeof(short),sizeof(char));
printf("pp=%d,qq=%d \n", sizeof(pp),sizeof(qq));

return 0;
}

输出结果：

sizeof(int)=4,sizeof(short)=2.sizeof(char)=1
pp=8,qq=24

分析：

sizeof(pp):
sizeof(a)+ sizeof(b)+ sizeof(c)=4+1+1=6<23=8= sizeof(pp)
sizeof(qq):
sizeof(a)+ sizeof(b)=4+1=5
sizeof(qn)=8;即qn是采用8字节对齐的，所以要在a，b后面添3个空余字节，然后才能存储qn，
4+1+（3）+8+1=17
因为qq采用的对齐是8字节对齐，所以qq的大小必定是8的整数倍，即qq的大小是一个比17大又是8的倍数的一个最小值，由此得到
17<24+8=24= sizeof(qq)

更详细的介绍见：http://gcc.gnu.org
下面是一些便捷的连接：GCC 4.0 Function Attributes；GCC 4.0 Variable Attributes ；GCC 4.0 Type Attributes ；GCC 3.2 Function Attributes ；GCC 3.2 Variable Attributes ；GCC 3.2 Type Attributes ；GCC 3.1 Function Attributes ；GCC 3.1 Variable Attributes

Reference：
1．有关__attribute__的相对简单的介绍：http://www.unixwiz.net/techtips/gnu-c-attributes.html
2．__attribute__详细介绍：http://gcc.gnu.org

使用__attribute__处理对齐问题

by：taomic

                               使用__attribute__处理对齐问题

GNU C扩展的__attribute__ 机制被用来设置函数、变量、类型的属性，其用得较多的是处理字节对齐的问题。

__attribute__ 的语法为：

1. __attribute__ ((语法列表))

复制代码

参数aligned(number) [number为最小对齐的字节数]是用得较多的一个。
另一个是参数packed 表示“使用最小对齐”方式，即对变量是字节对齐，对于域是位对齐。

这个例子稍长了点，不过非常简单：
[root@Kendo develop]# cat align.c

1. #include <stdio.h>
   
2. 
   
3. struct A{
   
4.         char a;
   
5.         int b;
   
6.         unsigned short c;
   
7.         long d;
   
8.         unsigned long long e;
   
9.         char f;
   
10. };
    
11. 
    
12. struct B{
    
13.         char a;
    
14.         int b;
    
15.         unsigned short c;
    
16.         long d;
    
17.         unsigned long long e;
    
18.         char f;
    
19. }__attribute__((aligned));
    
20. 
    
21. struct C{
    
22.         char a;
    
23.         int b;
    
24.         unsigned short c;
    
25.         long d;
    
26.         unsigned long long e;
    
27.         char f;
    
28. }__attribute__((aligned(1)));
    
29. 
    
30. 
    
31. struct D{
    
32.         char a;
    
33.         int b;
    
34.         unsigned short c;
    
35.         long d;
    
36.         unsigned long long e;
    
37.         char f;
    
38. }__attribute__((aligned(4)));
    
39. 
    
40. struct E{
    
41.         char a;
    
42.         int b;
    
43.         unsigned short c;
    
44.         long d;
    
45.         unsigned long long e;
    
46.         char f;
    
47. }__attribute__((aligned(8)));
    
48. 
    
49. struct F{
    
50.         char a;
    
51.         int b;
    
52.         unsigned short c;
    
53.         long d;
    
54.         unsigned long long e;
    
55.         char f;
    
56. }__attribute__((packed));
    
57. 
    
58. int main(int argc, char **argv)
    
59. {
    
60.         printf("A = %d, B = %d, C = %d, D = %d, E = %d, F = %d\n",
    
61.                 sizeof(struct A), sizeof(struct B), sizeof(struct C), sizeof(struct D), sizeof(struct E), sizeof(struct F));
    
62.         return 0;
    
63. }

复制代码

在一个32位机上运行结果如下：

1. [root@Kendo develop]# gcc -o align align.c
   
2. [root@Kendo develop]# ./align            
   
3. A = 28, B = 32, C = 28, D = 28, E = 32, F = 20

复制代码

我们看到，最后一个struct F，1 + 4 + 2 + 4 + 8 + 1 = 20，因为使用了__attribute__((packed)); 来表示以最小方式对齐，所以结果刚好为20。

而第一个struct A，因为什么也没有跟，采用默认处理方式：4（1） + 4 + 4（2） + 4 +  8 + 4（1） = 28，括号中是其成员本来的大小。与此相似的是struct D。

接下来看struct E，采用8个字节的方式来对齐：8（1+4+2 ，即a, b, c）+ 8(4, d) + 8 + 8(1, f) = 32。

而在struct C中，试图使用__attribute__((aligned(1))) 来使用1个字节方式的对齐，不过并未如愿，仍然采用了默认4个字节的对齐方式。

在struct B中，aligned没有参数，表示“让编译器根据目标机制采用最大最有益的方式对齐"——当然，最有益应该是运行效率最高吧，呵呵。其结果是与struct E相同。

在对结构的大小并不关注的时候，采用默认对齐方式或者编译器认为最有益的方式是最常见的，然后，对于一些对结构空间大小要求严格，例如定义一个数据包报头的时候，明白结构的对齐方式，就非常有用了。



同时使用多个属性

可以在同一个函数声明里使用多个__attribute__，并且实际应用中这种情况是十分常见的。使用方式上，你可以选择两个单独的__attribute__，或者把它们写在一起，可以参考下面的例子：

/* 把类似printf的消息传递给stderr 并退出 */

extern void die(const char *format, ...)

                __attribute__((noreturn))

                __attribute__((format(printf, 1, 2)));



或者写成



extern void die(const char *format, ...)

                __attribute__((noreturn, format(printf, 1, 2)));



如果带有该属性的自定义函数追加到库的头文件里，那么所以调用该函数的程序都要做相应的检查。

和非GNU编译器的兼容性

庆幸的是，__attribute__设计的非常巧妙，很容易作到和其它编译器保持兼容，也就是说，如果工作在其它的非GNU编译器上，可以很容易的忽略该属性。即使__attribute__使用了多个参数，也可以很容易的使用一对圆括弧进行处理，例如：

/* 如果使用的是非GNU C, 那么就忽略__attribute__ */

#ifndef __GNUC__

#  define  __attribute__(x)  /*NOTHING*/

#endif

需要说明的是，__attribute__适用于函数的声明而不是函数的定义。所以，当需要使用该属性的函数时，必须在同一个文件里进行声明，例如：

/* 函数声明 */

void die(const char *format, ...) __attribute__((noreturn))

                                   __attribute__((format(printf,1,2)));



void die(const char *format, ...)

{

                /* 函数定义 */

}

更多的属性含义参考：

http://gcc.gnu.org/onlinedocs/gc ... ion-Attributes.html

变量属性（Variable Attributes）

关键字__attribute__也可以对变量（variable）或结构体成员（structure field）进行属性设置。这里给出几个常用的参数的解释，更多的参数可参考本文给出的连接。

在使用__attribute__参数时，你也可以在参数的前后都加上“__”（两个下划线），例如，使用__aligned__而不是aligned，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。

aligned (alignment)

该属性规定变量或结构体成员的最小的对齐格式，以字节为单位。例如：

int x __attribute__ ((aligned (16))) = 0;

编译器将以16字节（注意是字节byte不是位bit）对齐的方式分配一个变量。也可以对结构体成员变量设置该属性，例如，创建一个双字对齐的int对，可以这么写：

struct foo { int x[2] __attribute__ ((aligned (8))); };



如上所述，你可以手动指定对齐的格式，同样，你也可以使用默认的对齐方式。如果aligned后面不紧跟一个指定的数字值，那么编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如：

short array[3] __attribute__ ((aligned));

选择针对目标机器最大的对齐方式，可以提高拷贝操作的效率。

aligned属性使被设置的对象占用更多的空间，相反的，使用packed可以减小对象占用的空间。

需要注意的是，attribute属性的效力与你的连接器也有关，如果你的连接器最大只支持16字节对齐，那么你此时定义32字节对齐也是无济于事的。

packed

使用该属性可以使得变量或者结构体成员使用最小的对齐方式，即对变量是一字节对齐，对域（field）是位对齐。

下面的例子中，x成员变量使用了该属性，则其值将紧放置在a的后面：

                struct test

           {

             char a;

             int x[2] __attribute__ ((packed));

           };



其它可选的属性值还可以是：cleanup，common，nocommon，deprecated，mode，section，shared，tls_model，transparent_union，unused，vector_size，weak，dllimport，dlexport等，

详细信息可参考：

http://gcc.gnu.org/onlinedocs/gc ... Variable-Attributes

类型属性（Type Attribute）

关键字__attribute__也可以对结构体（struct）或共用体（union）进行属性设置。大致有六个参数值可以被设定，即：aligned, packed, transparent_union, unused, deprecated 和 may_alias。

在使用__attribute__参数时，你也可以在参数的前后都加上“__”（两个下划线），例如，使用__aligned__而不是aligned，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。

aligned (alignment)

该属性设定一个指定大小的对齐格式（以字节为单位），例如：

struct S { short f[3]; } __attribute__ ((aligned (8)));

typedef int more_aligned_int __attribute__ ((aligned (8)));

该声明将强制编译器确保（尽它所能）变量类型为struct S或者more-aligned-int的变量在分配空间时采用8字节对齐方式。

如上所述，你可以手动指定对齐的格式，同样，你也可以使用默认的对齐方式。如果aligned后面不紧跟一个指定的数字值，那么编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如：

struct S { short f[3]; } __attribute__ ((aligned));

这里，如果sizeof（short）的大小为2（byte），那么，S的大小就为6。取一个2的次方值，使得该值大于等于6，则该值为8，所以编译器将设置S类型的对齐方式为8字节。

aligned属性使被设置的对象占用更多的空间，相反的，使用packed可以减小对象占用的空间。

需要注意的是，attribute属性的效力与你的连接器也有关，如果你的连接器最大只支持16字节对齐，那么你此时定义32字节对齐也是无济于事的。

packed

使用该属性对struct或者union类型进行定义，设定其类型的每一个变量的内存约束。当用在enum类型定义时，暗示了应该使用最小完整的类型（it indicates that the smallest integral type should be used）。

下面的例子中，my-packed-struct类型的变量数组中的值将会紧紧的靠在一起，但内部的成员变量s不会被“pack”，如果希望内部的成员变量也被packed的话，my-unpacked-struct也需要使用packed进行相应的约束。

struct my_unpacked_struct

{

      char c;

      int i;

};

         

struct my_packed_struct

{

     char c;

     int i;

     struct my_unpacked_struct s;

}__attribute__ ((__packed__));





变量属性与类型属性举例

下面的例子中使用__attribute__属性定义了一些结构体及其变量，并给出了输出结果和对结果的分析。

程序代码为：

struct p

{

int a;

char b;

char c;

}__attribute__((aligned(4))) pp;

struct q

{

int a;

char b;

struct n qn;

char c;

}__attribute__((aligned(8))) qq;

int main()

{

printf("sizeof(int)=%d,sizeof(short)=%d.sizeof(char)=%d\n",sizeof(int),sizeof(short),sizeof(char));

printf("pp=%d,qq=%d \n", sizeof(pp),sizeof(qq));

return 0;

}

输出结果：

sizeof(int)=4,sizeof(short)=2.sizeof(char)=1

pp=8,qq=24

分析：

sizeof(pp):

sizeof(a)+ sizeof(b)+ sizeof(c)=4+1+1=6<23=8= sizeof(pp)

sizeof(qq):

sizeof(a)+ sizeof(b)=4+1=5

sizeof(qn)=8;即qn是采用8字节对齐的，所以要在a，b后面添3个空余字节，然后才能存储qn，

4+1+（3）+8+1=17

因为qq采用的对齐是8字节对齐，所以qq的大小必定是8的整数倍，即qq的大小是一个比17大又是8的倍数的一个最小值，由此得到

17<24+8=24= sizeof(qq)

#undef
　　#undef 是在后面取消以前定义的宏定义
　　该指令的形式为
　　#undef 标识符
　　其中，标识符是一个宏名称。如果标识符当前没有被定义成一个宏名称，那么就会忽略该指令。
　　一旦定义预处理器标识符，它将保持已定义状态且在作用域内，直到程序结束或者使用#undef 指令取消定义。
　　在此程序中，我们将取消在先前程序中对预处理器的定义。 　
      源代码：
      #define TRACE(x)
      #if DBG
          #undef TRACE
          #define TRACE(x) g_TraceCallback x     
      #else  
          #ifndef TRACE
          #define TRACE(x)
          #endif
      #endif  
      解析：
      #define TRACE(x)
      #if DBG //成立的话跑这支
          #undef TRACE  //释放之前定义的 #define TRACE ,防止重复定义
          #define TRACE(x) g_TraceCallback x   
      #else  // DBG 不成立 跑这支
          #ifndef TRACE //当TRACE 没有被定义
          #define TRACE(x) //宏定义
          #endif
      #endif// DBG
#ifdef,#ifndef使用  
    条件编译命令最常见的形式为：
    #ifdef 标识符
    程序段1
    #else
    程序段2
    #endif
     
    它的作用是：当标识符已经被定义过(一般是用#define命令定义)，则对程序段1进行编译，否则编译程序段2。
    其中#else部分也可以没有，即：
    #ifdef
    程序段1
    #denif
     
    这里的“程序段”可以是语句组，也可以是命令行。这种条件编译可以提高C源程序的通用性。如果一个C源程序在不同计算机系统上系统上运行，而不同的计算机又有一定的差异。例如，当程式跑到else，如果TRACE没被定义，则下一句再定义
    源代码：
      #define TRACE(x)
      #if DBG
          #undef TRACE
          #define TRACE(x) g_TraceCallback x     
      #else  
          #ifndef TRACE
          #define TRACE(x)
          #endif
      #endif  
   解析：
      #define TRACE(x)
      #if DBG
           #undef TRACE
           #define TRACE(x) g_TraceCallback x     
      #else  
           #ifndef TRACE //如果之前没定义，则跑下边定义------该例前边有#define TRACE(x) ，则后边的定义自动失效因此不会因为重复定义而出错
           #define TRACE(x) //定义
           #endif
       #endif  
     
我们有时也采用下面的形式：
    #ifndef 标识符
    程序段1
    #else
    程序段2
    #endif
     
    只是第一行与第一种形式不同：将“ifdef”改为“ifndef”。它的作用是：若标识符未被定义则编译程序段1，否则编译程序段2。这种形式与第一种形式的作用相反。
    以上两种形式用法差不多，根据需要任选一种，视方便而定。
    还有一种形式，就是#if后面的是一个表达式，而不是一个简单的标识符：
    #if 表达式
    程序段1
    #else
    程序段2
    #endif
   
当表达式成立，则跑程序段1，否则跑程序段2
注意:
          除#undef释放之前的宏定义可单独使用之外，
#ifdef,#if,#ifndef均要与#endif配对
如：
          #if...#else...#endif
          #ifdef...#endif
          #ifndef...#endif

很详细啊，谢谢楼主！！！！！！！！！！！！！！！！！！！1