类型绑定

在程序中引用一个变量前，变量名 必须被 绑定 到一种数据类型上。

如 名字 abc 得知道它是语言中的基本类型（整型数字、浮点数字、布尔、字符串）或对象类型（内置类、自定义类）。

根据 绑定时间 的早晚分为静态类型绑定和动态类型绑定。

?

显示声明和隐式声明（JS等除外）都产生对类型的静态绑定。

?

动态类型绑定时，变量的类型不是由声明语句来说明的，也不是像Fortain中通过名字的拼法来确定。而是通过赋值语句给变量赋值时，变量才与类型绑定的。

与静态类型绑定不同，动态类型绑定给程序设计带来了极大的灵活性。如使用动态类型绑定的语言很容易写出一个通用程序。

如求两个数的和

list = [11,22,33];list = 5;

?
这不会出错。

PHP 也是动态类型绑定的。

动态类型绑定有两个缺点

1，程序不可靠，相对于静态类型绑定的编译器而言，它发现错误的能力较弱。
2，代价较高，类型检测必须到运行时。

?

最后，具有变量动态类型绑定的语言一般采用单纯的解释期而非编译器。

?

?

?

?

?

?

?