入门Python的生人，对变量这个见解的证实似乎是第一个门槛。其实，不光是Python，学习任何一门高档编程言语伦理，比如C/C++、Java等，亦然不异的问题。

变量按照其存储的内容的类型，分为整型、浮点型、字符型、网络型等；

变量按照是否可变（这点最奇怪，生人料想要起义好久），又不错分为值类型（也叫不成变类型）和援用类型（也叫可变类型）。

Python四肢一门动态类型言语，一个变量不错一刹是整型，一刹是字符串型，一刹又酿成网络类型，生人也会有所困惑……

其实，不光是生人，矜重使用Python多年的老手，对变量的实在细节，也不敢说齐备知谈，仅仅会用、唯手熟尔。

这篇著述，通过分析代码的履行经由，团结内存的存储结构及字节码领导的履行，但愿能匡助Python爱重者们，实在搞懂“变量”。

准备学问

一切皆对象

Python是一门面向对象的编程言语。对面向对象暂时不太通晓的，不错浅易证实为，对象等于把数据和数据惩处步骤封装在一都的一个数据结构。生人的话，思要学习面向对象语法的不错决然找本课本学一下或者问下ChatGPT，我这里帮你们问了一下：

说真话，生人看了料想更晕，当今脑海里有个对象的见解吧。

一切皆对象，一个整数是一个对象，一个字符串是一个对象，一个函数是一个对象，一个网络亦然一个对象。

对象的身份记号id

如同咱们每个东谈主都有一个身份证或者护照，能够独一记号咱们我方。在Python的天下中，每一个对象也有一个独一记号。咱们不错通过id这个函数，获得一个对象的独一记号。

上述代码中，咱们界说了一个变量x，并将其赋值为3。然后，咱们分离将变量名x和数字3四肢对象传给id函数，获得这两个对象的id。输出的id应该是换取的，也等于x和3其实是合并个对象。

有的课本中，或者Python大神说，id函数复返一个对象在内存中的地址，其实是不严谨的，id等于复返一个对象的身份记号，这个身份记号，不错是对象在内存中的地址，也不错不是。

咱们不错通过id函数的界说来，更通晓的了解到这极少：

从id函数的界说描摹中，不错看出id函数所要复返的是一个对象的唯孤立份记号，确保在对象的通盘人命周期内都是不错被独一记号的。

而在CPython这个诬捏机竣工中，将对象在内存中的地址四肢对象的唯孤立份记号。

如何在PyCharm中快速搜检函数id的界说，不错参考前边的著述，或者自行百度，也不错通过help函数来搜检：

help(id)

输出着力：注目：若是结尾一直莫得适度，不错试着敲键盘上的Q键复返，quit的道理。

圭臬履行中的内存结构

圭臬履行概况得内存结构如下所示：

仅仅一个概况的线路，并不准确，然而这个大要的结构，在整个的编程言语中，应该都是重迭的，大同小异的。

栈内存

圭臬履行之初，会肯求一块内存，四肢圭臬履行经由、函数调用的高下文存储的结构，比如存储字节码大喊的操作数、函数的参数，函数复返值等，四肢一个栈。

对栈的操作，是后进先出的。把数据存储到栈中，叫作念入栈，也称为压栈；把栈顶部的数据取出来，叫出栈。

堆内存

堆内存，用于存储对象的。

常量池、变量池的叫法不一定严谨，仅仅演示，不同的Python诬捏机竣工细节不太一样。

咱们暂且毛糙的这么证实：

变量存放在变量池，变量池不错证实为是一个列表，每一个元素对应一个变量，元素中存放的是变量对应付象的id

常量存放在常量池，常量中存放的亦然对象，然而是不成变的

准备学问到此为止，都是干活，淡薄好好消化一下，或者自行找材料再推行一下。

实例分析

接下来，咱们通过几行浅易的变量赋值的代码，来看变量在内存中的履行存储的动态变化，从而愈加通晓地证实变量的变与不变。

率先，需要施展的是，Python代码在编译履行的技巧，会率先把代码中整个出现的字面量，比如数字3、字符串"hello world"等都先在常量池中构建出对应的不成变对象。

整型变量的赋值

x = 1，诚然仅仅一个赋值操作，履行上会革新为两条字节码领导履行，上眼前两行赋值语句对应的字节码领导会是如下的方法：

最左侧的2、3，是字节码领导所翻译的源代码对应的代码行号；

第二列的2、4、6、8，是字节码领导在字节码文献中领导序列的偏移，这两种字节码领导均是2个字节的长度；

第三列是字节码领导的称呼，第四列是领导的操作数，中是操作数的履行内容：

LOAD_CONST：线路将常量池中的对象的id压栈；

STORE_NAME：线路将栈顶的值取出，并存储到变量池中的变量中

每一个变量赋值操作，都是由这么的领导对构成。

上头代码履行完成后，内存的线路图如下：

接下来，添加几行代码，咱们窜改x的值：

履行完成后，内存中会发生窜改：

履行后，常量池中会多1个对象3，x存储对象3的id，y仍然不变。

字符串、元组类型的变量，亦然属于值类型的变量，其赋值修改经由，都是肖似于整型变量的上述经由，都是先在常量池中构建对象，然后变量中存储对象的id，修窜改量值，其实等于创建新的对象，变量存储新的对象的id的经由。

列表的赋值与更新操作

列表属于可变对象，属于援用类型，其赋值、更新操作会与前边的值类型操作有所不同。

率先看赋值的代码：

不异，咱们看下列表赋值的代码的对应的字节码领导：

第一瞥：a = [1， 2， 3]，被翻译为了4条字节码领导：

BUILD_LIST：线路在内存空间构造一个空的list对象；

LOAD_CONST：线路将常量池中的元组对象(1，2，3)的id压栈；

LIST_EXTEND：应用栈中的id对应的元组对象推广第一步构造的空列表对象；

STORE_NAME：将构造的列表对象的id，存储到变量a中

是以，从字节码的履行可知：列表的赋值，率先如故会先构造一个元组对象(1，2，3)放到常量池中，然后基于元组对象填充列表对象。

代码输出如下：

以上代码履行完成后，对应的内存线路图如下：

接下来，咱们添加窜改变量值的代码：

上述新增代码履行完成，内存结构将发生变化：

通过线路图，咱们就能通晓的证实，为什么b[0]发生变化，a[0]也随着变化了。因为a与b一经存储了合并个对象的id值。

回来

以上，等于这篇著述所要传递的整个内容了。

需要施展：对于字节码领导，不睬解也没联系系，仅仅为了演示一下一瞥代码的履行其实亦然要分几个法子来完成的。

后续巧合辰的话，会再写一篇对于Python字节码的著述，感敬爱的背面不错关心一下。

内存结构的线路图伦理，诚然不够严谨，然而大体上应该能够对变量的底层细节有愈加通晓的久了。