为什么这段代码挂在提到的地方？

Question

这是我为了研究 C++ 运算符重载而编写的一个简单示例。当我执行它时，代码挂在语句 c = a + b; 处并且控制永远不会到达 c.display();

作为调试的一部分，如果我将 cout <<指针 << '\n'; 在赋值运算符重载函数中，它确实打印出 HelloWorld，因此字符串似乎没有格式错误。

那为什么会挂呢？我缺少什么？

class mystring
{
    char *ptr;

    public:

   mystring(char *str = "")
   {
      ptr = new char[strlen(str) + 1];
      strcpy(ptr,str);

   } 

   mystring operator +(mystring s)
   {
      char *str = new char[strlen(ptr) + strlen(s.ptr) + 1];//where should this memory be freed
      strcpy(str,ptr);
      strcat(str,s.ptr);
      return mystring(str);
   }

   void operator =(mystring s)
   {
       strcpy(ptr,s.ptr);

      //cout << ptr << '\n'; \\Debug - this prints out HelloWorld but still hangs 
   }

   void display()
   {
       cout << ptr << '\n';
   }

   ~mystring()
   {
      delete [] ptr; 
   }
};

int main()
{
   mystring a="Hello",b="World",c;

  c = a + b;

  c.display();

  getchar();

}

编辑：编译器：MS-Visual C++ 2010 Express / Windows。

Answer 1

我认为您得到的是内存错误。此行：

c = a + b;

执行以下操作：

c.constructor()
c.operator=(a.operator+(b));

并且您的运算符=无法分配内存

void operator =(mystring s)
{
  // ptr is allocated enough memory for "", i.e. one byte
  strcpy(ptr,s.ptr); // copying more than one byte into one byte array
  //cout << ptr << '\n'; // this works, but you've trashed memory with the strcpy
} // stack might be corrupted here, depends where this is, so execution can end up anywhere

您需要的是：

void operator = (mystring &s) // reference!
{
  delete [] ptr;
  ptr = new char [strlen (s.ptr + 1)];
  strcpy (ptr, s.ptr);
}

Answer 2

你的 operator= 坏了。在执行 strcpy 之前，您没有正确分配足够的（或任何）内存。这会导致未定义的行为。

Answer 3

<块引用>

char *str = new char[strlen(ptr) + strlen(s.ptr) + 1];//应该在哪里释放这块内存

在析构函数上释放内存。

在操作符 = 上，您必须释放分配的内存并再次分配它

Answer 4

运算符 = 应该释放旧缓冲区，然后像在构造函数中一样分配一个新缓冲区。

Answer 5

该代码似乎没有任何明显的问题会导致它在调用 c.display() 之前阻塞，但它可能看起来就像是这样做的。

操作cout <<指针 << '\n'; 不会刷新流，这意味着输出可能会被缓存到稍后的时间。整个程序可能已经基本上完成，正在等待用户在getchar()中输入字符。

尝试在调试器中运行代码或将输出更改为 cout <<指针 <<结束；。

顺便说一句：您在 operator+ 中泄漏了内存，应该解决它。我知道您已经询问过如何做到这一点，您可能不喜欢（或理解）所提出的解决方案，但保持原样并不是解决方案。

operator= 不能确保您有足够的空间来保存完整的字符串，这意味着您可能会触发未定义的行为。