动态语言的动态类型

1. 在静态语言中，声明的目的是为了告诉编译器所使用的变量“是什么”，使类型检查可以在编译阶段静态地进行，尽量减少执行时的类型检查，提高执行效率，但缺乏灵活性。

 

2. 而在动态语言中，变量被设计成无类型的，变量的类型可以按需改变，同一个变量既可作为整型的，也可作为字符串，还可用来定义函数。那么如何保证所执行的操作是否接收到类型正确的参数呢？在运行时进行动态类型检查机制解决了类型安全这一问题。动态类型检 查通过在每个数据对象中保存一个类型标签表明该数据对象的类型，比如在表达式C=A+B中，A和B的类型在程序运行时确定，也可以在运行时改变，所以每次 执行 + 操作时都要根据类型标签对A和B的类型进行检查，只有在类型正确的情况下才能执行，否则发出错误信号。操作正确执行后，确定了变量C的类型，并记下C的类 型标签以备随后可能的操作进行类型检查。

 

3. 这并不意味动态类型容易在程序中引入类型安全的错误。在大规模的程序中，静态语言要为类型上编写大量的语句，这就使得程序员专注于程序中的类型正确性而容易忽视程序其他部分的正确性。而对于动态语言，如果熟悉了这些风格和习惯，犯错误这件事情同样是可能很好地避免的。使用弱类型的语言同样可以开发很好的系统，而且实际上已经开发了很多很好的系统。

 

4. 动态类型检查的主要优点在于程序设计的灵活性，不需要声明语句，一个变量名绑定的数据对象的类型可以在程序执行时按需改变，使程序员从数据类型摆脱出来，同时也可以编写更少的程序代码行完成同样的功能。动态类型是动态语言的最显著的优点，但也是动态语言的弱点根源所在。

 

5. 不足之处：

 

   a. 程序难以调试。因为动态类型检查只在程序运行到某一条操作时才对其进行类型检查，而从来不检查没有被执行的执行路径上的操作。

   b. 在软件测试时是不 能遍历程序中所有的执行路径，这样没有被执行的路径仍有可能存在bugs。这一点可能是动态语言致命的缺点，它导致了动态语言对开发大型软件 项目支持力度不够。

   c. 保存大量的类型信息。运行时需要相当大的额外存储空间。
   d. 执行效率低。动态类型检查要靠软件模拟实现，主要是在运行时完成的，所以在执行速度上降低了不少。