如何在PC-lint中禁用static_asserts求值

Question

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

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

在该代码上运行PC-lint (版本9.00k)会发出注释948："Operator '<‘always evaluates to True"，这对于static_asserts来说是没有意义的。

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

有没有可能告诉PC-lint不要在static_asserts中计算/检查表达式？

Answer 1

您可以教PC-Lint以与处理static_assert()相同的方式来处理assert()。只需将以下代码行添加到代码中：

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

Answer 2

为了解决这个问题，我在.lnt配置文件中添加了下面一行代码。

-dstatic_assert()= // ignore keyword static_assert and following parenthetical