尝试使用初始化列表构造`std :: vector`的问题

Question

考虑以下代码：

#include <memory>
#include <vector>

class A {
public:
  explicit A(std::vector<int> &&v) : v_(std::move(v)) {}

private:
  std::vector<int> v_;
};

int main() {
  // compilation error (no matching call to std::make_unique)
  // compiler output: https://ideone.com/4oKjCS
  std::vector<std::unique_ptr<A>> as1 = {std::make_unique<A>({1}),
                                         std::make_unique<A>({2})};

  // compilation error (requested copy of std::unique_ptr)
  // compiler output: https://ideone.com/5LGPoa
  std::vector<std::unique_ptr<A>> as2 = {
      std::make_unique<A>(std::vector<int>({1})),
      std::make_unique<A>(std::vector<int>({2}))};

  // succeeds
  std::vector<std::unique_ptr<A>> as3;
  as3.push_back(std::make_unique<A>(std::vector<int>({1})));
  as3.push_back(std::make_unique<A>(std::vector<int>({2})));
}

• 对于as1 ：我希望std::make_unique<A>({1})调用std::vector的隐式初始化列表构造函数，然后将向量传递给std::make_unique 。 为什么不编译？
• 对于as2 ： std::make_unique的结果是一个右值。 为什么在任何地方都需要副本？
• 有没有比我的as3更惯用或更短的方法来完成此操作？

编辑：我现在记得在as1错误的原因。 Meyers的有效现代C ++在第30条中提到了初始化程序列表，这是完美转发的失败案例之一：“按照std::initializer_list规定，将括号中的初始化程序传递给未声明为std::initializer_list的函数模板参数，它是“非推论上下文”。”

Answer 1

as1

独特使用“完美转发”。 完美的转发是不完善的，并且不能很好地支持初始化列表。

as2

初始化程序列表是指向自动存储持续时间const数组的指针（成对）。 const对象不能从其移出，而是从其复制。 您不能复制唯一的ptrs。

as3

template<class T, class...Ts>
std::vector<T> make_vector(Ts&&...ts){
  std::array<T,sizeof...(ts)> tmp={{std::forward<Ts>(ts)...}};
  std::vsctor<T> r{
    std::make_move_iterator(begin(tmp)),
    std::make_move_iterator(end(tmp))
  };
}

给我们：

auto as4=make_vector<std::unique_ptr<A>>(
  std::make_unique<A>(make_vector<int>(1)),
  std::make_unique<A>(make_vector<int>(2))
);

这可能不是理想的，但是对象的唯一ptr是围绕矢量的薄包装纸是一个坏主意。

在更复杂的情况下，直接生成唯一A的辅助函数会减少样板。

Answer 2

问题是std::unique_ptr ，而不是std::initializer_list 。 来自std::initializer_list值通过临时缓冲区复制到目标对象。 unique_ptr是不可复制的。 您需要以其他方式初始化它，可能是通过reserve()/emplace_back() 。

对不起，我知道这听起来真令人发指，但实际上没有很好的方法使用初始化列表来实现此目的。

下面的示例说明如何使用带有初始化列表的原始指针的临时向量。 这个例子不是很好，我也不建议在任何实际代码中使用它，但是如果您将其设置在初始化列表中，它将与std::unique_ptr ，并且只要不构造函数就不会引入内存泄漏扔。

#include <memory>
#include <vector>


int main(void)
{
    std::vector<int*> v = {
        new int(1),
        new int(2),
        new int(3),
        new int(4),
    };

    std::vector<std::unique_ptr<int>> v1(v.begin(), v.end());

    return 0;
}

相反，我将建议一个与您的原始示例类似的东西：使用reserve / emplace_back() 。 也许有些冗长，但目的很明确，语法也比较惯用。

std::vector<std::unique_ptr<int>> v;
v.reserve(50);
for (size_t i = 0; i < 50; ++i) {
    v.emplace_back(std::make_unique<int>(i));
}

正如Henri在评论中指出的那样，后者是唯一可能抛出构造函数的内存安全解决方案。 您应该在所有真实代码中使用后一个示例。