静态类型与动态类型编程语言之间的区别

编程语言有静态类型与动态类型之分，也有强类型和弱类型之分，本是便于描述语言特点的两组词汇，却在使用中被混淆乱用，本文将为你做一个清晰简明的科普介绍。

1. 静态类型 VS 动态类型

理解静态与动态之别，我们要从变量赋值这个操作为切入点。静态类型语言中，变量的类型必须先声明，即在创建的那一刻就已经确定好变量的类型，而后的使用中，你只能将这一指定类型的数据赋值给变量。如果强行将其他不相干类型的数据赋值给它，就会引发错误。

在静态语言中，一旦声明一个变量是int类型，之后就只能将int类型的数据赋值给它，否则就会引发错误，而动态类型则没有这样的限制，你将什么类型的数据赋值给变量，这个变量就是什么类型

以下语言，皆属于动态类型：

1. PHP
2. Ruby
3. Python

常见的静态类型语言则有：

1. C
2. C++
3. JAVA
4. C#

2. 强类型 VS 弱类型

强弱之分，体现在对类型的检查严格程度上，弱类型语言对于变量类型的检查比较宽松，容忍隐式类型转换这种事情的发生。何为隐式类型转换，一般有两种形式：

1. 相关类型之间隐式转换
2. 不相关类型之隐式间转换

举例子来说，一个int类型的数据与一个float类型的数据相加，最终的结果是一个float类型的数据，这个过程就发生了隐式类型转换，int类型数据首先被转成float类型，然后与另一个float进行操作，这便是相相关类型之间隐式转换。

一个int类型数据与一个字符串类型数据相加，竟然没有发生错误，得到的结果是一个字符串，int类型数据隐式转换为字符串，可他们原本是两个不相干的数据类型，这种就是第二种隐式转换。

在弱类型语言中，变量可以隐式强制转换为不相关类型，而在强类型语言中则不可以。按照这种概念定义来划分，PHP，Perl都属于弱类型语言，其他编程语言，你所常见的，比如java, C, C++, Python皆属于强类型语言。