如何返回std :: make_unique <SubClass>工作？

Question

我有一个基类及其子类:

class Base {
    public:
    virtual void hi() {
        cout << "hi" << endl;
    } 
};

class Derived : public Base {
    public:
    void hi() override {
        cout << "derived hi" << endl;
    } 
};

尝试创建一个辅助函数,该函数创建Derived对象的唯一指针.

1)这个工作:

std::unique_ptr<Base> GetDerived() {
    return std::make_unique<Derived>(); 
}

2)但是,这个无法编译:

std::unique_ptr<Base> GetDerived2() { 
    auto a = std::make_unique<Derived>(); 
    return a; 
}

3)std :: move作品:

std::unique_ptr<Base> GetDerived3() {
    auto a = std::make_unique<Derived>();
    return std::move(a); 
}

4)如果我创建一个Base实例,两者都有效:

std::unique_ptr<Base> GetDerived4() {
    auto a = std::make_unique<Base>();
    return a; 
}

std::unique_ptr<Base> GetDerived5() {
    auto a = std::make_unique<Base>();
    return std::move(a); 
}

为什么(2)失败但其他人工作？

Answer 1

std::unique_ptr不可复制,只能移动.你可以return std::make_unique<Derived>从声明返回的函数中获得的原因是从一个函数到另一个函数std::unique_ptr<Base>的转换.

所以1)相当于:

std::unique_ptr<Base> GetDerived() {
    return std::unique_ptr<Base>(std::made_unique<Derived>());
}

由于std::make_unique返回的值是rvalue,因此返回值是移动构造的.

对比2),相当于:

std::unique_ptr<Base> GetDerived2() { 
    std::unique_ptr<Derived> a = std::make_unique<Derived>(); 
    return std::unique_ptr<Base>(a); 
}

因为a是左值,返回值必须是复制构造的,并且std::unique_ptr是不可复制的.

3)因为你将左值a转换为右值而起作用,并且返回值可以移动构造.

4)和5)工作,因为你已经有一个std::unique_ptr<Base>并且不需要构造一个返回.