有人能告诉我强类型和弱类型是什么意思以及哪个更好吗？

Question

有人能告诉我强类型和弱类型是什么意思以及哪个更好吗？

Answer 1

这将是理论答案，但实践方面似乎被忽视了......

强类型意味着你不能在需要另一种类型的变量时使用一种类型的变量（或者这样做受到限制）。 弱类型意味着您可以混合不同的类型。 例如，在 PHP 中，您可以混合使用数字和字符串，并且 PHP 不会抱怨，因为它是弱类型语言。

$message = "You are visitor number ".$count;

如果它是强类型的，则必须将 $count 从整数转换为字符串，通常使用强制转换：

$message = "you are visitor number ".(string)$count;

...或函数：

$message = "you are visitor number ".strval($count);

至于哪个更好，这是主观的。 强类型的拥护者会告诉您，它将帮助您避免一些错误和/或错误，并帮助传达变量的用途等。他们还会告诉您，弱类型的拥护者将强类型称为“< em>不必要的语言废话，被常识认为毫无意义”，或类似的东西。 作为弱类型群体的持牌成员，我不得不说他们有我的号码……但我也有他们的，并且我可以将其放入字符串中:)

Answer 2

“强类型”及其相反的“弱类型”的含义相当弱，部分原因是“强类型”的概念可能会根据您询问的对象而有所不同。 例如，C 被不同的作者称为“强类型”和“弱类型”，这实际上取决于你将它与什么进行比较。

一般来说，如果一个类型系统能够表达与另一个或更多类型系统相同的约束，那么它应该被认为是更强的。 然而，两种类型的系统常常不具有可比性——一种系统可能具有另一种系统所缺乏的功能，反之亦然。 对相对优势的任何讨论都取决于个人喜好。

拥有更强大的类型系统意味着编译器或运行时将报告更多错误，这通常是一件好事，尽管它可能以必须手动提供更多类型信息为代价，这可能被认为是不值得的努力。 我认为“强类型”通常更好，但你必须考虑成本。

同样重要的是要认识到“强类型”经常被错误地使用，而不是“静态类型”甚至“清单类型”。 “静态类型”意味着在编译时进行类型检查，“清单类型”意味着显式声明类型。 清单类型可能是使类型系统变得更强大的最著名的方法（想想 Java），但是您可以通过其他方式（例如类型推断）来增强强度。

Answer 3

我想重申，弱类型与动态类型不同。

这是一篇关于该主题的文章，写得相当好，如果您不确定强类型系统、弱类型系统、静态类型系统和动态类型系统之间的差异，我绝对建议您阅读它。 它详细描述了这些差异，比简短答案中预期的要好得多，并且有一些非常有启发性的示例。

http://en.wikipedia.org/wiki/Type_system

Answer 4

强类型是现代编程语言中最常见的类型模型。 这些语言有一个简单的功能 - 了解运行时的类型值。 我们可以说强类型语言可以防止两种或多种不同类型之间的混合操作。 下面是 Java 中的一个示例：

String foo = "Hello, world!";
Object obj = foo;

String bar = (String) obj;
Date baz = (Date) obj; // This line will throw an error

前面的示例将完美运行，直到程序到达将抛出 ClassCastException 的最后一行代码，因为 Java 是强类型编程语言。

当我们谈论弱类型语言时，Perl 就是其中之一。 下面的示例展示了 Perl 如何在混合两种不同类型时不会出现任何问题。

$a = 10;
$b = "a";
$c = $a . $b;
print $c; # returns 10a

我希望你觉得这很有用，

谢谢。

Answer 5

这篇文章值得一读：http://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html在研究尝试时为我清除了很多东西回答类似的问题，希望其他人也觉得有用。

强类型和弱类型：

类型系统最常见的分类方式可能是“强”
或“弱”。 这是不幸的，因为这些词几乎没有
根本没有意义。 在有限的范围内，可以比较两个
具有非常相似类型系统的语言，并将其中一种指定为具有
这两个系统中较强的一个。 除此之外，这些话没有任何意义
完全没有。

静态和动态类型

这几乎是类型系统唯一常见的分类
这具有真正的意义。 其实它的意义在于
经常被低估的[...]动态和静态类型系统是
两个完全不同的事情，其目标部分发生
重叠。

静态类型系统是编译器检查的一种机制
源代码并将标签（称为“类型”）分配给各个部分
语法，然后使用它们来推断有关程序的某些信息
行为。 动态类型系统是编译器使用的一种机制
生成代码来跟踪数据的排序（巧合的是，也
称为程序使用的“类型”）。 使用同一个词
当然，这两个系统中的“类型”并不完全是
巧合； 但最好将其理解为具有某种弱点
历史意义。 试图寻找一个
世界观中“类型”在两者中实际上意味着同一件事
系统。 事实并非如此。

显式/隐式类型：

当使用这些术语时，它们指的是
编译器将推断程序各部分的静态类型。 全部
编程语言对类型有某种形式的推理。 一些
比别人拥有更多。 ML 和 Haskell 具有隐式类型，因为没有
（或很少，取决于所使用的语言和扩展）类型
需要声明。 Java 和 Ada 具有非常明确的类型，并且
人们不断地宣告事物的类型。 以上都有
（相对地，例如与 C 和 C++ 相比）强静态类型
系统。

Answer 6

语言中的强类型/弱类型与进行类型转换的容易程度有关：

例如在 Python 中：

str = 5 + 'a' 
# would throw an error since it does not want to cast one type to the other implicitly.

与 C 语言中一样：

int a = 5;
a = 5 + 'c';
/* is fine, because C treats 'c' as an integer in this case */

因此 Python 的类型比 C 更强（从这个角度来看）。

Answer 7

也许这可以帮助您理解强类型和弱类型......

强类型： 它会尽快检查变量的类型，通常是在编译时。 它可以防止不匹配类型之间的混合操作。

强类型编程语言是这样一种语言：

• 所有变量（或数据类型）在编译时
• 都是已知的 严格执行类型规则（不能使用 String
  类型规则的所有异常都会
• 导致编译时错误

弱类型：而弱类型会尽可能晚地延迟检查系统类型，通常延迟到运行时。 在这里，您可以混合类型而无需显式转换。

“弱类型”编程语言就是一种非强类型的编程语言。

首选哪个取决于您想要什么。 对于脚本和好东西，您通常需要弱类型，因为您希望编写尽可能少的代码。 在大型程序中，强类型可以减少编译时的错误。

Answer 8

弱类型意味着您不指定变量的类型，而强类型意味着您为每个变量指定严格的类型。

每种方法都有其优点，弱类型（或通常称为动态类型）、更灵活并且需要程序员编写的代码更少。 另一方面，强类型需要开发人员做更多的工作，但作为回报，它可以在运行代码之前在编译代码时提醒您注意许多错误。 动态类型可能会延迟这些简单问题的发现，直到代码被执行。

根据手头的任务，弱类型可能比强类型更好，反之亦然，但这主要是一个品味问题。 弱类型通常用在脚本语言中，而强类型则用在大多数编译语言中。