标签:line == 就会 typedef 检测 出错 tip 大于 位置
typedef struct { char a[100]; } T_XXX; typedef struct { char a[99]; } T_QQQ; /* 检测结构体的大小是否等于特定值 */ #define SIZE_OF_TYPE_EQUAL_TO(type, size) \ static inline char size_of_##type##_equal_to_##size() \ { \ char __dummy1[sizeof(type) - size]; \ char __dummy2[size - sizeof(type)]; \ return __dummy1[-1] + __dummy2[-1]; \ } /* 检测结构体的大小是否不等于特定值 */ #define SIZE_OF_TYPE_UNEQUAL_TO(type, size) \ static inline char size_of_##type##_unequal_to_##size() \ { \ char __dummy1[0==(10/(sizeof(type)-size))]; \ return __dummy1[-1]; \ } /* 检测结构体的大小是否不大于特定值 */ #define SIZE_OF_TYPE_NOT_LARGER_THAN(type, size) \ static inline char size_of_##type##_not_larger_than_##size() \ { \ char __dummy1[size - sizeof(type)]; \ return __dummy1[-1]; \ } /* 检测结构体的大小是否不小于特定值 */ #define SIZE_OF_TYPE_NOT_SMALLER_THAN(type, size) \ static inline char size_of_##type##_not_smaller_than_##size() \ { \ char __dummy1[sizeof(type) - size]; \ return __dummy1[-1]; \ } /* 检测结构体的大小是否小于特定值 */ #define SIZE_OF_TYPE_SMALLER_THAN(type, size) \ SIZE_OF_TYPE_NOT_LARGER_THAN(type, size) \ SIZE_OF_TYPE_UNEQUAL_TO(type, size) /* 检测结构体的大小是否大于特定值 */ #define SIZE_OF_TYPE_LARGER_THAN(type, size) \ SIZE_OF_TYPE_NOT_SMALLER_THAN(type, size) \ SIZE_OF_TYPE_UNEQUAL_TO(type, size) /* 检测结构体的大小是否小于特定值 版本2 */ #define SIZE_OF_TYPE_SMALLER_THAN2(type, size) \ static inline char size_of_##type##_smaller_than2_##size() \ { \ char __dummy1[size - sizeof(type) - 1]; \ return __dummy1[-1]; \ } /* 检测结构体的大小是否大于特定值 版本2 */ #define SIZE_OF_TYPE_LARGER_THAN2(type, size) \ static inline char size_of_##type##_larger_than2_##size() \ { \ char __dummy1[sizeof(type) - size - 1]; \ return __dummy1[-1]; \ } /* 检测结构体的大小是否为特定值的整数倍 */ #define SIZE_OF_TYPE_IS_MULTIPLE_OF(type, size) \ static inline char size_of_##type##_is_multiple_of_##size() \ { \ char __dummy1[0 - (sizeof(type) % size)]; \ return __dummy1[-1]; \ } /*** 好了,现在开始,想检查什么,调用相应的宏即可。 如果结构大小不符合要求,则会编译出错。 注意,对宏的调用,不要写在任何函数内 :-) ***/ SIZE_OF_TYPE_EQUAL_TO(T_XXX, 100) SIZE_OF_TYPE_UNEQUAL_TO(T_XXX, 99) SIZE_OF_TYPE_NOT_LARGER_THAN(T_XXX, 100) SIZE_OF_TYPE_NOT_SMALLER_THAN(T_QQQ, 98) SIZE_OF_TYPE_LARGER_THAN(T_QQQ, 96) SIZE_OF_TYPE_SMALLER_THAN(T_QQQ, 200) SIZE_OF_TYPE_LARGER_THAN2(T_QQQ, 96) SIZE_OF_TYPE_SMALLER_THAN2(T_QQQ, 200) SIZE_OF_TYPE_IS_MULTIPLE_OF(T_QQQ, 9) int main() { return 0; }
SIZE_OF_TYPE_EQUAL_TO(type, size):
如果type != size,那么__dummy1 ,__dummy2这2个数组在定义时肯定有一个是负数,数组在分配大小时会将大小视为无符号型处理,那么此时这个数组的大小将会变得很大,例如-1是0xFFFFFFFF(32位机上),数组存在的位置要么是堆栈 char a[5];要么是代码段chara[5] = {0}; 而堆栈,内存大小总有限制,所以预编译器会检查,并报错。
SIZE_OF_TYPE_UNEQUAL_TO(type, size):
如果2者相等,10/(sizeof(type)-size) 这个算数运算就会报错,0作除数了。
其他实现方法都采用了类似的原理。
标签:line == 就会 typedef 检测 出错 tip 大于 位置
原文地址:http://www.cnblogs.com/ranson7zop/p/7345518.html