c++ - Valgrind 在通过指向结构的指针访问结构成员时提示无效读取

Question

结构体定义如下:

struct section_{
    int start;
    ...
};

出于我不会详细讨论的原因，我需要将指向结构的指针传递给接受 void* 的函数。 。该函数如下所示:

void* my_fun(void* sec){
    section_* section = (section_*)sec;
    int start = section->start; // <---- valgrind complains here
    ...
}

我有一个std::vector<section_*>我需要打电话my_fun在此 vector 的每个元素上。我这样做是这样的:

std::vector<section_*> sections = get_sections();
for (int i = 0; i < sections.size(); ++i){
    my_fun((void*)sections[i]);
}

get_sections()函数看起来像:

std::vector<section_*> get_sections(){
    std::vector<section_*> sections;
    section_ sec1;
    sec1.start = 0;
    ...
    sections.push_back(&sec1);
    return sections;
}

我已将问题跟踪到 my_fun 中的行这说的是

int start = section->start;

错误提示:

==3512== Invalid read of size 4
==3512==    at 0x41A970: my_fun(void*)
...
==3512==  Address 0xffeffa2a0 is on thread 1's stack
==3512==  14160 bytes below stack pointer

即使我得到无效读取，我仍然能够访问 my_fun 内的结构成员它们是正确的值。这是为什么？

我意识到这段代码是零散的，但实际的代码比我所展示的要复杂和冗长得多，尽管我认为我正在展示所有相关部分。我希望我提供的信息足够了。

Answer 1

正如@BoPersson 的评论中提到的，您向 vector 添加一个局部变量:

std::vector<section_*> get_sections(){
    std::vector<section_*> sections;
    section_ sec1;    // <- Local, temporary variable 
    sec1.start = 0;
    ...
    sections.push_back(&sec1); // <- Address of local var
    return sections;
    // When this function ends, sec1 is no longer valid
}

您可以使用 new创建sec1 (delete 稍后再讲)。或者将 vector 类型更改为std::vector<section_> sections; .