c – 为什么在std :: vector的初始化列表中调用复制构造函数？

我有以下非常简单的课程：

class Foo 
{
public:
  Foo() {}
  Foo(const Foo&) = delete;
  Foo(Foo&&) {}

  void operator=(const Foo&) = delete;
  void operator=(Foo&&) {}

  void dump() const {}
};

该类是可构造和可分配的,但不是可复制的可分配的.

我想使用vector的初始化列表初始化Foo元素的向量.

std::vector<Foo> vf = { Foo() };

编译器抱怨,因为代码必须使用已删除的复制构造函数.任何人都可以解释一下,为什么在这种情况下不使用移动构造,以及为什么需要复制对象？

以下还需要复制构造函数,但不起作用：

std::vector<Foo> vf = { std::move(Foo()) };

另一方面,这工作正常(调用移动构造函数)：

std::vector<Foo> vf;
vf.push_back(Foo());

感谢您的解释… ：)

更新：

建议的this帖子解释了我的问题.

此外,让我们考虑以下代码(与上面的类Foo一起)：

class Bar {
public:
    Bar(std::initializer_list<Foo> _l) {
        std::cout << "Bar::Bar()" << std::endl;
        for (auto& e : _l)
            e.dump();
    }
};

int main() {
    Bar b { Foo() };
    return 0;
}

这将产生以下输出(使用C 11编译)：

Foo::Foo()
Bar::Bar()
Foo::dump()
Foo::~Foo()

可以看出,初始化列表实际上并没有填充大括号之间声明的“对象副本”.从C 14开始可能不是这样.

解决方法:

特别是因为您使用的是initializer list,使用了复制构造函数.初始化列表初始化为对象的副本,然后传递给向量.

如果您阅读链接参考,从C 14它甚至明确说

… each element is copy-initialized … from the corresponding element of the original initializer list

强调我的

标签：c,initializer-list,move-semantics
来源： https://codeday.me/bug/20190929/1830705.html