好像之前我答过:指针的本质就是CPU非直接寻址的一种抽象。
例如说最简单的寄存器间接寻址:
MOV EAX, [EBX]
大概就类似于:
//register int* ebx = 0x..... int eax = *ebx;
而更复杂一点的变基寻址:
MOV EAX, [EBX+20] 或者 MOV EAX, [EBX+ESI]
则类似于:
//register int* ebx = 0x..... int eax = ebx[5]; 或者 //register int esi = 5 int eax = ebx[esi];
更复杂的相对基址、比例基址就不说了,反正都是一个思路。
所以,如果要简单回答,那么就是:因为CPU就是这么工作的。我们广泛的用指针,只是为了迁就CPU,让它跑得更快,空耗更少,从而在整体上看,程序的性能就更好。而所有宣称没有指针的编程语言,要么是改了个概念(引用),要么干脆就对高性能运算放弃治疗(各种脚本)。
更根本的原因是:CPU本质上就是一堆高级的、复杂的物理电路。实际上非常非常的笨,非常非常的死板。而且研发成本极高、升级速度极慢、生产成本采购成本都很高。所以,当面对现实工作中千奇百怪的数据、以及它们的组织方式、存储方式、逻辑结构都(从CPU角度看上去)“毫无章法”的时候,CPU是没有办法去一一适应的。所以,它必然需要一种统一的、间接的、灵活的方式去解决这个问题,要不然CPU就拿不到实际数据进行计算了。而指针(或者从CPU来看——间接寻址),就是这么一种解决方案。
所以,实际上把实际执行的指令反汇编之后就会发现,除了极少数可以在编译期直接计算出来的寻址可以用直接寻址外,其他的大都是间接寻址。甚至很多看上去不是指针的操作——例如说局部变量,实际上编译出来的结果,也是通过ebp/rbp为基址的间接寻址操作。
实际上类似于:
//你写的代码: int a = 10; int b = 20; //实际编译后的代码: ebp[5] = 10; ebp[6] = 20;