std::string移动构造函数真的会移动吗
Does std::string move constructor actually move?
所以我得到了一个小的测试程序:
#include <string>
#include <iostream>
#include <memory>
#include <vector>
class Test
{
public:
Test(const std::vector<int>& a_, const std::string& b_)
: a(std::move(a_)),
b(std::move(b_)),
vBufAddr(reinterpret_cast<long long>(a.data())),
sBufAddr(reinterpret_cast<long long>(b.data()))
{}
Test(Test&& mv)
: a(std::move(mv.a)),
b(std::move(mv.b)),
vBufAddr(reinterpret_cast<long long>(a.data())),
sBufAddr(reinterpret_cast<long long>(b.data()))
{}
bool operator==(const Test& cmp)
{
if (vBufAddr != cmp.vBufAddr) {
std::cout << "Vector buffers differ: " << std::endl
<< "Ours: " << std::hex << vBufAddr << std::endl
<< "Theirs: " << cmp.vBufAddr << std::endl;
return false;
}
if (sBufAddr != cmp.sBufAddr) {
std::cout << "String buffers differ: " << std::endl
<< "Ours: " << std::hex << sBufAddr << std::endl
<< "Theirs: " << cmp.sBufAddr << std::endl;
return false;
}
}
private:
std::vector<int> a;
std::string b;
long long vBufAddr;
long long sBufAddr;
};
int main()
{
Test obj1 { {0x01, 0x02, 0x03, 0x04}, {0x01, 0x02, 0x03, 0x04}};
Test obj2(std::move(obj1));
obj1 == obj2;
return 0;
}
我用于测试的软件:
编译器:gcc 7.3.0
编译器标志:-std=c++11
操作系统:Linux Mint 19(tara)与上游版本Ubuntu 18.04 LTS(仿生)
我在这里看到的结果是,移动后,向量缓冲区仍然有相同的地址,但字符串缓冲区没有。所以在我看来,它分配了一个新的,而不仅仅是交换缓冲区指针。是什么导致了这种行为?
您可能看到了小/短字符串优化(SSO)的效果。为了避免对每个微小字符串进行不必要的分配,std::string
的许多实现包括一个固定大小的小数组来容纳小字符串,而不需要new
(当没有使用动态分配时,这个数组通常会重新利用一些不必要的其他成员,因此它消耗很少或没有额外的内存来提供它,无论是对于小的还是大的string
),这些字符串不会从std::move
中受益(但它们很小,所以没关系)。较大的字符串将需要动态分配,并且将按预期传输指针。
只是为了演示,g++
:上的代码
void move_test(std::string&& s) {
std::string s2 = std::move(s);
std::cout << "; After move: " << std::hex << reinterpret_cast<uintptr_t>(s2.data()) << std::endl;
}
int main()
{
std::string sbase;
for (size_t len=0; len < 32; ++len) {
std::string s1 = sbase;
std::cout << "Length " << len << " - Before move: " << std::hex << reinterpret_cast<uintptr_t>(s1.data());
move_test(std::move(s1));
sbase += 'a';
}
}
在线试用!
生成高(堆栈)地址,该地址在移动构造时更改长度为15或以下(可能随体系结构指针大小而变化),但在达到长度16或更高时切换到低(堆)地址,在移动构造后保持不变(切换为16,而不是17,因为它是NUL
-终止字符串,因为C++11及更高版本需要它)。
要100%清楚:这是一个实施细节。C++规范的任何部分都不需要这种行为,所以你根本不应该依赖它的出现,当它出现时,你不应该依赖于它在特定字符串长度上的出现。
相关文章:
- 将对象移动到std::shared_ptr
- 何时在引用或唯一指针上使用移动语义
- 如何从具有移动语义的类对象中生成共享指针
- 将shared_ptr移动到<StructA>shared_ptr<变体<结构A、结构 B>>
- C / C++ 移位/偏移/向左或向右移动位图?
- 在决定是通过参考还是通过价值时,尺寸真的是一个问题吗
- MSVC将仅移动结构参数解释为指针
- 自定义先决条件对移动分配运算符有效吗
- 返回值优化:显式移动还是隐式
- 当有分配器意识的容器被复制/移动时,反弹分配器是否被复制/移走
- 为什么复制而不是移动数据元素?
- 可以使用移动语义更改或改进此C++代码吗?
- 使lambda不可复制/不可移动
- c++在使用指针时移动语义
- 将QGraphicsItem的移动区域限制在多边形区域内
- std::string 的对象真的可以移动吗?
- std::vector::emplace() 真的在面对抛出移动构造函数/赋值运算符时提供了强大的异常保证吗?
- std::string移动构造函数真的会移动吗
- 如何确保对象真的会被移动
- 我真的必须取消移动构造函数/移动结构中的所有成员还是只是指针