复制构造函数调用无限循环

Question

我将一个值传递给复制构造函数作为引用，但正在调用无限循环。

这是我的类：

class Vector2f{
private:
    GLfloat x;
    GLfloat y;

public:
    Vector2f();
    Vector2f(const GLfloat _x, const GLfloat _y);
    Vector2f(const Vector2f &_vector);

    ~Vector2f();
};

这是方法的实现：

Vector2f::Vector2f():
        x( 0.0f ),
        y( 0.0f )
{
    DebugLog("Vector2f constructor");
}

Vector2f::Vector2f(const GLfloat _x, const GLfloat _y):
        x( _x ),
        y( _y )
{
    DebugLog("Vector2f constructor(%f, %f)", _x, _y);
}


Vector2f::Vector2f(const Vector2f &_vector):
        x( _vector.getX() ),
        y( _vector.getY() )
{
    DebugLog("Vector2f copy constructor");
}

Vector2f::~Vector2f()
{

}

这是我访问该类的方式：

Vector2f tempVector1 = Vector2f(0.0f, 0.0f);
DebugLog("tempVector1 initialized");

Vector2f tempVector2;
tempVector2 = Vector2f(0.0f, 0.0f);
DebugLog("tempVector2 initialized");

我得到的结果是：

Vector2f constructor(0.000000, 0.000000)
tempVector1 initialized
Vector2f constructor
Vector2f constructor(0.000000, 0.000000)
Vector2f copy constructor
Vector2f copy constructor
Vector2f copy constructor
...

尝试初始化先前创建的对象时发生无限循环。 如果我尝试将 tempVector1 复制到 tempVector 2 中，也会发生无限循环：

Vector2f tempVector2;
tempVector2 = Vector2f(tempVector1);

为什么会发生这种情况以及如何防止它进入无限循环？

先感谢您。

Answer 1

这一行：

tempVector2 = Vector2f(tempVector1);

将调用operator=，而不是复制构造函数。您是否定义了一个正在做一些古怪事情的operator=？

另外，您的代码在 Linux 上的 g++ 4.3.2 和 Mac 上的 g++ 4.2.1 上都运行良好（在我定义 getX、getY、将 DebugLog 转换为 printf 并使用 float 而不是 GLfloat 之后）。

Answer 2

我认为问题出在你的赋值运算符上。
运算符 = 是什么样子的？

看来operator=以某种方式称呼他为self。代码片段是否有可能取自operator=本身的主体？

如果是，那么解决方案是更改代码（operator= 内部），使其使用复制因子。规范形式如下：（

Vector2f temp = Vector2f(arg);
swap(*this, temp)   // You need to implement a swap method
return *this; 

请参阅 Exceptional C++，作者：Herb Sutter，了解更多详细信息）

Answer 3

在第二种情况下，您正在执行分配，而不是构造。您还没有定义自己版本的复制赋值运算符，这意味着编译器将为您提供一个版本。编译器提供的复制赋值运算符将隐式声明为

Vector2f& operator =(const Vector2f& rhs);

注意，该运算符的唯一参数具有对 const 类型的引用。

在您的代码中，您坚持在赋值的右侧提供 Vector2f 类型的临时右值对象。

tempVector2 = Vector2f(0.0f, 0.0f);

这意味着operator = 的引用参数是用类类型的临时右值初始化的。根据语言规范 (8.5.3/5)，编译器可以在实际附加引用之前多次复制该临时对象。最终它必须停止复制并最终呼叫操作员。通常编译器不会疯狂地进行复制（大多数编译器根本不进行复制），但是在您的情况下，这似乎是问题所在。由于某种原因，您的编译器被锁定在无限复制循环中，永远不会停止它。我不知道是什么原因造成的。可能是编译器中的错误。

请注意，即使在 中，

tempVector2 = Vector2f(tempVector1);  

您仍然以临时右值的形式提供右侧。右值是由于某种原因显式转换为 Vector2f 的结果。我不知道你为什么这样做。如果问题确实出在编译器中（而不是出在您没有向我们展示的代码中），我确信如果您这样做，则

tempVector2 = tempVector1;  

分配将不会出现任何问题。如果事实证明这是编译器中的错误，这实际上是解决问题的方法：停止使用临时变量作为复制构造函数和复制赋值运算符的参数。

Answer 4

在IDE下运行。当它处于循环中时，按“暂停”按钮。您将清楚地看到问题所在。 原因如下。