首先当你遇到任何觉得是编译器有问题的情况时一定坚定一个信念：“编译器不会有问题”
这回我遇到的问题看上去就很像编译器有问题，但排查下来最终发现还是自己的问题，我将这个问题简化后是这样的：取出一个结构体中的成员的值，在有些文件中取出来是正确的，有些文件中取出来是不正确的。
复现方法如下，需要编写4个文件，这是在linux下测试的，但是在使用CCS编译DSP工程时发现的，知道原理了就会明白这个问题其实和平台无关。
root.h，只定义一个宏MACRO
1 #ifndef USER_ROOT_H_ 2 #define USER_ROOT_H_ 3 4 #define MACRO 5 6 #endif
header.h，包含条件编译代码，如果定义了MACRO，那么结构体成员中包含var2，否则不包含，注意这个文件中并没有包含root.h
1 #ifndef USER_HEADER_H_ 2 #define USER_HEADER_H_ 3 4 struct struct1 { 5 int var1; 6 #ifdef MACRO 7 int var2; 8 #endif 9 int var3; 10 }; 11 12 #endif
source.c 返回传入的结构体中var3成员的值
1 #include "header.h" 2 #include "root.h" 3 4 int function (struct struct1* p) 5 { 6 return p->var3; 7 }
main.c，定义一个结构体，分别给内部成员赋值为1,2,3，kk的值为结构体中成员var3的值，jj则调用function，但返回的也是结构体中var3的值，最后接下来打印两个数的值：
1 #include <stdio.h> 2 #include "root.h" 3 #include "header.h" 4 5 extern int function (struct struct1* p); 6 7 int main(void) 8 { 9 struct struct1 test; 10 11 test.var1 = 1; 12 test.var2 = 2; 13 test.var3 = 3; 14 15 int kk = test.var3; 16 int jj = function(&test); 17 18 printf("kk = %d\n", kk); 19 printf("jj = %d\n", jj); 20 21 return 0; 22 }
编译后运行结果如下图：
明显kk的值是正确的，而jj的值是2,这个值明明是var2成员的值啊，编译的时候既没有错误也没有警告，难道是编译器出问题了吗？
把header.h中的内容稍微修改一下：
1 #ifndef USER_HEADER_H_ 2 #define USER_HEADER_H_ 3 4 struct struct1 { 5 int var1; 6 #ifdef MACRO 7 int var2; 8 #warning "**********" 9 #endif 10 #warning "##########" 11 int var3; 12 }; 13 14 #endif
加入两条自己写的警告语句，然后再编译就会发现问题：
编译结果发现，编译source.c时只报了警告"##########"，而编译main.c的时候报了"**********"和"##########"两种警告，这说明编译source.c的时候条件编译是不成立的，但是MACRO这个宏明明在root.h中定义了啊。这个时候就要注意头文件的包含问题了，在header.h中没有包含root.h，而在main.c中是先包含了root.h，再包含了header.h，但是在source.c中则是先包含header.h，再包含root.h，也就是说source.c中先将header.h中的内容展开，定义了结构体，然后再定义了MACRO宏，那么在source.c中的结构体编译时当然不满足条件编译的条件。
这里还有一个疑问，在source.c中明明写的是return p->var3;为什么实际返回值却是var2，即便确实存在头文件包含的问题，那编译器也不能自作主张将var3用var2代替呀。这里编译器其实并没有自作主张，因为头文件展开之后在main.c中和在source.c中定义的结构体是不同的，虽然这两个结构体的名字都是struct struct1，但是实际上这是两个不同的结构。function这个函数虽然传入的是main.c中的结构体，但是在source.c中却是以source.c中的结构体去解析的，因此source.c中返回的var3就是main.c中var2。
解决这个问题的方法就是要注意头文件包含的顺序。
最后总结一下，这是头文件包含的顺序所引发的问题，但是这里用结构体举例是因为它非常巧合，它编译时不会报任何错误和警告，但是运行时却发现有问题。而且问题很隐蔽，如果条件编译不是放在结构体中，那么调试运行时就很容易能发现这个问题，如果包含顺序不是和这个例子一样，那么要么是编译的时候直接会报错，要么是真的就不会出问题（但是程序员并没注意到包含顺序的问题）。
所以头文件包含要养成一个习惯，包含关系最好是树形的。