请教一个关于数组下标表示范围的问题

kkmm0105

假设int a[5] = {0, 1 ,2 ,3, 4};
int *b = &a[1]
b[-1]可以得到元素0，说明下标是int类型，但是假设进程是4GB空间，3GB可以用于用户态，我开辟一个大约2.8G的数组，可是int表示范围的正半部分表示不到2.8G，那么着部分数据怎么来表示呢，如果用unsigned int 类型的常量系统会不会将其转化为int呢？

Moon_Bird

数组数据在栈中分配，哪用得了这么大的空间

bruceteen

b[-1]可以得到元素0，说明下标是int类型
------ 未必，你仔细想想！

kkmm0105

bruceteen 发表于 2012-05-10 16:43
b[-1]可以得到元素0，说明下标是int类型
------ 未必，你仔细想想！

额，，不要留悬念了啊。。快告诉小弟吧，万分感谢~

kkmm0105

Moon_Bird 发表于 2012-05-10 16:41
数组数据在栈中分配，哪用得了这么大的空间

可以再堆中啊

kkmm0105

pmerofc 发表于 2012-05-10 17:50
回复 1# kkmm0105

long 类型 32位系统中不也是 int么

L_kernel

谁说下标是int？只能说是integral type，下标访问的时候最终还是转化为指针*(b-1)，然后看指针b指向什么对象，然后按照比例缩放。b-1是指前4bytes的地址，而不是直觉上的前1bytes的地址，因为p是指向int的。

按照你说的，其实可以达到7.9999G的。不知道下面的计算是否正确？

2147483647 * 4 Bytes/ (1024 * 1024 * 1024) = 7.999999GBytes

kkmm0105

L_kernel 发表于 2012-05-10 19:11
谁说下标是int？只能说是integral type，下标访问的时候最终还是转化为指针*(b-1)，然后看指针b指向什么对象 ...

嗯，我忘了计算整数占用的4个字节了，但是如果我把int全部改为char类型呢？

L_kernel

kkmm0105 发表于 2012-05-11 09:10
嗯，我忘了计算整数占用的4个字节了，但是如果我把int全部改为char类型呢？

如果最终你还是要用到数组下标那里去，应该会进行integer promotion。