整理自 优快云 上的一个贴子:http://community.youkuaiyun.com/Expert/TopicView3.asp?id=4997344
#include <iostream>
#include <string>
using namespace std;
string GetStr()
{
return string("Hello");
}
int main(int argc, char *argv[])
{
const char* p = GetStr().c_str();
cout << p << endl;
return 0;
}
上述代码在 gcc 中的输出如下:
Hello
在 VS 2005 中的输出为空。
原因:
const char* p = GetStr().c_str();
这里有一个临时的 string 对象被产生,而 C++ 语言标准只保证这个临时对象在这条语句中是有效的。所以,我认为 DevCpp 和 VC 都是没问题的,因为它们完成了 C++ 语言标准所规定的特性。至于这条语句之后,那个语言标准没有做出明确规定,怎么做都是对的。
至于为什么说 VC 也同样完成了 C++ 语言标准所规定的特性,因为这个很容易测试一下,就这样写,看输出什么:
cout << GetStr().c_str() << endl;
如果输出 “Hello”,那就说明 VC 已以做到了“保证临时对象在表达式结束前有效”。
既使在逗号表达式中,VC 的输出都不会有问题,比如:
const char *p;
cout << (p = GetStr().c_str(),1+3,5-7,p) << endl;
但表达式一结束,VC 就不管了,因为 C++ 语言标准无此要求。
但 C++ 语言标准中也并没有说“必须不管”,所以 DevCpp 继续管也是没问题的。
总结:
让指针指向 c_str() 返回的字符串这种做法是有问题的。不应该让指针指向 c_str() 产生的字符串,因为 c_str() 返回的是一个临时的字符串,C++ 标准只要求在该临时对象在 c_str() 所在的语句有效,也就是说,在紧接着的下一个语句中它可能就不存在了。如果我们想在后面仍然使用它,就应该用 strcpy 函数复制一个复本。
参考:
在 VC 中,下面的这句结束后,临时对象就被释放了。
const char* p = GetStr().c_str();
所以 VC 没有错。
请有疑问的人想一想变量的生存周期,这是个很基础的问题。
dev C++之所以看上去正确,那应该是因为 string 的实现不同所导致。
VC 的 string 使用了一个小的 buffer,大约 8 个字节左右。
所以这种长度的 string 是被放在栈上的,栈数据破坏以后,string 就不存在了。
libstdc++ 的 string 是基于引用计数的。只要那块内存没有被重新分配使用,那么程序的指针就有可能指向一处可正常访问的内存区。