在名为Str的自定义字符串类中，我有一个函数c_str()，它只返回私有成员char* data const char* c_str() const { return data; }。这在我创建新Str后调用时有效，但如果我使用Str覆盖cin，则只在其上调用c_str()有效，但如果我{ {1}}比原始cin更大。{/ p>
Str此处第一个Str b("this is b");
cout << b.c_str() << endl;
cin >> b;
cout << b.c_str() << endl;
有效，但如果我尝试将b.c_str()更改为Str b行上的'b'，则会输出'b'+一些垃圾。但是，如果我尝试将其更改为'bb'，它通常会起作用，如果我将其更改为比“这是b”更长的东西，它总是有效。
这很奇怪，因为我的istream运算符（它是friended）完全解除分配cin >> b;并最终为它读入的每个char分配一个新的char数组只有1个字符（只是为了查看它是否可行，它没有）。因此，在读取其他内容之后返回数组似乎会返回Str设置它的新数组。
相关功能：
data对于这样的istream& operator>>(istream& is, Str& s) {
delete[] s.data;
s.data = nullptr;
s.length = s.limit = 0;
char c;
while (is.get(c) && isspace(c)) ;
if (is) {
do s.push_back(c);
while (is.get(c) && !isspace(c));
if (is)
is.unget();
}
return is;
}
void Str::push_back(char c) {
if (length == limit) {
++limit;
char* newData = new char[limit];
for (size_type i = 0; i != length; ++i)
newData[i] = data[i];
delete[] data;
data = newData;
}
data[length++] = c;
}
，数组的容量从不大于它所拥有的容量，所以我看不出我的push_back()如何输出任何内存垃圾。
答案 0 :(得分：3)
根据问题中的push_back()和评论中的c_str()，无法保证从c_str()返回的C字符串以空值终止。由于char const*不知道没有空终止符的字符串长度，这就是问题的根源！
在分配小内存对象时，您可能会回到以前由字符串类使用的小内存对象之一并且包含非空字符，从而导致打印字符看起来好像是第一个空字节的长度是多少找到。当分配更大的块时，你似乎回到了“新鲜”的内存，它仍然包含空字符，使得情况看起来好像一切都好。
基本上有两种方法可以解决这个问题：
char const*返回c_str()之前添加空终结符。如果您现在不关心多线程，可以在c_str()函数中完成。在多线程很重要的情况下，在const成员函数中进行任何突变可能是一个坏主意，因为这些会导致数据争用。因此，C ++标准字符串类在其中一个变异操作中添加了null-terminator。c_str()函数，而是为您的字符串类实现输出运算符。这样，不需要空终止。