std::unique_ptr 的 clang 错误

Question

我有一个名为IList 的基础对象。然后我有VectorList，它继承了IList。

然后我有这样的功能：

std::unique_ptr<IList> factory(){
    auto vlist = std::make_unique<VectorList>();
    return vlist;
}

这在gcc 下编译没有问题，但clang 给出以下错误：

test_file.cc:26:9: error: no viable conversion from 'unique_ptr<VectorList, default_delete<VectorList>>' to
      'unique_ptr<IList, default_delete<IList>>'
        return vlist;

如何正确处理此类错误？

Answer 1

在这方面，Clang 似乎（您的版本）仍在遵循 C++11 的行为。在 C++11 中，这种情况下必须使用 std::move，因为 vlist 的类型与返回类型不同，所以“返回左值时，首先尝试将其作为右值”的子句做到了不适用。

在 C++14 中，取消了“需要相同类型”的限制，因此在 C++14 中，您不需要在 return 语句中使用 std::move。但是，如果您需要使用当前的工具链编译代码，只需将其添加到那里：

return std::move(vlist);

---

确切的 C++11 措辞是这样的：

12.8/32 当满足或将满足省略复制操作的标准时，除了源 object 是函数参数，要复制的对象由左值指定，重载决议为 首先执行选择复制的构造函数，就好像对象是由右值指定的一样。 ...

必须满足复制省略的标准（包括“相同类型”）；它们只是稍微扩展以涵盖参数。

在 C++14 (N4140) 中，措辞更广泛：

12.8/32 当满足省略复制/移动操作的条件，但不满足异常声明， 和 要复制的对象由左值指定，或者当return 语句中的表达式是（可能 带括号的）id-expression，它命名一个具有在正文中声明的自动存储持续时间的对象或 parameter-declaration-clause 最里面的封闭函数或 lambda-expression， 重载决议 首先执行为复制选择构造函数，就好像对象是由右值指定的一样。

（强调我的）

如您所见，return 案例不再需要复制省略条件。