C 是强类型的吗？

Question

引用维基百科：

两种常用语言 支持多种隐式 转换是C和C++，它是 有时声称这些是 弱类型语言。 然而， 其他人则认为这些语言 对如何进行足够的限制 不同类型的操作数可以是 混合，两者应该被视为 作为强类型语言。

有没有更明确的答案？

Answer 1

不是强类型的。

考虑以下函数原型告诉您有关参数数据类型的信息：

void func (int n, char ch, ...);

Nothing。 所以我建议强类型在这里不适用。

Answer 2

强类型的“经典”定义是，语言强制程序员明确地告诉编译器每个变量的类型，以便它可以确保您获得的行为是您所期望的。 其目的是在尝试运行代码之前检测并报告整类问题。

运行时检测此类问题的问题在于，大多数代码包含不经常运行的行，特别是那些设计用于错误检查的行。 这些可能很少运行，以至于原始程序员从未发现某些类型问题，因此逃逸到生产中。 通过编写一个彻底的测试平台来测试每个函数中的每一行代码可以避免这种情况，但我很少看到这样做。

有些人用《C 编程语言》一书作为参考，来判断作者是否认为 C 是强类型的。 这是误导性的。 本书撰写时，C 类型检查与采用 C 标准时不同。 随着时间的推移，C 类型检查变得更加严格，并且隐式类型转换的行为现在已在标准中详细说明。

C 中提供了强制转换和 void 指针作为绕过类型检查的显式方法。 用它们来证明 C 是松散类型的是不诚实的。 它忽略了语言中仅用于定义类型和强制一致性的整个部分，因为存在解决方法。 这就像说安全带毫无价值，因为有些人不使用它们。 即使使用强制转换和 void 指针，仍然需要 tupe 定义，仍然检查类型，并且捕获绝大多数代码行的类型错误，我认为更公平的说法是 C 是一种强类型语言，其机制允许知识渊博的用户如果他们认为需要的话，可以绕过类型检查。

Answer 3

您查询的原因是什么？ 我问的原因是这是一个微小的差异，您对“强类型”的特定用法可能需要或多或少的澄清。 我肯定会说 Java 和其他语言对隐式类型对话有更严格的限制。

Answer 4

当“强类型”没有具体的定义时，很难提供具体的答案。 我想说 C 是强类型的，因为每个变量和每个表达式都有一个类型，但弱类型是因为它允许您使用强制转换来更改类型并将一种类型的表示重新解释为另一种类型。

Answer 5

c 是弱类型，b 是无类型。

Answer 6

我想说它是强类型，因为每个表达式都有一个不是其值的函数的类型； ei 它可以在运行之前知道。

OTOH 我不确定这是否是强类型的正确描述。 我认为一种语言做出的唯一更有力的声明是保证你不能在运行时通过重新解释类型转换、联合、调用其他语言、指针、汇编语言等来破坏类型系统。存在但非常严重，以至于高可靠性和学术界之外的程序员似乎对它们没有太大兴趣。 正如某人所指出的，要真正做到这一点，您开始需要拥有诸如 nonZeroInt 之类的类型。 恶心。

Answer 7

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

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

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

不同的人喜欢不同的系统，部分取决于他们对灵活性的重视程度以及对运行时错误的担心程度。

有时，“强类型”被宽松地用来表示“静态类型”，而“弱类型”被错误地用来表示“动态类型”。 “强类型”一词的更好用法是“你无法绕过或颠覆类型系统”，而“弱类型”意味着“类型系统中存在漏洞”。 相反，大多数具有静态类型系统的语言都存在漏洞，而许多具有动态类型系统的语言则没有漏洞。

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

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

我在 为什么解释语言大部分都是鸭类型，而编译语言却具有强类型。

Answer 8

很难将每种语言分为“弱”类型或“强”类型——它更像是一个连续体。 但是，与其他语言相比，C 是相当强类型的。 每个对象都有一个编译时类型，如果您正在对对象执行其类型不允许您执行的操作，编译器会（大声）让您知道。 例如，您无法使用错误类型的参数调用函数，无法访问不存在的结构/联合成员等。

但也有一些弱点。 一个主要的弱点是类型转换——它们本质上是说你将要处理对象的类型，并且编译器应该保持安静（如果可以的话）。 void* 也是另一个弱点——它是一个指向未知类型的通用指针，当你使用它们时，你必须格外小心，确保你做的是正确的事情。 编译器无法静态检查 void* 的大多数使用。 void* 还可以在不进行强制转换的情况下转换为任何类型的指针（仅在 C 中，在 C++ 中不行），这是另一个弱点。

Answer 9

C 被认为是弱类型的，因为您可以通过强制转换将任何类型转换为任何其他类型，而不会出现编译器错误。 您可以在此处了解有关该问题的更多信息。

Answer 10

文献对此并不清楚。 我认为强类型不是是/否，强类型有不同程度的。

编程语言有一个关于如何执行程序的规范。 有时不清楚如何执行某些程序。 例如，尝试从数字中减去字符串的程序。 或者除以零的程序。 有几种方法可以处理这些情况。 有些语言有处理这些错误的规则（例如它们抛出异常）。 其他语言只是没有处理这些情况的规则。 这些语言通常具有类型系统来防止编译导致未指定行为的程序。 而且还存在具有未指定行为的语言，并且没有类型系统来在编译时防止这些错误（如果您编写的程序遇到未指定行为，它可能会发射导弹）。

因此：

