是否存在一个可以检查代码库的工具,以了解最常见的违反这些类型的事情(对于那些我们想要可移植代码但没有奇怪的非二进制补码机器的人)?
(我上面的示例是特定于有符号整数的,但是我对其他错误(比如对齐或字节顺序)感兴趣)
如果还有其他假设,你知道你在代码中的各个方面做出了决定.如果您可以使用静态断言,您将在编译时失败.