Question

我很困惑为什么我的程序以一种意想不到的方式表现出来。然后我写了它的简化版本，发现有一个构造函数调用“缺失”。

template <class T>
class A
{
public:

    A () {std::cout << "default" << "\n";}  // default ctor

    A (const A& src)                        // copy ctor
    {
        std::cout << "copy" << "\n";
    }

    friend A<T> operator<<(A& a, unsigned i)
    {
        std::cout << "x1" << "\n";
        A tmp;
        std::cout << "x2" << "\n";
        return tmp;
    }
};


int main()
{
    A<int> a1;
    A<int> a2(a1 << 2);
}

输出

default
x1
default
x2

我所期待的是

default
x1
default
x2
copy

由a1 << 2返回的r值将传递到复制文件的const A&参数。但事实并非如此。如果不是那么至少我会期待

default
x1
default
x2
default

因为我认为需要调用a2的构造函数。

这里发生了什么？

Answer 1

这是因为复制省略。更具体地说， N amed R eturn V alue O ptimization，或NRVO。

NRVO发生在具有自动存储持续时间的本地（到函数）变量由函数的值返回，并且该值被赋值给变量时：

friend A<T> operator<<(A& a, unsigned i)
{
    //...
    A tmp; //automatic storage variable 
    //...
    return tmp; //returned by value
}

A<int> a2(a1 << 2); //Assigned to a2

允许编译器忽略tmp到a2的副本。这基本上意味着当函数结束时， tmp的内存未被释放！然后，它只是将a2分配给该内存位置，这基本上会导致＆＃ 34;拷贝＆＃34; tmp。

如果复制/移动构造函数和析构函数都有副作用，比如输出一些值，就会发生这种情况。但是请注意，这是实现定义的，一些编译器也可能输出第二个和/或第三个案例。

有关其他形式的复制，请参阅those answers。

缺少构造函数调用

1 个答案: