瓦尔格林德有条件跳跃

Valgrind conditional jump

本文关键字：有条件 跳跃 林德      更新时间：2023-10-16

所以我有一些有效的代码，但valgrind说有一个条件跳转取决于未初始化的值。我想我知道是什么原因造成的(见下文)，但我不知道任何替代方案/解决方案。

class Vector{
private:
int maxLength;
int *buffer;
void error(char* msg){
cerr << "Error: " << msg << endl;
}
bool inBounds(int i){
return i>=0 && i < maxLength;
}
public:
Vector(int newLenth)
: maxLength(newLenth), buffer(new int[newLenth])
{
}
int & operator [] (int index){
if (!inBounds(index)){
error("Out of bounds");
}
return buffer[index];
}
int length(){
int count =0;
for (int i = 0; buffer[i];++i){
count +=1;
}
return count;
}
};

我认为问题是在 for 循环中，buffer[i] 没有"初始化"。我应该怎么做才能解决这个问题？(请达到 c++ 新手的水平)

int main(){
Vector v(10);
v[0] = 1;
cout << v.length() << endl;
}

循环进行，直到它在buffer数组中找到零，即它期望缓冲区以 null 结尾。您将1放入初始元素中，但紧随其后的元素保持未初始化状态。

将零放入其中将解决问题：

Vector v(10);
v[0] = 1;
v[1] = 0;
cout << v.length() << endl;

注意：您还应该通过在到达maxLength时终止来确保循环安全：

for (int i = 0 ; i != maxLength && buffer[i] ; ++i) {
count++;
}

这将确保您不会探测缓冲区末尾的位置是否为零。

您可以使用

: maxLength(newLenth), buffer(new int[newLenth]{})
^^- note

这将使buffer中的所有元素(其中maxLength个)初始化为默认值(0int)。

相关文章：