PORTING 检查器会标识那些可能依赖于不同编译器中特定实施细则的代码。PORTING.UNSIGNEDCHAR.OVERFLOW.TRUE 检查器检测那些根据"char"类型的符号规范将导致关系表达式可能始终为真的情况。
char 数据类型并未在 C 标准中进行精确的定义,因此某个实例可能被视为有符号,也可能被视为无符号。某些编译器允许使用编译器选项来转换 char 的符号,但开发人员的**做法是始终编写无歧义的代码,以避免移植代码时出现问题。
始终指定"char"类型是否有符号。最好是使用 typedef 或 #define 定义,然后在各处都严格执行该定义。