静态类型和动态类型VS强类型和弱类型

强类型语言和静态类型语言有什么区别？

静态类型的语言具有类型系统，该类型系统在实现时由实现（编译器或解释器）检查。类型检查拒绝某些程序，并且通过检查的程序通常带有一些保证。例如，编译器保证不对浮点数使用整数算术指令。

关于“强类型”的含义并没有真正的共识，尽管专业文献中使用最广泛的定义是使用“强类型”语言，但是程序员不可能解决类型系统所施加的限制。 。这个术语几乎总是用来描述静态类型的语言。

静态与动态

静态类型的反义词是“动态类型”，这意味着

1. 运行时使用的值分为几种类型。
2. 有关如何使用此类值的限制。
3. 违反这些限制时，违反将被报告为（动态）类型错误。

例如，Lua是一种动态类型的语言，除其他外，还具有字符串类型，数字类型和布尔类型。在Lua中，每个值都完全属于一个类型，但是这并不适用于所有动态类型语言的要求。在Lua中，允许串联两个字符串，但不允许串联一个字符串和一个布尔值。

强vs弱

“强类型”的反义词是“弱类型”，这意味着您可以在类型系统周围工作。众所周知，C是弱类型的，因为任何指针类型都可以通过强制转换直接转换为任何其他指针类型。Pascal原本是强类型的，但是设计的监督（未标记的变体记录）在类型系统中引入了漏洞，因此从技术上讲，它是弱类型的。真正强类型语言的示例包括CLU，Standard ML和Haskell。实际上，标准ML已进行了多次修订，以消除在广泛部署该语言后发现的类型系统中的漏洞。

这到底是怎么回事？

总的来说，谈论“强”和“弱”并没有多大用处。类型系统是否存在漏洞与漏洞的确切数量和性质，在实践中出现的可能性以及利用漏洞的后果相比，并不那么重要。实际上，最好完全避免使用术语“强”和“弱”，因为

• 业余爱好者经常将它们与“静态”和“动态”混为一谈。

• 显然，有些人使用“弱类型”来谈论隐性转换的相对盛行或不存在。

• 专业人士无法就术语的确切含义达成共识。

• 总体而言，您不太可能通知或启发您的听众。

可悲的事实是，在类型系统方面，“强”和“弱”在技术含义上并没有达成共识。 如果要讨论类型系统的相对强度，最好确切讨论提供了什么保证和不提供什么保证。例如，一个很好的问题是：“是否一定要通过调用该类型的构造函数之一来创建给定类型（或类）的每个值？” 在C语言中，答案是否定的。在CLU，F＃和Haskell中，是的。对于C ++，我不确定，我想知道。

相比之下，静态类型化意味着在执行程序之前先检查程序，然后在启动程序之前将其拒绝。 动态类型化意味着在执行过程中会检查值的类型，而类型错误的操作可能会导致程序停止运行或在运行时发出错误信号。静态类型化的主要原因是要排除可能具有此类“动态类型错误”的程序。

一个暗示另一个吗？

从学徒的角度来看，不可以，因为“强”一词实际上没有任何意义。但实际上，人们几乎总是做以下两件事之一：

• 他们（错误地）使用“强”和“弱”来表示“静态”和“动态”，在这种情况下，他们（错误地）正在交替使用“强类型”和“静态类型”。

• 他们使用“强”和“弱”来比较静态类型系统的属性。很少有人听到有人谈论“强”或“弱”动态类型系统。除了FORTH，它实际上没有任何类型的类型系统，我无法想到可以颠覆类型系统的动态类型语言。根据定义，这些检查会进入执行引擎，并且在执行每个操作之前都会对其进行检查。

无论哪种方式，如果一个人称一种语言为“强类型”，那么这个人很可能在谈论静态类型的语言。