((sizeof(n)+sizeof(int)-1)~(sizeof(int)-1))

一、问题的提出
两年之前我写过一篇可变参数学习笔记，里面曾经简单的解释过一句：
代码
((sizeof(n)+sizeof(int)-1)&~(sizeof(int)-1))
的作用是在考虑字节对齐的因素下计算第一个可变参数的起始地址。
当时限于时间和水平，未能做更详细的解释。
今天(2007-11-26)在csdn论坛上看到了一个帖子
http://topic.csdn.net/u/20071123/16/c8d17d3f-9f49-49af-a6d8-1d7a7d84dc1c.html?seed=303711257
问题：CRT源码分析中一个关于可变函数参数的问题
提问者:Sun_Moon_Stars
里面又问到了这个宏，于是决定抽出半天时间，把这个问题详细的说清楚。也算是把我的那篇文章
做一个完美的结尾。

二、引子
先看一个日常生活中的问题，
问题1:假设有要把一批货物放到集装箱里，货物有12件，
一个箱子最多能装6件货物，求箱子的数目。
解答：显然我们需要12/6=2个箱子，并且每个箱子都是满的。这个连小学生都会算:-)

问题2: 把问题1的条件改一下，假设一个箱子最多能装5件货物，那么现在的箱子数是多少？
解答: 12/5=2.4个，但是根据实际情况，箱子的个数必须为整数，（有不知道这个常识的就不要再往下看了，
回小学重读吧，呵呵）自然我们就要取3，
下面把问题一般化

三、一般数学模型
问题3:设一个箱子最多可以装M件货物，且现有N件货物，
则至少需要多少个箱子，给出一般的计算公式。
这里要注意两点
1、箱子的总数必须为整数
2、N不一定大于M，很显然，即使N <M，也得需要一只箱子

四、通项公式
1、预备知识
在讨论之问题3的解答之前，我们先明确一下/运算符的含义。
定义/运算为取整运算，即
对任意两个整数N,M，必然有且只有唯一的整数X，满足
X*M <= N < (X+1)*M，那么记N/M=X。
这个也正是c里/运算的确切含义。x的存在性和唯一性的严格证明可以见数论教材。
以后如无额外说明,/运算的含义均和本处一致。

/运算有一个基本的性质
若N=MX+Y，则N/M=X+Y/M，证明略

注意：N不是可以随便拆的，设N=A+B，那么一般情况下N/M 不一定等于 A/M+B/M，
如果A和B至少有一个是M的倍数，才能保证式子一定成立。

2、分步讨论
根据上面的/运算符的定义，我们可以得到问题三的解答，分情况讨论一下
已知N/M=X，那么当
(1)、当N正好是M的倍数时即N=M*X时，那么箱子数就是X=N/M
(2)、如果N不是M的倍数，即N=M*X+Y(1 <=Y <M)时
那么显然还要多一个箱子来装余下的Y件货物，
则箱子总数为X+1 = N/M+1

3、一般公式
上面的解答虽然完整，但是用起来并不方便，因为每次都要去判断N和M的倍数关系，
我们自然就要想一个统一的公式，于是，下面的公式出现了
箱子数目为 (N+M-1)/M

这个式子用具体数字去验证是很简单的，留给读者去做。
我这里给一个完整的数学推导:
现在已经假定   /运算的结果为取整（或者说取模），即
N/M=X，则XM   <=N   <(X+1)M
那么，
(1)、当N=MX时，(N+M-1)/M=   MX/M+(M-1)/M=X
(2)、当N=MX+Y(1 <=Y <M)时,
由1 <=Y   <   M,同时加上M-1，得到M   <=   Y-1+M   <=   2M-1   <2M
根据   /运算的定义   (Y-1+M)   /M   =   1

所以　(N+M-1)/M = (MX+Y+M-1)/M= MX/M+(Y+M-1)/M= X+1
显然公式 (N+M-1)/M与2中的分步讨论结果一致。
可能有的读者还会问，这个公式是怎么想出来的，怎么就想到了加上那个M-1?
这个问题可以先去看看数论中的余数理论。

五、对齐代码的分析
有了上面的数学基础，我们再来看看开头所说的对齐代码的含义
((sizeof(n)+sizeof(int)-1)&~(sizeof(int)-1))
意义就很明显了
这里。机器字长度sizeof(int)相当于箱子的容量M,变量的真实字节大小相于
货物总数N，整个代码就是求n所占的机器字数目。

顺便仔细的解释一下
~(sizeof(int)-1))

这里用到了一个位运算的技巧，即若M是2的幂，M=power(2,Y);

则N/M = N>>Y ，

另根据数论中的余数定理，

有N=M*X+Z(1 < =Z < M)
而注意到这里的N,M,Z都是二进制表示，所以把N的最右边的Y位数字就是余数Z.
剩下的左边数字就是模X.

而内存对齐要计算的是占用的总字节数（相当于箱子的最大容量），所以