指定每种情况下运行时发生的情况（例如将数字添加到字符串中）的语言称为动态类型。
防止在编译时执行有错误的程序的语言是静态类型的。
不指定发生的情况并且也没有类型系统来防止错误的语言称为弱类型。

那么Java是静态类型的吗？ 是的，因为它的类型系统不允许从数字中减去字符串。 不，因为它允许您除以零。 您可以使用类型系统来防止在编译时被零除。 例如，通过创建不能为零的数字类型（例如 NonZeroInt），并且只允许除以具有此类型的数字。

那么C是强类型还是弱类型呢？ C 是强类型的，因为类型系统不允许某些类型错误。 但在其他情况下，当未定义发生的情况时（并且类型系统无法保护您），它是弱类型的。

Answer 11

C 的类型比 Javascript 强，但比 Ada 的类型弱。

我想说它更多地属于连续体的强类型方面。 但其他人可能不同意（即使他们错了）。

怎么样才算是确定呢？

Answer 12

根据 Dennis Ritchie（C 的创建者）和 Brian Kernighan 的说法，C 不是强类型语言。 以下几行摘自《C 编程语言》一书第 3 页第 5 段

C 不是强类型语言，但随着它的发展，它的类型检查得到了加强。

Answer 13

C 被认为是静态类型（不能将变量从 int 更改为 float）。 一旦声明了一个变量，它就会陷入这种状态。

但它被认为是弱类型，因为类型可以翻转。

0是什么？ '\0'、FALSE、0.0 等。

在许多语言中，您不能说 IF（变量），因为条件只会从布尔表达式中获取布尔值。 这些是更强类型的。 这同样适用于在字符和整数之间进行转换。

基本上，c 有两种主要的简单数据类型：整数和浮点数（尽管精度不同）。 其他所有布尔值、枚举（不简单但合适）等都作为其中之一实现。 甚至字符基本上也是整数。

与其他语言相比，其他语言有字符串类型、只能分配给定义值的枚举类型、只能使用生成布尔值或 true/false 的表达式的布尔类型。

但你可以说，与 Perl 相比，C 是强类型的。 所以它是那些著名的争论之一（vi 与 emacs、linux 与 windows 等）。 C# 的类型比 C 强。基本上你可以争论任何一种方式。 你的答案可能是双向的:) 另外一些教科书/网页会说 C 是弱类型，有些会说 C 是强类型。 如果你去维基百科，C 条目会说“部分弱类型”。 我想说，与 Python 相比，C 是弱类型的。 所以 Python/C#、C、Perl 处于连续体上。

Answer 14

这里有很多好的答案。 我想提出现实世界Haskell中的一个重要观点：

了解许多语言社区都有自己的定义是很有用的
“强型”。 尽管如此，我们将简要而广泛地讨论类型系统中强度的概念。

（剪断）

围绕类型系统的烟花起源于普通英语，人们将价值概念赋予“弱”和“强”这两个词：我们通常认为强弱比弱强更好。 更多的程序员会说简单的英语，而不是学术术语，而且学术界经常对任何不符合他们喜好的类型系统进行批评。 结果往往是流行的互联网消遣，一场激烈的战争。

因此，请查看有关 C 和 C++ 的答案，但请记住“强”和“弱”并不映射为“好”和“坏”。

Answer 15

在我看来，C/C++ 是强类型的。 由于 C 与机器的接近性，存在允许类型转换的 hacks (void*)。 换句话说，您可以从 Pascal 调用汇编程序命令并操作指针，并且 Pascal 仍然被视为强类型语言。 您可以通过 JNI 从 Java 调用汇编程序和 C 可执行文件，但它不会使 Java 成为弱类型。

C 只是用原始指针等“嵌入”了汇编程序。

Answer 16

术语“强类型”没有达成一致的定义。 因此，除非您定义“强类型”的含义，否则无法回答您的问题。

根据我的经验，“强类型”和“弱类型”这两个术语仅被巨魔使用，因为它们缺乏定义，使得巨魔可以在争论中重新定义它们以适应他们的议程。 除了引发口水战之外，这些术语几乎毫无用处。

您可能还想查看 StackOverflow 上的强类型语言的关键方面是什么？。

Answer 17

“弱类型”和“强类型”之间存在一个具有多个并行途径的连续体，这两个术语甚至没有很好的定义。

C 是静态类型的，因为编译器知道每个局部变量和结构成员的声明类型是什么。

如果每个对象都有特定类型但编译器无法知道该类型，则动态类型语言可能仍然是强类型的。

Answer 18

我想说 C 是强类型的，正如你的编译器/平台所规定的那样。 例如，如果您在严格的平台上进行构建，则取消引用类型双关指针可能会失败：

void m_free(void **p)
{
        if (*p != NULL) {
                free(*p);
                *p = NULL;
        }
}

....
char *str = strdup("foo");
m_free((void **) &foo);

现在，如果您告诉编译器跳过严格的别名，这将不是问题，但不太可移植。 因此，从这个意义上说，突破语言的界限是可能的，但可能不是最好的主意。 这超出了典型的铸造，即铸造 int 一样长，并且真正显示了 void 可能的陷阱之一。

所以，我想说 C 基本上是严格类型的，但它的各种编译器假定程序员最了解并允许一定的灵活性。 这实际上取决于编译器，有些编译器不会注意到潜在的问题。 因此从这个意义上说，选择的编译器在回答问题时确实发挥了作用。 正确的内容通常与编译器允许您逃脱的内容不同。