变量的概念基本上和代数的方程变量是基本一致的。
只是在计算机程序中，变量不仅可以是数字，还可以是任意数据类型。
变量在程序中就是用一个变量名表示了任意数据类型。
变量名必须是大小写英文、数字和 _ 的组合，且不能用数字开头。
比如：
变量x是一个整数
x = 3
变量x_1是一个字符串
x_1 = 'here1'
变量Abcd是一个布尔值True
Abcd = True
Python中，等号=是赋值语句
可以把任意数据类型赋值给变量，同一个变量可以反复赋值，而且可以是不同类型的变量。
例如：
x = 123 # x是整数
print(x)
x = 'ABC' # x变为字符串
print(x)
这种变量本身类型不固定的语言称之为动态语言，与之对应的是静态语言。
静态语言在定义变量时必须指定变量类型，如果赋值的时候类型不匹配，就会报错。
和静态语言相比，动态语言更灵活。
不要把赋值语句的等号等同于数学的等号。
比如：
x = 10
x = x + 2
如果从数学上理解 x = x + 2 那无论如何是不成立的
在程序中，赋值语句先计算右侧的表达式 x + 2，得到结果12，再赋给变量x。
由于x之前的值是10，重新赋值后，x的值变成12。
理解变量在计算机内存中的表示：
定义时
x = 'ABC'
Python解释器干了两件事情：
-
在内存中创建了一个
'ABC'的字符串； -
在内存中创建了一个名为
a的变量，并把它指向'ABC'。
也可以把一个变量 x 赋值给另一个变量 y，这个操作实际上是把变量 y 指向变量 x 所指向的数据，
例如下面的代码：
x = 'ABC'
y = x
x = 'XYZ'
print(y)
最后一行打印出变量 y 的内容到底是 'ABC' 呢还是 'XYZ' ？如果从数学意义上理解，就会错误地得出b和a相同，也应该是'XYZ'，但实际上 y 的值是'ABC'，让我们一行一行地执行代码，就可以看到到底发生了什么事：
执行 x = 'ABC'，解释器创建了字符串'ABC'和变量x，并把a指向'ABC'：
执行y=x，解释器创建了变量y，并把y指向x指向的字符串 'ABC'：
执行 x =‘xyz’，解释器创建了字符串'XYZ'，并把 x 的指向改为XYZ，但y并没有更改：
所以，最后打印变量y的结果自然是‘ABC’了。
整个流程执行下来示意
常量
所谓常量就是不能变的变量，比如常用的数学常数π就是一个常量。在Python中，通常用全部大写的变量名表示常量：
XYZ = 3.14159265359
但事实上 XYZ 仍然是一个变量，Python根本没有任何机制保证 XYZ 不会被改变，
所以，用全部大写的变量名表示常量只是一个习惯上的用法，
如果你一定要改变变量 XYZ 的值，当然也是可以的。
整数的除法为什么也是精确的？
在Python中，有两种除法，一种除法是/：
>>> 10 / 3 3.3333333333333335
/除法计算结果是浮点数，即使是两个整数恰好整除，结果也是浮点数：
>>> 9 / 3 3.0
还有一种除法是//，称为地板除，两个整数的除法仍然是整数：
>>> 10 // 3 3
整数的地板除//永远是整数，即使除不尽。要做精确的除法，使用/就可以。
因为//除法只取结果的整数部分，所以Python还提供一个余数运算，可以得到两个整数相除的余数：
>>> 10 % 3 1
无论整数做//除法还是取余数，结果永远是整数，所以，整数运算结果永远是精确的。
