c++ - c_str() 的生命周期是否在 g++ 4.8.4 和 g++ 5.3.1 之间发生了变化？

Question

我从一个守护进程启动进程，它确保所述进程连续运行并以正确的顺序启动，等等。

在某些时候，我想用 execv() 开始这个过程，所以我为参数准备了一个字符串数组:

std::vector<std::string> args;
args.push_back("--debug");
args.push_back("--connect");
args.push_back("10.0.0.5:4040");
...

在大多数情况下，我有大约 10 个这样的论点。

现在，execv() 只能访问裸指针数组。因此，我执行以下操作来创建此类指针的数组:

std::vector<char *> args_p; // sorry, my code actually uses std::vector<char const *> args_p -- so constness is fine here
for(auto a : args)
{
    args_p.push_back(a.c_str());
}
args_p.push_back(nullptr); // list needs to be null terminated

然后我可以用最后一个数组调用 execv():

execv(
    args_p[0],
    const_cast<char * const *>(&args_p[0])
);

这在使用 g++ 4.8.4 的 Ubuntu 14.04 中运行完美，但不知何故，当我尝试运行使用 g++ 5.3.1 编译的相同代码时，c_str() 指针变得无效。

根据我的理解，这不应该是因为我没有修改创建裸指针数组的第一个循环和 execv() 调用之间的字符串。

reference说:

The pointer obtained from c_str() may be invalidated by:

• Passing a non-const reference to the string to any standard library function, or
• Calling non-const member functions on the string, excluding operator[], at(), front(), back(), begin(), rbegin(), end() and rend().

P.S. 我已经有了一个修复程序，我现在对 c_str() 执行一个 stdup() 并且这样工作得很好.只有我希望尽可能避免字符串的一个额外拷贝......

Answer 1

这里有两个问题:

for(auto a : args)
{
    args_p.push_back(a.c_str());
}

首先，c_str()返回 char const*和 args_p是 vector<char*> .由于您需要指向非 const 的指针char , 你必须使用 &a[0] .

第二，a在循环的每次迭代结束时超出范围。所以你捕获的指针会从你下面被摧毁。您需要指向 args 中实际字符串的指针- 所以你需要通过引用进行迭代:

for(auto& a : args)
{
    args_p.push_back(&a[0]);
}