MISRA C:2012 Rule 4.2

规则定义

Trigraphs should not be used ¹ .

理由

可以用两个问号后跟一个特定的第三个字符来表示三字符序列（例如，'??-' 表示一个 '~'（波浪号）字符，'??)' 表示一个 ']' 字符）。这些三字符序列可能会与两个问号的其他用法意外混淆。

Polyspace 实现

Polyspace^® 分析会将三字符序列转换为等效字符，以用于缺陷分析。然而，Polyspace 也会引发 MISRA™ 违规。

标准要求在预处理期间，必须在删除注释之前转换三字符序列。因此，即使三字符序列出现在代码注释中，Polyspace 也会报告违反此规则。

故障排除

如果您预计存在违规，但未看到该违规，请参阅Diagnose Why Coding Standard Violations Do Not Appear as Expected。