C++ 类：在成员函数中创建“this”类的副本

Question

我正在尝试为 C++ 类的 += 运算符编写一个函数，该函数利用已编写的 + 运算符函数。到目前为止，我未能成功将this 指针与+ 运算符相关联。这些是我在g++ 中编译的一些尝试，但没有产生预期的结果。我曾两次尝试简单地复制 this 类，但这似乎不起作用。

intstr& intstr::operator+=(const intstr& i)
{
  intstr *a;
  a = new intstr;
  *a = *this + i;
  return *a;
}

intstr& intstr::operator+=(const intstr& i)
{
  intstr *a, b(*this);
  a = new intstr;
  *a = b + i;
  return *a;
}

intstr& intstr::operator+=(const intstr& i)
{
  intstr *a, *b;
  a = new intstr;
  b = this;
  *a = *b + i;
  return *a;
}

intstr& intstr::operator+=(const intstr& i)
{
  intstr *a;
  a = new intstr;
  *a = this->operator+(i);
  return *a;
}

在测试代码中，我所做的只是将代码a = a + i 的工作行替换为a += i，所以我怀疑问题出在哪里，但有可能。是否只有将代码从 + 运算符复制到 += 函数中？

Answer 1

通常方法是相反的：您实现operator+=，然后使用该实现实现operator+（创建第一个参数的副本，然后使用+= 增加第二个参数并返回它）。

除此之外，您为什么在所有版本中都调用new？对于operator+=，您根本不需要创建任何新对象。操作员应该修改左侧操作数的值，增加右侧的值。无需在任何地方创建新对象（使用new 动态分配的对象更少！）

Answer 2

操作符可以是这样的

intstr& intstr::operator+=( const intstr& i )
{
   *this = *this + i;

   return *this;
}

如果operator +被声明为类成员函数，那么你也可以这样写

intstr& intstr::operator+=( const intstr& i )
{
   *this = operator +( i ); // or *this = this->operator +( i );  

   return *this;
}

在运算符中动态分配 intstr 类型的对象是错误的。至少没有必要这样做。

Answer 3

通常你会反其道而行之：

intstr& intstr::operator+=(intstr const& rhs)
{
     // Do this stuff to add rhs into this object.
     return *this;
}

// Then + is implemented in terms of +=
intstr intstr::operator+(intstr const& rhs)
{
    instr  result(*this);   // Make a copy as the result
    result += rhs;
    return result;
}

// Then your free functions as needed.