将局部变量存储到堆栈内存中是否取决于在函数调用中使用它们的值？
在用“C”编程语言做一些简单的练习时，更具体地说--用指针，我注意到关于初始化的局部变量的以下异常（* 我知道这不是异常，只是我缺乏适当的理解 *）。
当我定义和初始化一对变量，并试图打印地址（通过“printf（）”函数）的第一个和最后一个变量，我希望地址级数与变量列表的顺序一致。第一个变量具有最高地址，最后一个变量占用（第一个变量的内存块的地址，减去N个内存块，其中N是除第一个变量之外的其余变量的计数）。

v1 = memory block 10;
v2 = memory block 09;
v3 = memory block 08;
v4 = memory block 07;

当我让程序只打印v1和v4的地址时，我期望它打印：

Address of v1 is block 10;
Address of v4 is block 07;

这就是所谓的“异常”。当程序打印这些变量的地址时，它实际上打印：

Address of v1 is block10; (as it should be)
Address of v4 is block09; (isn't v2 supposed to be stored here?)

下面是代码示例：

#include <stdio.h>

int main()
{    
    char a = 1, b = 23, c = 123, d = 12;
        
    printf("address of a: %p\naddress of d: %p", &a, &d);

    return 0;
}

输出为：

address of a: 0x7fffa86fc724
address of d: 0x7fffa86fc725

现在，如果我在printf（）函数中添加第三个变量作为参数，第一个变量的地址保持不变，所有三个变量将共享相邻的内存块，遵循定义变量的顺序。让我们取上面的四个变量v1，v2，v3和v4。如果我打印v1，v3和v4的地址，我会得到下面的结果：

v1 = block10;
v3 = block09;
v4 = block08;

在“printf”的参数列表中列出变量地址的顺序（）”函数对变量地址的排序没有影响。我可以看到程序仍然遵循定义变量的顺序--首先定义的变量将占用最高地址，而作为参数传递给函数的每个下一个变量将占用内存位置，与前一个变量的内存位置相邻，具体取决于定义的顺序。
程式码范例：

#include <stdio.h>

int main()
{
    char a = 1, b = 23, c = 123, d = 12;
    
    printf("address of c: %p\naddress of a: %p\naddress of d: %p", &c, &a, &d);

    return 0;
}

输出将为：

address of c: 0x7ffd970e27d5
address of a: 0x7ffd970e27d4
address of d: 0x7ffd970e27d6

此外，如果变量至少作为参数传递给函数调用一次（除了“printf（）”之外的其他函数），那么只打印v1和v4的地址将产生我最初预期的输出。
程式码范例：

#include <stdio.h>

int main()
{
    char a, b, c, d;
    scanf(" %hhi %hhi %hhi %hhi", &a, &b, &c, &d);    
    
    printf("address of c: %p\naddress of a: %p\naddress of d: %p", &c, &a, &d);

    return 0;
}

输出将为：

address of a: 0x7ffeaac3c4a4
address of d: 0x7ffeaac3c4a7

因此，我得出的结论是，只有作为参数传递给函数调用的变量才会存储在堆栈内存中。发生了什么，更重要的是-为什么会发生这样的事情？
编译器是否（在编译过程中）从程序中“抛出”变量，这些变量尽管被初始化为某个值，但没有被任何函数用作其参数？