学习笔记

int main(void)
{
	int a[4] = {1, 2, 3, 4};
	int *ptr1 = (int *) (&a + 1);
	int *ptr2 = (int *) ((int) a + 1);
	printf("%x, %x\n", ptr1[-1], *ptr2);
	return 0;
}

一个类型为T 的指针的移动，以sizeof(T) 为移动单位。

以下假设 a = 0x001ef954

&a + 1: 取数组 a 的首地址，该地址的值加上sizeof(a)的值，即 &a + sizeof(a)，显然 ptr1 指向了数组 a 的结束地址，也就是越过了数组的边界。&a + sizeof(a) = 0x001ef954 + 4 × sizeof(int) = 0x001ef964。

(int) a + 1: a 经过类型转换后，就相当于两个 int 类型的数值相加了，若 a = 0x001ef954， (int) a + 1 = 0x001ef955。

内存分布如下（x86为例，系统为小端模式）：

0x001EF954:  01 00 00 00
0x001EF958:  02 00 00 00
0x001EF95C:  03 00 00 00
0x001EF960:  04 00 00 00
0x001EF964:  cc cc cc cc

不难看出，ptr1[-1] 即为 a[3] ，但是 ptr2 指向内存的值是多少呢？根据内存可以看出 *ptr2 应该为 00 00 00 02。但是这个值如果打印出来是多少呢？很明显我的处理器是小端模式（数值的高位存放在内存的高地址上，数值的地位存放在内存的低地址上，0x1 --> 01 00 00 00，所以是小端模式），那么 00 00 00 02 打印出来就是 0x2000000，即 *ptr2 的值为 0x2000000。

但是，这里又出现一个问题，那就是你怎么知道处理器的大小端模式呢？上网查查很容易可以知道怎么获取处理器的大小端模式了。下面记录下这段代码：

/****************************************************
 *
 * 函数功能：检查系统大小端模式
 *
 * 返 回 值：1：小端模式(数值高位存放在内存高地址中)
 *           0：大端模式(数值低位存放在内存高地址中)
 *
 * eg: 假设地址由低到高，int i = 1 x86
 *     0x1 --> 01 00 00 00 (小端模式)
 *         --> 00 00 00 01 (大端模式)
 *
 ****************************************************/
int CheckSystem()
{
    union system
    {   
        int i;
        char ch; 
    } ss; 
    ss.i = 1;
    return (ss.ch == 1); 
}

所以，如果本文开头那段代码放在一个处理器是大端模式的系统中运行，*ptr2 的值就是另一种结果了，还是列出内存分布直观些：

0x001EF954:  00 00 00 01
0x001EF958:  00 00 00 02
0x001EF95C:  00 00 00 03
0x001EF960:  00 00 00 04
0x001EF964:  cc cc cc cc

此时，*ptr2 应该是 00 00 01 00 才对，因为系统是大端模式，所以 *ptr2 = 0x100。

文中涉及到一些概念性的问题可以去网上查查，答案还是挺多的。