分析为什么需要
如果我直接用 std::realloc
std::realloc 的语义是加长申请的内存, 如果不够就 std::memcpy.

std::memcpy 本身有个巨大的坏处, 它只是把内存复制过去. 这会导致虚表指针爆炸 (虽然我经常说 fxxk virtual func, 但是 virtual func 是 c++ 的优秀设计).

而且 std::realloc 只支持加长用 std::malloc 申请的内存.

但我需要的是移动语义.

如果我用 new
new 没有加长内存的功能, 我必须额外申请一段更长的内存, 然后手动用移动语义把原本的东西移过去.

但是坏处是, 如果本来可以扩容, 它也必须在别处开新内存. 但我需要 在大多数情况下是原地扩容, 这样能带来更好的时间复杂度.

所以
给 new 设计一个 realloc 是非常必要的.

设计关键字
我们使用 new 和 realloc 制造一个合成词, rew. 就叫 rew 了.

这个词的含义是 “倒带”, 也就是说这是 recall 的意思???

设计语法
已知 new 一个数组的时候用的是 arr = new type[length], 原地构造使用的是 new (arr) type().

那么数组我们肯定是知道首地址的, 而且内存分配器也知道我们已经分配了多少内存.

arr = rew (arr) type[length_new];
设计行为
l
e
n
g
t
h
_
n
e
w
<
l
e
n
g
t
h
length_new<length
这个简单, 直接把后面的内存给释放掉, 注意释放之前先调用析构函数.

l
e
n
g
t
h
<
l
e
n
g
t
h
_
n
e
w
length<length_new
首先, 能扩容就扩容.

如果不能扩容, 分两种情况:

当前类型有移动语义, 且移动语义是 noexcept
直接使用移动语义, 把当前数组挨个元素移动过去.

当前类型没有移动语义或移动语义不是 noexcept, 但有复制语义
使用复制语义, 把当前数组挨个元素复制过去.

当前类型没有移动语义或移动语义不是 noexcept, 也没有复制语义
直接编译错误就行了.