总字节数 = ( N/M)*M =( N>>Y)<<Y

注意，这里的右移和左移运算并未相互抵消，最后的结果实际上是把N中的余数Z去掉（被清0），

而左边模X得以保持不变。

而当M = power(2,Y) 时

(N >>Y) << Y = (N &(~(M-1))也是一个恒等式（这个读者也可以用数字验证），

所以，就得到我们前面看到的宏

((sizeof(n)+sizeof(int)-1)&~(sizeof(int)-1))

注意：
(1)这里最关键的一点就是M必须是2的幂（有人常常理解成2的倍数也可以，那是不对的），
否则上面的结论是不成立的
(2) ~(M-1)更专业的叫法就是掩码(mask)。因为数字和这个掩码进行与运算后，数字的最右边Y位的
数字被置0（"掩抹"掉了）.即掩码最右边的0有多少位，数字最右边就有多少位被清0。

小结:
1、字节对齐的数学本质就是数论中的取模运算。在计算机上的含义就是求出一个对象占用的机器字数目。
2、在数学上看内存计算的过程就是先右移再左移相同的位数，以得到箱子的最大容量。

3、在c中/运算可以用位运算和掩码来实现以加快速度（省掉了求位数的过程），前提是机器字长度必须为2的幂。

——————————————————

#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) – 1) & ~(sizeof(int) – 1)

[此问题的推荐答案]
~是位取反的意思。
_INTSIZEOF(n)整个做的事情就是将n的长度化为int长度的整数倍。
比如n为5，二进制就是101b，int长度为4，二进制为100b，那么n化为int长度的整数倍就应该为8。
~(sizeof(int) – 1) )就应该为~（4-1）=~（00000011b）=11111100b，这样任何数& ~(sizeof(int) – 1) )后最后两位肯定为0，就肯定是4的整数倍了。
(sizeof(n) + sizeof(int) – 1）就是将大于4m但小于等于4（m+1）的数提高到大于等于4（m+1）但小于4(m+2)，这样再& ~(sizeof(int) – 1) )后就正好将原长度补齐到4的倍数了。

转载：https://blog.csdn.net/fulinus/article/details/8286252

((sizeof(n)+sizeof(int)-1)~(sizeof(int)-1))相关推荐

C++ 对数组sizeof 和对数组元素sizeof
这一段程序下面这段程序很有看点: //arr1 is an array of intsint *source=arr1; size_t sz=sizeof(arr1)/sizeof(*arr1);/ ...
C++王者之路 | C++的sizeof 与C语言的sizeof
一.前言我真正掌握的第一个编程语言是C语言,主要在stm32上使用.最近准备掌握C++去编写一些代码,在学习C++的过程中,有一些语法跟C语言类似.比如sizeof,在C编程里经常需要使用它. 二. ...
c语言面试题sizeof,C语言面试题——sizeof的注意点
首先sizeof在C语言里是关键字,而不是一个函数,下面的语句执行之后,i的值是保持不变的, j = sizeof(++i + ++i); 下面是C语言里部分数据类型的sizeof的值: 下面是一道C ...
c语言sizeof strlen,C语言中sizeof与strlen区别
一.本质区别 sizeof 和strlen 有本质上的区别.sizeof 是C 语言的一种单目运算符,如++.--等,并不是函数,sizeof 的优先级为2 级,比/.% 等3 级运算符优先级高,si ...
c/c++ sizeof(数组名) 的解析 sizeof如何计算数组大小
按照传统,先给结论:sizeof(数组名) 的值是这个数组所占据的内存的大小,单位是字节(bytes),在32位机器上,假设一个int型的数组a,里面一共有10个int类型元素,那么sizeof(a) ...
sizeof（指针）和sizeof（数组）的区别
对指针利用sizeof得到的都是一个相同的值.在C语言中,指针只保存一个地址,所以任何类型的指针都占用相同的字节数. 对数组名利用sizeof得到的是整个数组占用的字节数. printf(" ...
C++中int id[sizeof(unsigned long)]的语句，正确吗？
正确,这个 sizeof是编译时运算符,编译时就确定了 ,可以看成和机器有关的常量.
int n=10的sizeof 为什么是四_从int取值范围谈起
int取值范围我们在面试过程中,或者在准备面试过程中,可能会遇到这样一个问题: Java中int的取值范围是什么? 这个问题比较常见,也很简单,相信大部分Java开发人员都可以快速答上来: [ , ...
int、unsigned int、float、double 和 char 在内存中存储方式
2017-12-28 创建人:Ruo_Xiao 实验环境:vs2010.Intel 邮箱:xclsoftware@163.com 2018-01-16 修改人:Ruo_Xiao添加对移位存储的说明. ...

((sizeof(n)+sizeof(int)-1)~(sizeof(int)-1))

((sizeof(n)+sizeof(int)-1)~(sizeof(int)-1))相关推荐

最新文章

热门文章