在C++中,众所周知在一个资源管理类(例如含有指向堆内存的指针)中需要重新定义拷贝构造函数、赋值运算符以及析构函数(Big Three),在新标准下还可能需要定义移动构造函数和移动赋值运算符(Big Five)。但实际上,这条规则还可以有一个小扩展。就是在资源管理类中,往往需要重新定义自己的swap函数来作为优化手段。
1. swap函数
首先考察如下例子,假设类HasPtr中含有一个指向string的指针 *ps 和一个int类型值value。
class HasPtr {
public:
...
...
...
private:
string* ps;
int value;
};
则如果没有定义自己的swap函数的话,调用标准库的std::swap相当于进行如下动作:
HasPtr temp = v1;
v1 = v2;
v2 = temp;
这里v1中的string拷贝了两次,造成了不必要的效率上的浪费。
其实我们知道,这里swap只需交换指针指向就可以,所以我们可以写出如下自定义版本的swap函数:
class HasPtr {
friend void swap(HasPtr& lhs, HasPtr& rhs);
...
...
};
inline
void swap(HasPtr& lhs, HasPtr& rhs) {
using std::swap;
swap(lhs.ps, rhs,ps);
swap(lhs.value, rhs.value);
}
注意: 这里有一点值得注意的是,函数调用的时候应该写成swap,而非std::swap形式。这是因为假如有另一个类型Foo含有成员h(HasPtr类型),则如果HasPtr定义了自己的swap函数的话,应该调用其自定义的swap函数,否则调用标准库的std::swap。
所以如下形式1是不对的,应该写成形式2所示。
二者执行结果相同,但效率不同(前者不必要的拷贝)
//形式1
void swap(Foo& lhs, Foo& rhs) {
std::swap(lhs.h, rhs.h);
}
//形式2
void swap(Foo & lhs, Foo & rhs) {
using std::swap;
swap(lhs.h, rhs.h);
}
2. copy and swap idiom
定义了swap函数的类常用swap来定义他们的赋值运算符,即copy and swap技术。
这样做可以做到天然的异常安全并且正确处理自我赋值问题,是简洁高效安全的写法。(为什么其他方法存在异常安全或自我赋值问题可以参加effective c++条款11)
上述例子使用copy and swap技术定义赋值运算符如下:
HasPtr& HasPtr::operator=(HasPtr rhs) {
swap(*this, rhs);
return *this;
}
可以看出,不同于一般的赋值运算符,其参数采用传值方式,而非引用。它与如下代码功能上等价,但效率上更高(将copy动作移至函数参数构造阶段)
HasPtr& HasPtr::operator=(const HasPtr& rhs) {
HasPtr temp(rhs);
swap(*this, temp);
return *this;
}
这两种方式均可以完美解决异常安全和自我赋值问题。第一种方法被C++ primer和C++编程规范所推荐,Scott Meyers在effective c++中表达了一些对其可读性的忧虑,但如果掌握好copy and swap idiom,还是应该推荐采用第一种写法生成更高效的代码。
参考资料:
1.Stanley B. Lippman / Josée Lajoie / Barbara E. Moo, C++ Primer 中文版(第 5 版)[M]. 电子工业出版社,2013
2.Meyers S. Effective C++[M]. Addison Wesley, 2005.
3.Sutter H, Alexandrescu A. C++ Coding Standards: 101 Rules, Guidelines, and Best Practices (C++ in Depth Series)[M]. Addison-Wesley Professional, 2004.
4.关于swap and copy idiom问题在stackoverflow上的解答: http://stackoverflow.com/questions/3279543/what-is-the-copy-and-swap-idiom
//形式1
voidswap(Foo& lhs, Foo& rhs) {
std::swap(lhs.h, rhs.h);
}
//形式2
voidswap(Foo & lhs, Foo & rhs) {
usingstd::swap;
swap(lhs.h, rhs.h);
}
原文链接: https://www.cnblogs.com/wangxiaobao/p/5994921.html
欢迎关注
微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍
原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/242777
非原创文章文中已经注明原地址,如有侵权,联系删除
关注公众号【高性能架构探索】,第一时间获取最新文章
转载文章受原作者版权保护。转载请注明原作者出处!