你有没有疑惑变量名是存在哪的?

前言:

自从干程序员以来, 我就一直很疑惑一个问题: 变量名是怎么跟对应的值(计算机表示变量对应的值是通过010101这种二进制表示的)关联起来的?尤其看C++的时候有大量的指针相关的概念， 我们都快倒背如流了, 指针是存的地址， 直接定义一些基本类型是存值，比如说 int a = 1; 实际就是内存里开辟一个足够存int类型的几个字节，然后变量a就可以代表这个值，那a本身存在哪？a又是怎么和这个值相关联的呢？
或者有没有另一个疑惑: 学习java时， 说基本数据类型直接存值，存在某个栈里面， 比如int a = 1; 栈里面存的是值，那a去了哪？ 内存里怎么把a与实际存的字节 "0000 0001" 关联在一起的? 定义一些对象的时候又说存的是对象的地址， 那变量又存在哪？

个人总结的结论

1.在大部分编译型语言里(至少是我知道)，他们都有一个编译的过程， 变量a只存在与编译的过程里， 编译成机器码的时候会用a所代替的内存地址替换， 也就是说实际运行的时候a是不存在的(在汇编里不存在，不过现在汇编里也有了一些简单的变量名)，而你声明a的时候就对a所代表的内存地址做了一些限制， 比如在 int b = a; 的时候会直接用a的值替换(编译优化的时候如果有数字1这种不会新开辟空间干这事， 会直接用a对应的地址， 所以有些语言里说 int a = 1; int b = 1; 实际他们都指向了一个值， 这实际是编译器在优化内存)， a对应的内存地址只能做int类型能做的事
2.在动态语言里比如说Python, 不是先编译成可执行的机器码， 而是通过解释器，解释器应该会有记录变量名与地址映射关系(我没找到比较权威的资料来印证，所以说的是应该， 推测是因为有自动垃圾回收机制， 那既然有这个机制就得有存引用计数这个东西， 那肯定也是在内存里运行的，只不过是解释器层面去存储)， 但是实际运行机器码的时候变量只会用一些特殊符号替换， 实际也是不会存变量名的