c++ - 如何在 PC-lint 中禁用对 static_asserts 的评估

Question

我正在使用 C++ 的 static_assert 特性在编译时检查通常应该通过的东西，例如:

static_assert( SOME_CONSTANT < 1000u, "..." );

在该代码上运行 PC-lint(版本 9.00k)会发出注释 948:“运算符 '<' 始终计算为 True”，这对于 static_asserts 来说有点毫无意义。

我知道我可以将 //lint !e948 附加到每个 static_assert(这是我现在所做的)或全局禁用 948，但这也会隐藏其他地方的合法错误。

是否可以告诉 PC-lint 不要评估/检查 static_asserts 中的表达式？

Answer 1

您可以教 PC-Lint 像处理 assert() 一样处理 static_assert()。只需将以下几行添加到您的代码中:

#ifdef _lint
//lint -function(__assert, static_assert)
void static_assert(bool, const char*);
#endif