静态类型和动态类型的区别

一、静态类型和动态类型的区别

引自MDN Web Docs 动态类型

the interpreter assigns variables a type at runtime based on the variable's value at the time.

大概含义：（动态类型）在运行时，解释器基于变量值的类型决定变量的类型。这段文字原本是介绍JavaScript动态类型的，不过对于Python等动态类型语言同样适用。

因此，在编写动态类型语言的源码时，不用声明变量的数据类型。
甚至，在Python 中，变量不需要声明。每个变量在使用前必须赋值，变量赋值后该变量就会被创建。另外，JavaScript不用var声明，直接也可以正常使用。

// JavaScript
var a = 1;
var b = 2.0;
c = "hello" // 也可以正常运行
、
// Python
a = 1；
b = 2.0;

静态类型，在编译时，编译器基于所声明的数据类型确定变量的类型

因此，在编写静态类型语言的源码时，必须声明变量的数据类型。（Java、C、C++声明变量使用的关键字相同。）

// Java/C/C++
int a = 1;
double b = 2.0;

总结：静态类型和动态类型的本质区别在于：变量的数据类型确定的时机不同，前者在运行时根据变量值确定；后者在编译时根据声明类型确定。

二、静态类型语言和动态类型语言的区别

上文已经提及了静态类型语言和动态类型语言，其实，静态/动态类型和静态/动态类型语言还是有区别的。

引自MDN Web Docs 动态类型语言

动态编程语言是指可在运行阶段时执行那些在编译阶段执行的操作的编程语言。比如，在 JavaScript 中， 我们可以在程序运行时改变变量的类型，或者为一个对象增加一个新属性或者方法。

这正好与静态编程语言相反，在静态编程语言的运行阶段，一般是无法执行这些改变的。

上文已经提及常见的动态类型语言：JavaScript、Python等
静态类型语言：Java、C 、C++等