assert
由于断言可能关闭,因此无法保证这些副作用,这可能导致难以捉摸的错误。 该检查检测到的不受欢迎的常见副作用是变量和字段修改。 当涉及到方法调用时,将对它们进行一级深入分析。
示例:
assert i++ < 10;