c – std :: vector的类型要求

2019-10-02 19:05:48 阅读：424 来源： 互联网

标签：c c11 constructor stdvector allocation

我仍然对在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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

c – std :: vector的类型要求