Splint：用 `unsigned char` 替换非标准类型 `bit`

【问题标题】：Splint: substitute non-standard type `bit` with `unsigned char`Splint：用 `unsigned char` 替换非标准类型 `bit`
【发布时间】：2023-03-05 00:22:01
【问题描述】：

（这是我的previous question 的扩展）。我在 Windows CLI 中使用 Splint。

XC8 嵌入式 C 编译器有一个自定义类型 bit。为了让 Splint 解析，我可以将 CLI 选项传递给它：

-Dbit=char

但是我需要用unsigned char 替换bit。空格字符是个问题。如何修改上述标志？

【问题讨论】：

用双引号将参数括起来应该可以。您还有其他工具，例如 make 或批处理文件吗？

标签： c types splint

【解决方案1】：

处理命令行参数中的引号和转义的是shell，而不是splint。 shell 最终将整个字符串 -Dbit=unsigned char 视为单个参数的任何结果都足够了，例如，在整个内容周围加上引号。

（编辑：实际上，在 Windows 的情况下，在某些情况下，它可能不是处理引号和转义的 shell，但在整个过程中加上双引号应该是可行的。）

【讨论】：

谢谢。从您的回答中，我意识到 CLI 上的标志和配置文件 (splint.rc) 中的相同标志之间存在差异 - 它们需要采用不同的格式。