Question

类型系统的强类型弱类型

Answer 1

强类型的基本定义即为，禁止错误类型的参数继续运算。C语言的类型转换即为缺乏强类型的证例；如果编写者用 C 语言对一个值转换类型，不仅令编译器允许这个代码，而且在运行时期中也同样允许。这使得 C 代码可更为紧密和快速，不过也使除错变的更为困难。
部分学者使用术语存储器安全语言（或简称为安全语言）形容禁止未定义运算发生的语言。例如，某个存储器安全语言将会检查数组边界。
设计精巧的语言也允许语言显现出弱类型（借由类型推断之类的技术）的特性以方便使用，并且保留了强类型语言所提供的类型检查和保护。例子包括 VBNet、C# 以及 Java。
运算符重载所带来的简化，像是不以算术运算中的加法来使用“+”，可以减少一些由动态类型所造成的混乱。例如，部分语言使用“.”或“&”来串连字符串。