什么是强类型？ -技术百科的定义

定义-强类型是什么意思？

强类型化是用于指代编程语言的概念，该编程语言对值与不同数据类型的混合进行严格限制。 当违反这些限制并发生错误（异常）时。

技术百科解释强类型

现有的强类型语言的示例包括Java，Ruby，Smalltalk和Python。 对于Java，在编译期间会检测到键入错误。其他编程语言（如Ruby）会在运行时检测到键入错误。

在强类型语言中，与弱类型语言相比，操作行为更容易预测。 缺点是必须声明和键入所有变量和参数-尽管有些人认为这只是良好的编码。

强类型语言和弱类型语言之间的区别有些模糊。 某些被认为是强类型的语言实际上允许让步，使它们成为弱类型。 以C#为例。 尽管C#要求其所有变量都具有定义的类型，但它允许程序员禁用动态类型检查。 即使是被认为是类型最强的编程语言之一的Java，也允许将对象转换为其他类型。