c - C是强类型的吗？

Question

引用Wikipedia :

Two commonly used languages that support many kinds of implicit conversion are C and C++, and it is sometimes claimed that these are weakly typed languages. However, others argue that these languages place enough restrictions on how operands of different types can be mixed, that the two should be regarded as strongly typed languages.

有没有更明确的答案？

Answer 1

“强类型”和“弱类型”是没有广泛认可的技术含义的术语。确实具有明确定义含义的术语是

• 动态类型 表示类型在运行时附加到值，尝试混合不同类型的值可能会导致“运行时类型错误”。例如，如果在 Scheme 中您试图通过编写 (+ 1 #t) 来为 true 加一，这将导致错误。仅当您尝试执行有问题的代码时才会遇到错误。

• 静态类型 表示在编译时检查类型，没有静态类型的程序会被编译器拒绝。例如，如果在 ML 中您尝试通过编写 1 + true 将 1 添加到 true，程序将被拒绝并显示一条(可能是神秘的)错误消息。即使代码可能永远不会执行，您也总是会收到错误。

不同的人喜欢不同的系统，部分原因在于他们对灵 active 的重视程度以及对运行时错误的担忧程度。

有时“强类型”被宽泛地用来表示“静态类型”，而“弱类型”被错误地用来表示“动态类型”。术语“强类型”的更好用法是“您无法解决或颠覆类型系统”，而“弱类型”意味着“类型系统中存在漏洞”。反常的是，大多数具有静态类型系统的语言都有漏洞，而许多具有动态类型系统的语言没有漏洞。

这些术语都与语言中可用的隐式转换数量没有任何关系。

如果您想准确谈论编程语言，最好避免使用“强类型”和“弱类型”等术语。我会说 C 是一种静态类型的语言，但它有很多漏洞。一个漏洞是您可以自由地将任何指针类型转换为任何其他指针类型。您还可以通过声明一个具有两个成员的 C union 来在您选择的任何两种类型之间创建一个漏洞，每个成员对应一个所讨论的类型。

我在 why-interpreted-langs-are-mostly-ducktyped-while-compiled-have-strong-typing 上写了更多关于静态和动态类型的文章.