C++中为何声明单个变量不会产生无限指针链导致内存溢出？

你漏掉的最关键认知是：内存地址是内存单元的固有位置编号，不是必须被额外存储的内容；只有你主动声明指针变量时，系统才会分配内存来存储地址，不存在自动生成的无限指针链。

具体逻辑拆解 #

• 普通变量的内存开销只和它本身存储的值有关
  当你声明一个普通非指针变量，比如int num = 10;时，编译器只会为这个变量分配对应类型大小的内存（比如32位int占4字节），用来存储你写入的值10。这部分内存确实有唯一的位置编号（也就是你用取地址符&num能拿到的地址），但这个编号是内存硬件层面的固有标识，不需要额外占用内存空间存储——就像小区里每套房都有门牌号，但不需要业主专门在家里腾出地方存自己家的门牌号，门牌号本身就是房屋位置的属性，不是额外生成的实体。
• 指针变量只有被显式声明时才会占用内存
  只有当你主动写代码定义指针类型的变量，用来存储其他变量的地址时，编译器才会新分配对应大小的内存（64位系统下普通指针占8字节）存地址值。比如你写int *p = #，这时候才会多出8字节的内存开销存num的地址；如果不写这行代码，这部分内存根本不会被分配。
• 所谓“无限地址链”是逻辑错觉，不会真实发生
  你担心的“指针存地址、指针自己又有地址、需要新指针存这个地址无限循环”的情况，本质是错误把“变量有地址”等价成了“必须有个指针存这个地址”。实际上哪怕你写了一级指针p，p自身的地址也只是个位置编号，你不主动声明二级指针int **pp = &p;，就不会有新的内存被分配来存p的地址，更不会自动递归生成无限层指针。
  举个最直观的例子：

  int a = 1; // 总内存开销：4字节，只存数字1，没有任何额外指针
  int *p = &a; // 总内存开销：4+8=12字节，多出来的8字节是你主动声明指针才分配的
  // 只要你不继续写**pp、***ppp这类声明，就不会有更多内存被占用
  

• 补充说明：变量的地址在编译阶段就已经被确定为相对偏移，CPU执行指令时直接通过这个偏移访问内存，根本不需要在运行时存储一长串指针来溯源地址，自然不可能出现内存被无限地址链耗尽的情况。

内容的提问来源于stack exchange，提问作者Samuel Low