动态类型语言和静态类型语言

最新推荐文章于 2024-08-02 16:58:54 发布

吃鱼的羊

最新推荐文章于 2024-08-02 16:58:54 发布

阅读量6.8k

点赞数 1

分类专栏： JAVA

JAVA 专栏收录该内容

109 篇文章 9 订阅

订阅专栏

https://www.cnblogs.com/liuning8023/p/4286044.html 动态类型语言和静态类型语言

本文主要说明动态类型语言和静态类型语言。

类型检查所进行的检验处理以及实行类型的约束，可发生在编译时期（静态检查）或运行时期（动态检查）。静态类型检查是在编译器所进行语义分析中进行的。如果一个语言强制实行类型规则就称此处理为强类型（或静态类型），反之称为弱类型（或动态类型）。另外，严格意义上，强类型与静态类型不是一回事，同理，弱类型与动态类型。

强类型是指某门语言检查两种类型是否兼容，如果不兼容就抛出一个错误或强制类型转换，尽管这个说法并不是很严格。静态类型强迫在类型结构的基础上执行多态。判断是否是一只鸭子的依据，是其基因蓝图（静态），还是因其叫声和走路的姿态像一只鸭子（动态）。静态语言的好处在于编译器和工具等对你的代码更加了解，可以用于捕捉错误，突出显示代码以及便于重构代码。付出的代价是你不得不做更多的工作，并且会受到一些限制。

动态类型语言（Dynamically Typed Language）

所谓动态类型语言，就是类型的检查是在运行时才做。

类型对于变量，属性，方法以及方法的返回类型都是可有可无的，在给变量赋值时才决定它的类型，之后，还可以赋值不同类型的值，即使是基本类型，比如 C# 装箱（boxing）和拆箱（unboxing），可以把值类型转换成引用类型，引用类型转换成值类型。当需要时，很多类型之间都会发生自动转换，可以把不同的基本类型添加到同一数组（collections）中。

动态类型在解释语言中极为普遍，如 JavaScript、Perl、Python、Ruby 等等。

静态类型语言（Statically Typed Language）

静态类型语言的类型检查是在运行前的编译阶段，比如 C#、Java 等都是静态类型语言，静态类型语言为了达到多态会采取一些类型鉴别手段，如继承、接口，而动态类型语言却不需要，所以，一般动态语言都会采用 dynamic typing。静态类型语言常出现于编译语言中，比如，Java，实现运行时多态性的基础是动态方法调度，它是一种在运行时而不是在编译期调用重载方法的机制。

“多态性”是指，代码（尤其是函数和类）对各种类型的值能够动作，或是相同数据结构的不同实体能够控制不同类型的元素。在具有多态性的语言中，只需实现如列表或词典的数据结构一次，而不是对使用到它的元素的每一个类型都规划一次。基于这个原因，电脑学家也称使用了一定的多态性的方法为泛型程序设计。

推断类型（鸭子类型，Duck typing），这个技术之所以常被称作“鸭子类型”，是基于这句格言：“如果它摇摇摆摆的走法很像鸭子，而且它的嘎嘎叫声也像鸭子，那它就是一只鸭子！（If it waddles like a duck, and quacks like a duck, it's a duck!）”最初是由 Dave Thomas 在 Ruby 社区中提出的，推断类型用了这个论证法“如果它像什么，而且其它地方也像什么，那么它就是什么。”，比如，C++在迭代器和指针之间的双重性，两者以不同的机制实现并提供一个* 运算；C# 可以用 var 关键字声明变量，还有委托推断。