码迷,mamicode.com
首页 > 其他好文 > 详细

利用宏定义在编译阶段检查结构体大小的方法

时间:2017-08-11 14:47:32      阅读:259      评论:0      收藏:0      [点我收藏+]

标签: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

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!