返回带有重载运算符的副本

Question

我有一个类 Foo ，我已为其重载了 + 运算符，如下所示：

Foo Foo::operator+(const Bar &b)
{
    Foo copy = (*this);
    if (someCondition) return copy;
    //snip
}

对我来说，这看起来很合理。但是，每当我返回副本时，Visual Studio 都会提醒我一个错误，“可能是由于堆损坏”。我所做的事情有什么问题吗？

编辑：更新更多信息。

错误消息：

Windows 已触发断点 示例.exe。

这可能是由于 堆，这表明存在错误 Sample.exe 或其具有的任何 DLL 已加载。

这也可能是由于用户 当sample.exe有时按F12 重点。

输出窗口可能有更多 诊断信息。

复制构造函数：

Foo::Foo(const Foo&p)
{
    some_pointer = p.get_some_pointer();
    some_value = p.get_some_value();
}

它分解为的代码：

//within dbgheap.c
    extern "C" _CRTIMP int __cdecl _CrtIsValidHeapPointer(
            const void * pUserData
            )
    {
            if (!pUserData)
                return FALSE;

            if (!_CrtIsValidPointer(pHdr(pUserData), sizeof(_CrtMemBlockHeader), FALSE))
                return FALSE;

            return HeapValidate( _crtheap, 0, pHdr(pUserData) );
    }

Answer 1

这种类型的错误通常与同一指针的多次删除（或释放）相关，或者与一些更模糊的情况相关（从一个堆获取并释放到另一堆，但这里可能不是这种情况）。

我要做的第一件事是查看析构函数并检查您是否没有进行浅复制和双重删除。例如，使用以下代码：

// buggy!!!
struct test {
    int * data;
    test() : data( new int[5] ) {}
    ~test() { delete [] data; }
    test( test const & rhs ) : data( rhs.data ) {}
    test& operator=( test const & rhs ) {
       data = rhs.data;
    }
};
int main() {
    test t1;          // 5 ints allocated int t1.data
    test t2( t1 );    // no memory allocated, t2.data == t1.data
} // t2 out of scope: t2.~test() => delete t2.data
  // t1 out of scope: t1.~test() => delete t1.data but both are the same: double delete

如果是这种情况，您可以决定是否要进行浅复制或深复制。在第二种情况下，复制构造函数（和赋值运算符）应该分配自己的内存，而在第二种情况下，您必须确保内存不会被释放两次。

与指针一样，最好将资源管理委托给外部（预构建）类。在唯一所有权（和深拷贝）的情况下，您可能应该使用 std::auto_ptr （或 C++0x 中的 std::unique_ptr ——或者 boost 变体）。在第二种情况下，使用 boost::shared_ptr （或 C++0x 中的 std::shared_ptr）将确保数据共享且仅删除一次。