在汇编编译器编译时直接将变量名转换成内存地址,变量名并不占内存空间

 

• 在编译的时候编译器会把程序中出现的所有变量名都换成相对内存地址，变量名不占内存
• 变量名不占空间
  变量：用来标识(identify)一块内存区域，这块区域的值一般是可以更改的，这就是它“变”的由来，但是我们可以通过使用如const等一些修饰符号来限定这一内存区域的操作特性(characteristic)，即变量的操作特性。用const修饰的使变量不能更改的就和常量一样的变量叫做常变量。
  变量名：是一个标识符(identifier)，用来指代一块内存区域，即变量，使用变量使我们操作内存以区域(area)，以块(block)为单位，提高了方便性。
  你的机器代码中，是不会出现变量名的；变量名是给我们程序员操作内存来使用的。
  想想在汇编年代，没有变量名，我们操作内存，都是用地址来直接操作的，还要控制区域大小；当然汇编语言已经有了简单的变量。
  对于编译器，它会搜集我们的变量名，比如我们定义了一个全局的int a;那么编译器都为我们做了什么呢？
  它会为程序预留4个字节的空间（假设在32位平台），并把我们的变量名“a”保存进符号表，并用这个符号表的索引对应实际的空间。
  如果下面出现b = a;那么它就会根据符号表找到变量的真正的物理位置，取得它的值，赋给b。
  这是写编译器需要做的，我们需要建立符号表。
  但是实际在汇编层次上，操作的都是地址而已，不存在任何名称了。
  ～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～
  除了变量名不是内存地址，其他名都是地址。对么？
  所谓的其他名无非是函数名、标识符常量名、指针名、数组名、结构名、类名等等。
  楼主的话有部分是对的， 比如指针名、数组名、函数名就是地址，它们分别表示指针所指向元素的地址、数组的首地址和函数的入口地址。
  变量名虽然不直接表示地址，但可用取地址符号&来获得它所代表的变量的存放地址。因为在定义变量的同时会分配给它相应的空间。
  但类和结构只有事例化时才为它分配空间，从而不能用取地址符号&来获得类名或结构名的地址。
  变量名是用来标识某个内存块的
  地址就是地址啦，如是变量名的话，用取地址运算符&就可以得到它标识的内存块的地址，
  而指针变量呢，它本身也是一个变量名，只不过它标识的那块内存存放的是一个地址值
  变量是地址的别名..就像刚生的小孩,你只知道他在地球上的某个位置,而不能叫出他名字,给你取个名
  ～～～～～～～～～～～～～～～～～～～～～～～
  定义int a;时,编译器分配4个字节内存,并命名该4个字节的空间名字为a(即变量名),当用到变量名a时,就是在使用那4个字节的内存空间.
  5是一个常数,在程序编译时存放在代码的常量区存放着它的值(就是5),当执行a=5时,程序将5这个常量拷贝到a所在的4个字节空间中,就完成了赋值操作.
  a是我们对那个整形变量的4个字节取的”名字”,
  是我们人为给的,实际上计算机并不存储a这个名字,只是我们编程时给那4个字节内存取个名字好用.实际上程序在编译时,所有的a都转换为了那个地址空间了.编译成机器代码后,没有a这个说法了.a这个名字只存在于我们编写的代码中.
  5不是被随机分配的,而总是位于程序的数据段中,可能在不同的机器上在数据段中的位置可能不一致,它的地址其实不能以我们常用到的内存地址来理解,因为牵扯到一个叫”计算机寻址方式”的问题,所以写很多都解释不清楚,你自己找本汇编语言的书来学一下吧………
  ~~~~~~~~~~~~~~~~~~~~~~~~
  C语言中变量只是标识对应存储单元内的存储内容。与地址的对应关系
  int a=3;
  a—&a
  一一对应啊，变量名只是一个便于记忆识别的名称，编译器会将他编译成相应的内存地址的.
  变量都要占据一定的内存。
  通过定义该变量的指针， [类型]* 指针名=你要指向的变量名
  那么该指针中存储的就是你的变量的内存地址。
  &你的变量名 这样就可以直接获取到你的变量地址
  或者定义引用 [类型]& 引用名=变量名
  该引用可通过变量的地址来对变量进行修改
  ～～～～～～～～～～～～～～～～～～～～～～～～～
  变量名是给编译器看的，编译器根据变量是局部还是全局分配内存地址或栈空间，所谓的变量名在内存中不存在，操作时转换成地址数存放在寄存器中了。
  编译器会将合法的变量名放到一个叫“符号表”的一个表中。
  每个符号对应一个地址。当你调用此变量时，就会根据此符号表找到对应的地址，然后进行操作。
  ～～～～～～～～～～～～～～～～～～～～～～～～～～～～
  还没有运行怎么会占用内存呢？！（这一点还要怀疑吗！？）
  所谓在编译期间分配空间指的是静态分配空间（相对于用new动态申请空间），如全局变量或静态变量（包括一些复杂类型的常量），它们所需要的空间大小可以明确计算出来，并且不会再改变，因此它们可以直接存放在可执行文件的特定的节里（而且包含初始化的值），程序运行时也是直接将这个节加载到特定的段中，不必在程序运行期间用额外的代码来产生这些变量。
  其实在运行期间再看“变量”这个概念就不再具备编译期间那么多的属性了（诸如名称，类型，作用域，生存期等等），对应的只是一块内存（只有首址和大小），所以在运行期间动态申请的空间，是需要额外的代码维护，以确保不同变量不会混用内存。比如写new表示有一块内存已经被占用了，其它变量就不能再用它了； 写delete表示这块内存自由了，可以被其它变量使用了。（通常我们都是通过变量来使用内存的，就编码而言变量是给内存块起了个名字，用以区分彼此）
  内存申请和释放时机很重要，过早会丢失数据，过迟会耗费内存。特定情况下编译器可以帮我们完成这项复杂的工作（增加额外的代码维护内存空间，实现申请和释放）。从这个意义上讲，局部自动变量也是由编译器负责分配空间的。进一步讲，内存管理用到了我们常常挂在嘴边的堆和栈这两种数据结构。
  最后对于“编译器分配空间”这种不严谨的说法，你可以理解成编译期间它为你规划好了这些变量的内存使用方案，这个方案写到可执行文件里面了（该文件中包含若干并非出自你大脑衍生的代码），直到程序运行时才真正拿出来执行！
  ～～～～～～～～～～～～～～

--------------------- 本文来自 csdn_walter 的CSDN 博客 ，全文地址请点击：https://blog.csdn.net/CSDN_LSD/article/details/78572491?utm_source=copy