字符串的 c_str() 函数的 C++ 奇怪行为

Question

我正在将我的项目从 Visual Studio 06 转移到 2010。在这样做的同时，我在我的代码中观察到了这种行为。我有一个如下所示的获取字符串函数:

string GetTheStr() 
{ 
        return strSomeStdString; 
} 

然后还有一个调用上面get函数的函数是这样的:

const char* ptrStr = (char *)GetTheStr().c_str();

ptrStr指向的字符串值为""

以上代码在 visual studio 06 中运行良好，但在 visual studio 2010 中运行不佳。

然后我尝试了几个实验:

std::string str = GetTheStr(); // -> value inside str displayed correctly
const char* PtrCStr = str.c_str(); // -> value pointed by PtrCStr displayed correctly
const char* PtrData = str.data(); // -> value pointed by PtrData displayed correctly
const char* ptr = (char *)GetTheStr().c_str(); // -> value pointed by ptr NOT displayed correctly

我想知道为什么最后一行不起作用。谁能告诉我为什么上述行为发生在 visual studio 2010 而不是 visual studio 06 上？

提前致谢:)

Answer 1

在无效情况下发生的事情是 GetTheStr() 正在返回一个临时文件，然后 c_str() 返回对其内部数据的引用，然后临时文件超出范围，突然你有一个对存储的悬空引用不再有效。当您将 GetTheStr() 的返回值分配给命名变量时，该变量仍然存在并且其 c_str() 的结果仍然指向有效数据。

临时对象的生命周期因实现而异。据我了解，整个语句的临时生命(std::cout << GetTheStr().c_str() << endl; 在技术上对我的理解是有效的，因为 lifteime 需要持续整个语句，但写得不好，因为它依赖于生命的一个非常微妙的方面)；但是，根据我的理解，临时是否超出该声明到范围的末尾是由实现定义的。我可能会因为这最后一段而受到 mock (尤其是那些对该主题有更精确知识的人)，但简而言之，当需要延长对象的生命周期时，编写良好的代码应该更加明确；如果您需要保留对对象内部数据的引用，那么最好始终保证有一个命名变量引用该对象，以确保包含对象的生命周期超过其内部数据使用的生命周期。