向量＆gt;使用派生的初始化列表

Question

我对此有一个后续问题：

vector＆lt; simolor_ptr; simolor_ptr＆lt; a＆gt; ＆gt;使用初始化列表

我想实现与引用问题中相同的目标，但是这次使用多态类别。也就是说，我想使用初始化列表创建一个std :: vector＆lt; std :: simel_ptr＆gt; base＆gt;。

#include <vector>
#include <memory>
#include <iterator>
#include <iostream>

template<class T>
struct movable_il {
  mutable T t;
  operator T() const&& { return std::move(t); }
  movable_il( T&& in ): t(std::move(in)) {}
};

template<class T, class A=std::allocator<T>>
std::vector<T,A> vector_from_il( std::initializer_list< movable_il<T> > il ) {
  std::vector<T,A> r( std::make_move_iterator(il.begin()), std::make_move_iterator(il.end()) );
  return r;
}

// Example with class hierarchy
class Base
{
public:
  Base(int in) : x(in) {}
  virtual ~Base() = default;
  virtual void print() const = 0;
protected:
  int x;
};

class Derived1 : public Base
{
public:
  Derived1(int in) : Base(in) {}
  virtual ~Derived1() = default;
  virtual void print() const override { std::cout << "Derived1: " << x << std::endl; }
};

class Derived2 : public Base
{
public:
  Derived2(int in) : Base(in) {}
  virtual ~Derived2() = default;
  virtual void print() const override { std::cout << "Derived2: " << x << std::endl; }
};

int main()
{

  {
    auto v = vector_from_il< std::unique_ptr<Base> >({
      std::make_unique<Derived1>(7),
      std::make_unique<Derived2>(3)
    });

    for (const auto & val : v)
      val->print();
  }

  return 0;
}

编译器（ubuntu上的GCC 7.4.0 18）错误消息是：

template argument deduction/substitution failed:
cannot convert '{std::make_unique(_Args&& ...)
[with _Tp = Derived1;
 _Args = {int};
 typename std::_MakeUniq<_Tp>::__single_object = std::unique_ptr<Derived1, std::default_delete<Derived1> >](),
std::make_unique(_Args&& ...)
[with _Tp = Derived2;
 _Args = {int};
 typename std::_MakeUniq<_Tp>::__single_object = std::unique_ptr<Derived2, std::default_delete<Derived2> >]()}'
(type '<brace-enclosed initializer list>') to type 'std::initializer_list<movable_il<std::unique_ptr<Base> > >'

我假设错误与在模板参数扣除期间未考虑转换的事实有关，因此也许这是不可能的。

Answer 1

添加额外的构造函数

template <typename U>
movable_il(U&& in): t(std::forward<U>(in)) {}

修复汇编。

demo 。