CPP {容器的swap(浅拷贝), std::swap(浅拷贝)}

CPP {容器的swap(浅拷贝), std::swap(浅拷贝)}

@LOC_1

容器的swap(浅拷贝)

定义

struct vector{ T * arr;};
对于一个对象vector st (假设arr = [1,2,3]);
他的浅拷贝vector r (注意他是一个对象 不是引用), 要满足r.arr == st.arr;
. 如果是深拷贝的话, 此时r.arr != st.arr (但满足r.arr = [1,2,3]);

性质

#容器的swap是O(1)時間的#
容器的swap 他不是swap(a,b): auto c = b; b = a; a = c; 不是这样的, 比如说ab的空间大小是N 那么你这样方式 他的时间/空间消耗 是O(N)的;
正确的做法(编译器的做法)是: auto c = b.data(); b.data() = a.data(); a.data() = c.data(), 这个data就是个指针, 也就是 你的swap 其实只是交换了他俩的底层的指针;
. 你可以验证 即先输出a.begin(), b.begin()的地址 然后swap后 你会发现 他俩的指针交换了;
可以从(右值)的角度去看, 他不是值拷贝/深拷贝, 而是浅拷贝/右值拷贝;

应用

@LINK: https://editor.csdn.net/md/?not_checkout=1&articleId=134517771;

std::swap(浅拷贝)

定义

vector<int> A, B; // `&PA: A.data();  &PB: B.data()`;
我们要交换他俩的内容, 即让`A.data()=&PB, B.data()=&PA`, 不是深拷贝;

以下做法 是完全等价的:
方式1:
std::swap( A, B); // 浅拷贝!

方式2:
A.swap( B);

方式3: (@MARK: @LOC_0)
auto t = std::move(A); // 注意`auto==vector` 即t是个新对象 而不是`vector&&`引用, 否则就错了, 我们就是想让`t`成为A的*浅拷贝副本*, 即`t.data() == &PA`, 如果你写成`vector&& t` 那么`t`是A的引用 (`A.data()`变了 会导致`t.data()`也变了) 因为t不是个对象! 他只是个引用;  (具体参见`@LINK:(https://editor.csdn.net/md/?articleId=133801415)-(@MARK_1)`);
A = std::move(B); // 此时`A.data() == &PB`; 调用*A的右值赋值函数*;
B = std::move(t); // 此时`B.data() == &PA`; 调用*B的右值赋值函数*;