本文主要是介绍Modern C++ 内存篇2 - 关于relocation的思考，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
在上一节《Modern C++ 内存篇1 - std::allocator VS pmr-CSDN博客》我们详细讨论了关于如何判断用不用memmove优化的代码，结论可以总结为：
只有_Tp是trivial 且 用std::allocator 才会调用memmove。
所有case如下表格所示：
| No | _Tp | allocator type | 使用memmove? | 可能的原因 |
| 1 | is trivial | std::allocator | Yes | - |
| 2 | is trivial | std::pmr::polymorphic_allocator | No | 底层的memory resource有不连续的可能 |
| 3 | not trivial | std::allocator | No | _Tp构造函数或析构函数非默认（比如有打印）；构造函数可能抛出异常故必须小心的一个个构造；或有指向自身结构的指针（比如链表node） |
| 4 | not trivial | std::pmr::polymorphic_allocator | No | 以上两者 |
上面的原因是猜测的啊。
其中case 2，底层的memory resource用户可以写成天马行空任意的样子，理论上可以做成不连续的，但其实接口和std::pmr::vector如何使用这些接口基本把这种可能性给抹杀掉了。
/usr/include/c++/11/bits/vector.tcc429 template<typename _Tp, typename _Alloc>430 void431 vector<_Tp, _Alloc>::432 _M_realloc_insert(iterator __position, const _Tp& __x)433 #endif434 {435 const size_type __len =436 _M_check_len(size_type(1), "vector::_M_realloc_insert");437 pointer __old_start = this->_M_impl._M_start;438 pointer __old_finish = this->_M_impl._M_finish;439 const size_type __elems_before = __position - begin();440 pointer __new_start(this->_M_allocate(__len));
即使我写了一个memory resource悄悄的实现do_allocate做了多次零碎的小分配以满足size=bytes的要求，vector.tcc也用不上，因为它把代码写死了默认是一整块连续的内存。
所以，我个人觉得：实际case 2也是可以用memmove来加速relocation的。
case 3，难点是编译器很难判断你的构造函数析构函数悄悄的干了什么，如果新加一个属性比如relocable允许用户标识我的类是否可以直接memmove就好了。实际C++26也在研究类似的问题。modern c++就像一块块大积木能快速搭建东西，但棱角的精度（性能）就没有c那么高了。标准需要在性能和易用性之间做个平衡。
Ref:
1. https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2786r3.pdf
2. P1144R6: Object relocation in terms of move plus destroy
这篇关于Modern C++ 内存篇2 - 关于relocation的思考的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
