可以用realloc安全地重新分配可复制对象的存储吗?

不 , realloc 无法用于安全移动对象,即使是可复制的类型,因为 realloc公司 无法在未初始化的存储中创建新对象。

特别是,根据C++14[basic.life]/1:

T型对象的寿命在以下情况下结束:

• 对象占用的存储被重用或释放。

使命感 释放或重用存储(即使没有发生重新分配,我认为,尽管这对你的问题没有意义)。因此,对象的生命周期结束。

[intro.objects]/1涵盖了创建对象的情况:

对象由定义(3.1)和新表达式(5.3.4)创建 或在需要时通过实施(12.2)。

这不包括 realloc公司 ; 因此,realloc调用结束了旧对象的生存期,并且不会创建新对象。

这不仅意味着 realloc公司 不适合复制微不足道的可复制对象,这还意味着使用 malloc 或 operator new(size_t) 获取未初始化的存储,然后是 memcpy 创建 那样的话

另请参见: reinterpret_cast creating a trivially-default-constructible object 或 constructing a trivially copyable object with memcpy 进一步讨论将字节复制到新位置不会在该位置创建对象。

3.8对象寿命 很清楚:

T型对象的寿命始于:

1.1获得T型的适当对齐和尺寸的存储,以及

1.2如果对象具有非真空初始化,则其初始化完成。

和生命结束时一样。你可以忽略std其他部分的垃圾,比如[简介]!