如何创建+就地填充容器？

Question

我正在尝试创建一个无法复制或移动的类数组。 所以我需要就地创建对象，我无法弄清楚如何做到这一点：

#include <vector>

struct Foo {
  Foo(int) { }
  Foo(const Foo &) = delete;
  Foo & operator =(const Foo &) = delete;
  Foo(Foo &&) = delete;
  Foo & operator =(Foo &&) = delete;
};

struct Bla {
  Bla(const std::vector<int> & args) {
    for (auto i : args) {
      foo.emplace_back(i);
    }
  }
  std::vector<Foo> foo;
};

编译器抱怨删除的移动构造函数，因为它不能保证所有对象都就地构造并且从不移动。 我没有必要使用std::vector作为容器，所以请随意提出其他建议。

Answer 1

你可以使用std::vector s迭代器对构造函数来构造像这样的对象

Bla(const std::vector<int> & args) 
    : foo(args.begin(), args.end())
{}

如果您需要在构造中包含其他参数，则可以切换到任何基于节点的容器，如std::list

struct Bla {
  Bla(const std::vector<int> & args) {
    for (auto i : args) {
      foo.emplace_back(i, some_other_argument);
    }
  }
  std::list<Foo> foo;
};

Answer 2

一种方法是使用范围构造函数。 传递随机访问迭代器时，它不会重新分配向量：

Bla(const std::vector<int> & args) 
    : foo(args.begin(), args.end())
{}

Answer 3

对于最通用的情况，是不是有一些方法可以从向量args和lambda创建初始化列表？

创建无法复制或移动的Foo STL容器的另一种方法是包含可移动的std::unique_ptr<Foo> 。 例如，作为更通用的情况，如果Foo的ctor的第一个和第二个参数分别是int和double ，那么下面的Bla适合你：

DEMO

#include <tuple>
#include <vector>
#include <memory>

struct Bla
{
    Bla(const std::vector<std::tuple<int, double>>& args)
    {
        foo.reserve(args.size());

        for (const auto& i : args) {
            foo.push_back(
                std::make_unique<Foo>(std::get<0>(i), std::get<1>(i)));
        }
    }

    std::vector<std::unique_ptr<Foo>> foo;
};