c – std :: vector的类型要求

我仍然对在C 11中与std :: vector一起使用的类型的要求感到困惑,但这可能是由错误的编译器(gcc 4.7.0)引起的.这段代码：

struct A {
  A() : X(0) { std::cerr<<" A::A(); this="<<this<<'\n'; }
  int X;
};

int main()
{
  std::vector<A> a;
  a.resize(4);
}

工作正常并产生预期的输出,表明默认的ctor(显式给定)被调用(而不是隐式复制ctor).但是,如果我将删除的副本ctor添加到课程中,即

struct A {
  A() : X(0) { std::cerr<<" A::A(); this="<<this<<'\n'; }
  A(A const&) = delete;
  int X;
};

gcc 4.7.0不编译,但尝试使用已删除的ctor.这是正确的行为还是错误？如果是前者,如何让代码工作？

解决方法:

正如其他人所指出的那样,C 11标准确实需要CopyInsertable.然而,这是C 11标准中的一个错误.此后已在N3376中更正为MoveInsertable和DefaultInsertable.

向量< T,A> :: resize(n)成员函数需要MoveInsertable和DefaultInsertable.当分配器A使用默认构造定义时,这些大致转换为DefaultConstructible和MoveConstructible.

以下程序使用clang / libc编译：

#include <vector>
#include <iostream>

struct A {
  A() : X(0) { std::cerr<<" A::A(); this="<<this<<'\n'; }
  A(A&&) = default;
  int X;
};

int main()
{
  std::vector<A> a;
  a.resize(4);
}

并打印出来：

 A::A(); this=0x7fcd634000e0
 A::A(); this=0x7fcd634000e4
 A::A(); this=0x7fcd634000e8
 A::A(); this=0x7fcd634000ec

如果删除上面的移动构造函数并将其替换为已删除的复制构造函数,则A不再是MoveInsertable / MoveConstructible作为移动构造,然后尝试使用已删除的复制构造函数,正如OP的问题中正确演示的那样.

标签：c,c11,constructor,stdvector,allocation
来源： https://codeday.me/bug/20191002/1844003.html