c++ - 了解复制初始化和隐式转换

Question

我无法理解为什么以下复制初始化无法编译:

#include <memory>

struct base{};
struct derived : base{};

struct test
{
    test(std::unique_ptr<base>){}
};

int main()
{
    auto pd = std::make_unique<derived>();
    //test t(std::move(pd)); // this works;
    test t = std::move(pd); // this doesn't
}

一个 unique_ptr<derived>可以移动到 unique_ptr<base> ，那么为什么第二个语句有效，而最后一个语句无效？执行复制初始化时是否不考虑非显式构造函数？

来自 gcc-8.2.0 的错误是:

conversion from 'std::remove_reference<std::unique_ptr<derived, std::default_delete<derived> >&>::type' 
{aka 'std::unique_ptr<derived, std::default_delete<derived> >'} to non-scalar type 'test' requested

从 clang-7.0.0 开始

candidate constructor not viable: no known conversion from 'unique_ptr<derived, default_delete<derived>>' 
to 'unique_ptr<base, default_delete<base>>' for 1st argument

实时代码可用here .

Answer 1

一个 std::unique_ptr<base>与 std::unique_ptr<derived> 的类型不同.当你这样做时

test t(std::move(pd));

您调用std::unique_ptr<base>的转换构造函数来转换 pd变成 std::unique_ptr<base> .这很好，因为您可以进行一次用户定义的转换。

在

test t = std::move(pd);

您正在进行复制初始化，因此您需要转换 pd变成 test .不过，这需要 2 次用户定义的转换，而您不能这样做。您首先必须转换 pd到 std::unique_ptr<base>然后您需要将其转换为 test .这不是很直观，但是当你有时

type name = something;

随便something只需来自源类型的单个用户定义转换。在您的情况下，这意味着您需要

test t = test{std::move(pd)};

它只使用像第一种情况那样定义的单个隐式用户。

---

让我们删除 std::unique_ptr并在一般情况下查看。从 std::unique_ptr<base>与 std::unique_ptr<derived> 的类型不同我们基本上有

struct bar {};
struct foo
{ 
    foo(bar) {} 
};

struct test
{
    test(foo){}
};

int main()
{
    test t = bar{};
}

和we get the same error因为我们需要从 bar -> foo -> test并且有一个用户定义的转换太多。