Question

我们说我有以下类的层次结构：

struct Base 
{
};

struct Derived : public Base 
{ 
    void DoStuffSpecificToDerivedClass() 
    {
    } 
};

以下工厂方法：

std::unique_ptr<Base> factoryMethod()
{
    auto derived = std::make_unique<Derived>();
    derived->DoStuffSpecificToDerivedClass();
    return derived; // does not compile
}

问题是，return语句没有编译，因为std::unique_ptr没有具有协方差支持的复制构造函数（这是有意义的，因为它没有任何复制构造函数），它只有具有协方差支持的移动构造函数。

解决此问题的最佳方法是什么？我可以想到两种方式：

return std::move(derived); // this compiles
return std::unique_ptr<Base>(derived.release()); // and this compiles too

编辑1：我使用Visual C ++ 2013作为我的编译器。 return derived的原始错误消息如下所示：

Error   1   error C2664: 'std::unique_ptr<Base,std::default_delete<_Ty>>::unique_ptr(const std::unique_ptr<_Ty,std::default_delete<_Ty>> &)' : cannot convert argument 1 from 'std::unique_ptr<Derived,std::default_delete<Derived>>' to 'std::unique_ptr<Derived,std::default_delete<Derived>> &&'

编辑2：这是一款来自标准VS 2013模板的全新创建的控制台应用。我还没有调整任何编译器设置。编译器命令行如下所示：

调试：

/Yu"stdafx.h" /GS /analyze- /W3 /Zc:wchar_t /ZI /Gm /Od /sdl /Fd"Debug\vc120.pdb" /fp:precise /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_LIB" /D "_UNICODE" /D "UNICODE" /errorReport:prompt /WX- /Zc:forScope /RTC1 /Gd /Oy- /MDd /Fa"Debug\" /EHsc /nologo /Fo"Debug\" /Fp"Debug\CppApplication1.pch"

推出：

/Yu"stdafx.h" /GS /GL /analyze- /W3 /Gy /Zc:wchar_t /Zi /Gm- /O2 /sdl /Fd"Release\vc120.pdb" /fp:precise /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_LIB" /D "_UNICODE" /D "UNICODE" /errorReport:prompt /WX- /Zc:forScope /Gd /Oy- /Oi /MD /Fa"Release\" /EHsc /nologo /Fo"Release\" /Fp"Release\CppApplication1.pch"

Answer 1

你可以这样做：

return std::move(derived);

这样你告诉编译器不需要复制，这满足unique_ptr的要求。如果类型匹配完美，则不需要明确指定move，但在这种情况下，您可以这样做。

Answer 2

正如问题中所述，问题是，return语句没有编译，std::unique_ptr没有具有协方差支持的复制构造函数，它只有一个具有协方差支持的移动构造函数，但是，编译器仍然没有＆＃39; t从std::unique_ptr<Derived>移动。

这是因为从函数返回的对象移动的条件与复制省略的条件紧密相关，这严格要求返回的对象的类型需要与函数的返回类型相同。

[class.copy] / 32：

当符合或将要执行复制操作的标准时因为源对象是一个函数参数这个事实，并且要复制的对象由左值，超载指定首先执行选择复制的构造函数的分辨率好像对象是由右值指定的。

因此，我更喜欢，

return std::move(derived);

但是，DR-9R5中存在规则更改，因此即使类型不同，返回值也会被视为右值，gcc-5实现了规则而您不需要更改gcc-5的代码，如here所示。

将std :: unique_ptr返回给多态类

2 个答案: