为什么我的指针在 c++ 中变成了悬空指针？

Question

我的主要语言是 C#，我正在学习 opengl，而 c++ 背景很少。

// readShaderSource returns const string

// no warning
auto vShaderStr = readShaderSource("vshader.glsl");
auto vShaderSource = vShaderStr.c_str();

// dangling pointer warning
auto vShaderSource = readShaderSource("vshader.glsl").c_str();

我对悬空指针的想法是这样的：

int* a()
{
    auto a = 10;
    return &a

    // a dies here, so &a becomes dangling pointer
}

情况似乎并非如此。

为什么我必须通过字符串变量 go ？ 直接访问成员function不好吗？ 与返回值优化有关吗？ 我很困惑...

Answer 1

我对悬空指针的想法是这样的……似乎并非如此。

实际上，情况相同。 只是形式不同而已。

std::string::c_str()返回的指针仅在std::string object 保持活动状态（且未修改）时有效。

readShaderSource()返回一个临时的std::string object。 该临时文件超出 scope 并在调用readShaderSource()的完整语句结束时被销毁。

所以，在这段代码中：

auto vShaderSource = readShaderSource("vshader.glsl").c_str();

临时的std::string object 离开 scope 并在; c_str()退出后。 因此，您留下了一个指向已释放 memory 的悬空指针。

而在这段代码中：

auto vShaderStr = readShaderSource("vshader.glsl");
auto vShaderSource = vShaderStr.c_str();

您将临时std::string保存到局部变量，然后临时在;上被销毁 readShaderSource()退出后。 然后您在该局部变量上调用c_str() ，因此只要该局部变量保留在 scope 中，返回的指针将保持有效。