1、变量皆是标签

如图所示，ab皆是便利贴，皆是标注，皆是引用。为什么这么说呢，代码复现一下。

如图可知，当向b中添加元素4时，a也产生了变化。并且ab前后的id值是没有产生任何变化的。面对这种现象，我们也把a或b叫做别名，他们都表示同一块内存地址。

2、引用分配给对象，而不是把对象分配给引用

为什么这么说呢？打个比方，a、b就像是人员分配，我们总是会把人员分配到地方，那么这个地方一定是一个既成事实。在python代码中同样如此，复现一下：

可以看出，赋值语句的右边先执行，先创建再赋值。那么此时是先实例化对象创建既成事实，再把引用分配给对象

3、==和is之间的不同

==：对比value是否相同 ； is：对比id是否相同。python代码复现一下：

好，可以看出确实如此。为什么此处值相同，id却不同呢。下面第4点会做出解释

4、内存驻留机制

结论：当值是不可变类型且存在这个值时，会直接引用。否则开辟新内存创建。这是因为python对不可变数据类型的驻留机制，它是一个python底层实现的内存优化机制。python代码复现一下：

1、当值为不可变类型时：

2、当值为可变类型时：