类型绑定
在程序中引用一个变量前,变量名 必须被 绑定 到一种数据类型上。如 名字 abc 得知道它是语言中的基本类型(整型数字、浮点数字、布尔、字符串)或对象类型(内置类、自定义类)。根据 绑定时间 的早晚分为静态类型绑定和动态类型绑定。
一、静态类型绑定
显示声明和隐式声明(JS等除外)都产生对类型的静态绑定。
二、动态类型绑定
动态类型绑定时,变量的类型不是由声明语句来说明的,也不是像Fortain中通过名字的拼法来确定。而是通过赋值语句给变量赋值时,变量才与类型绑定的。与静态类型绑定不同,动态类型绑定给程序设计带来了极大的灵活性。如使用动态类型绑定的语言很容易写出一个通用程序。
如求两个数的和
// JavaScript function sum(x,y){ return x+y; } // Java int sum(int x, int y){ return x + y; }
JavaScript是动态类型绑定的,可以传整数型,小数型甚至字符串。但Java中只能传整数却不能是小数。又如Javascript中,先将一个数组赋值给变量,后又将数字赋值给该变量。
list = [11,22,33]; list = 5;
这不会出错。PHP 也是动态类型绑定的。动态类型绑定有两个缺点
1,程序不可靠,相对于静态类型绑定的编译器而言,它发现错误的能力较弱。
2,代价较高,类型检测必须到运行时。
最后,具有变量动态类型绑定的语言一般采用单纯的解释期而非编译器。