这段代码中是否存在悬空指针问题？

Question

string str;    
char *a=str.c_str();

这段代码对我来说工作正常，但在其他每个地方我都看到了这段代码

string str;
char *a=new char[str.length()];
strcpy(a,str.c_str());

我想知道哪个是正确的，为什么？

Answer 1

假设str的类型是std::string ，则两个代码都不正确。

char *a=str.c_str();

无效，因为c_str()将返回const char*并且删除const而不进行强制转换（通常是const_cast ）是无效的。

char *a=new char[str.length()];
strcpy(a,str.c_str());

无效，因为str.length()不计算终止空字符，而使用strcpy()需要分配终止空字符。

此处发布的代码中没有悬空指针问题，因为此处没有无效的指针。

Answer 2

这两个代码段做不同的事情。

第一个将str的指针值分配给新的 c-tpye 字符串，并从const char* （c_str() 返回类型）隐式转换为char* ，这是错误的。 如果您要更改新字符串，则会遇到错误。 即使c_str()返回char* ，更改新字符串也会对str进行更改。

另一方面，第二个从原始字符串创建一个新的 c 类型字符串，将其逐字节复制到为新字符串分配的新内存中。 尽管您编写的代码行不正确，因为它没有涵盖 c 类型字符串\\0的终止空字符。 为了解决这个问题，请为其分配 1 个额外的字节：

char *a=new char[str.length()+1];

将数据从第一个字符串复制到新字符串后，对其进行更改不会导致原始str发生更改。

Answer 3

可能。

考虑一下。

char const* get_string() {
    string str{"Hello"};    
    return str.c_str();
}

该函数返回一个指向str内部值的指针，当函数返回时该指针超出范围。 你有一个悬空指针。 未定义的行为。 小心穿越时空的鼻猴。

现在考虑这个。

char const* get_string() {
    string str{"Hello"};
    char const* a = new char[str.length()+1];
    strcpy(a, str.c_str());
    return a;
}

该函数返回一个指向有效的以空字符结尾的 C 样式字符串的有效指针。 没有悬空指针。 如果您忘记delete[]它，您将发生内存泄漏，但这不是您要问的。

区别在于对象生命周期之一。 注意范围。