#define RT_ALIGN(size,align) (((size) + (align) -1) & ~((align) - 1) //指定宽度对齐
#define RT_ALIGN_DOWN(size,align) ((size)&~((align)-1)) //指定宽度向下对齐
上面那个是指定宽度对齐 例如RT_ALIGN(13,4)会返回16
下面是向下对齐 例如 RT_ALIGN(13,4)会返回12
可是为什么会这样?
如果按照十进制的思路,我们的做法可能会是这样子。
unsigned int RT_ALIGN(size,align)
{
/*1.去余 size%align 比如13%4=1*/
/*2.size减去余数+align 比如13-1+4=16*/
return (size-(size%align)+align)
}
但是使用宏定义的做法,思路又是怎么样的呢?
首先看这个&~运算符到底是什么含义。
对于一个二进制数字。
进行非运算后,0变1,1变0。
进行与运算后,0与任何数都是0。
知道了与非运算的概念后,来对四字节对齐进行特殊化的分析。
假设现在 size=15,align=4,我们做((size)&~((align)-1)) 会是什么结果呢?
运算过程如下:bin为二进制数,dec为10进制数。
15 &~ (4-1) = 15 &~ 3 =(bin) 1111 &~ 0011 = 1100 = (dec) 12
我们可以看出,对于一个数字 &~ 3 ,就是把它的后两位清零,一个数后两位被清零后,肯定是可以被4整除的,也就完成了四字节对齐。
如果假设 size=16,align=3,现在我们要做一个三字节对齐。
16 &~ (3-1) =(bin)10000&~0010 = 10000 =16
很明显,并没有完成三字节对齐,也就是说这个宏定义不能进行任意字节的对齐。不过我们一般都是四字节对齐八字节对齐,所以不能进行三字节对齐,七字节对齐,并没有什么影响。
应该是只有 1,2,4,8,16这种2的n次方才能用这个进行字节对齐。