一、计算机如何分配两个变量？ #

咱们先从变量分配的逻辑说起，计算机分配变量主要看变量的存储位置，分两种核心场景：

• 栈上分配（局部变量）：函数里定义的局部变量默认存在栈中，栈是向下增长的（地址从高到低分配）。编译器通常会根据变量类型、对齐规则和优化策略来安排位置——一般会尽量紧凑，但为了满足内存对齐要求（比如64位系统的16字节对齐），可能会在变量之间插入填充字节，或者调整分配的空间大小。
• 堆上分配（动态变量）：用malloc/new等方式创建的变量存在堆中，堆是向上增长的。堆的分配由内存管理器负责，两个动态分配的变量地址不一定连续，取决于当前堆的空闲块情况。

简单说：栈上分配更“规整”但受对齐和优化影响，堆上分配更灵活但位置随机。

二、如何计算两个变量之间的距离？ #

要计算两个变量在内存中的字节距离，核心是利用指针操作，步骤如下：

1. 取两个变量的内存地址：&var1 和 &var2；
2. 将地址强制转换为char*类型指针（因为char的大小是1字节，指针相减的结果直接代表字节数差）；
3. 计算两个指针的差值，取绝对值就是它们的内存距离。

举个例子：

#include <stdio.h>
#include <stdlib.h> // 用于abs()

int main() {
    int a = 10, b = 20;
    long distance = abs((char*)&a - (char*)&b);
    printf("两个变量的内存距离是%ld字节\n", distance);
    return 0;
}

⚠️ 注意：如果直接用原类型指针相减（比如int*），得到的是元素个数的差值，不是字节数。比如两个int变量地址差4字节，int*相减的结果是1。另外，C标准中，只有指向同一数组的指针相减才是定义行为，两个独立变量的地址相减属于未定义行为，但实际编译环境中大多能得到字节差结果，只是要注意编译器的优化影响。

三、为什么你的代码结果总是12而不是4/-4？ #

结合你说的64位系统和结果12，大概率是编译器的栈对齐优化导致的，我给你拆解一下：
64位编译环境（比如GCC、Clang）通常会遵循16字节栈对齐规则——栈帧的大小必须是16的倍数，即使你的变量总大小不到16字节，编译器也会自动调整栈指针，分配足够的空间来满足对齐要求。

假设你的代码大概是这样：

#include <stdio.h>

int main() {
    int var1 = 1;
    int var2 = 2;
    printf("%ld\n", (char*)&var1 - (char*)&var2);
    return 0;
}

在64位系统中，main函数的栈帧初始化时：

1. 先保存基址指针rbp，然后栈指针rsp会被减去16字节（满足16字节对齐），哪怕两个int只需要8字节；
2. 第一个定义的变量var1会被分配在高地址（比如rbp - 4），第二个变量var2被分配在低地址（比如rbp - 16）；
3. 两者的地址差就是(rbp-4) - (rbp-16) = 12，所以你得到的结果是12，而不是你预期的4（默认变量连续分配的情况）。

如果想让两个变量连续分配，你可以用结构体来包裹它们（结构体成员默认连续分配，无额外填充的情况下）：

#include <stdio.h>

struct Pair {
    int a;
    int b;
};

int main() {
    struct Pair p;
    printf("%ld\n", (char*)&p.a - (char*)&p.b); // 结果会是-4，因为a在b的高地址
    return 0;
}

这个时候，结构体里的a和b是紧挨着的，地址差就是int的大小4字节。

内容的提问来源于stack exchange，提问作者Văn Hợp Bùi