缺少构造函数调用

Missing constructor call

本文关键字：函数调用      更新时间：2023-10-16

我很困惑为什么我的程序以一种意想不到的方式运行。然后我写了这个简化版本，发现有一个构造函数叫做"missing"。

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的构造函数

这是怎么回事?

这是因为复制省略。更具体地说，N命名为R return V value O优化，或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分配给该内存位置，这基本上导致tmp的"副本"。

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

对于其他形式的复制省略，请参考这些答案。
相关文章：