我正在使用 coverity (5.5.1)(以及其他)来强化我的代码。我偶然发现了一个问题,现在我怀疑我的覆盖设置是否完整。看看这个例子:
class A
{
int _a,_b;
public:
A(int b) : _a(_b), _b(b)
{ }
};
int main(void)
{
A *a1 = new A(5);
delete a1;
A a2(5);
return 0;
}
可以看出,在用 _b
初始化之前,我使用 _a
来初始化 b
。在 this 问题中,我了解到编译器或任何其他工具发出这样的警告“很好”。
与我对现在发现的问题的最初理解相反,coverity 实际上会发出完美匹配的缺陷 (UNINT),但仅当在堆栈上分配时,而不是在使用 new
创建时。因此,在我的 main
函数中,我收到了 A a2(5)
的警告,但没有收到 A *a1 = new A(5)
的警告。
在我看来,当使用 new
时,覆盖率处理对构造函数的调用与在堆栈上创建对象时不同。
在我的 coverity 配置中有什么我忽略的吗?在堆上分配时,我该怎么做才能收到警告?
最佳答案
事实证明,根据支持,这是 Coverity 中的一个已知错误(即使在当前版本中也是如此)。次年夏天发布的版本可能会提供修复。
该错误列在 ID 下:50128 UNINIT FN:初始化前在构造函数中使用的成员,在修复和发布时将同样放入发行说明中。
关于c++ - Coverity 和 C++ : heap (with new) vs. 堆栈分配,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14934911/