PC lint/Flexelint规则反对纯炭

PC-lint / Flexelint rule against plain char

本文关键字：规则 lint Flexelint PC      更新时间：2023-10-16

Gimpel Software的PC lint和Flexelint有一条规则"971:使用不带"signed"或"unsigned"的"char">，该规则禁止在不指定签名性的情况下使用纯char类型。

http://www.gimpel.com/html/pub/msg.txt

我认为这是被误导了。如果char用作整数类型，那么显式指定有符号性可能是有意义的，但当它用于文本字符时则没有意义。像printf这样的标准库函数采用指向普通char的指针，而使用signed或unsigned char则是类型不匹配。当然，可以在类型之间进行转换，但这可能会导致lint试图防止的那种错误。

这种针对普通char类型的lint规则是错误的吗？

PC Lint在900-999(对于C++为1900-1999)范围内提供的消息称为"选修笔记"，默认情况下为关闭状态。如果您有一个在某些特定方面具有限制性的编码准则，则可以使用它们。然后，您可以激活其中一个或多个注释，以帮助您发现潜在的违规行为。我不认为有人在真正的开发工作中激活了所有的9xx消息。

关于char，你是对的：它是对真实字符使用字节(几乎总是)。但是，C编译器将char视为有符号或无符号。对于C++，char不同于unsigned char和signed char。

在我工作过的许多嵌入式C环境中，习惯上有一条编码规则，规定不允许使用纯char。此时应激活此PC Lint消息。例外情况，如与其他库的接口，必须明确允许，然后使用Lint注释来抑制单个消息。

我认为他们选择强制您选择signed或unsigned的原因是因为C标准没有。C标准规定char、unsigned char和signed char是三种独特的类型。

例如，gcc使默认的signed，但可以使用标志-funsigned-char进行修改

所以IMO我会说不，规则是肯定的，它只是试图收紧C规范

相关文章：