copy-and-swap idiom】的更多相关文章

如果你对外语感兴趣,那肯定听过"idiom"这个词.牛津词典对于它的解释叫惯用语,再精简一些可以叫"成语".想要掌握一门语言,其中的"成语"是不能不学的,而希望成为地道的语言使用者,"idiom"则是必不可少的.程序语言其实和外语也很类似,两者都有自己的语法,一个个函数也就像一个个词汇,大部分的外语都是自然语言,有着深厚的历史文化底蕴,因此有不少idiom,而编程语言虽然只有短短数十岁,idiom却不比前者少.不过对于程序设计…
异常安全的代码是指,满足两个条件 1异常中立性 : 是指当你的代码(包括你调用的代码)引发异常时,这个异常 能保持原样传递到外层调用代码.(异常中立,就是指任何底层的异常都会抛出到上层,也就相当于是异常透明的.) 2.异常安全性: 抛出异常后,资源不泄露, 抛出异常后,不会使原有数据恶化(例如正常指针变野指针) 少些try catch,因为大量的try catch会影响代码逻辑.导致代码丑陋混乱不优雅 一段代码要具有异常安全性,必须同时具有异常中立性和一定等级的异常安全性保证 异常安全的等级一般…
异常安全有两个目标: 不泄露任何资源.这个通过RAII可以做到. 不破坏数据结构.这是下文要讨论的事情 异常安全有三个级别: 基本安全:异常发生后对象和数据结构还有合法状态.实现简单,应该作为最低要求. 很安全:抛出异常后程序状态不变.即要有“原子性”,若成功则完全成功,失败则保持原状.本文的copy and swap策略即是达到这一目的的手段. 不抛出异常:总能实现功能,内置类型可以做到这一点. 所谓copy and swap策略就是先对需要修改的对象做出一份副本,这个副本的构造使用RAII以…
最近在实现一个Delegate类的时候碰到了一个问题,就是copy and swap技巧和移动赋值操作符有冲突. 比如有以下一个类: class Fun { public: Fun(const Fun& rhs) throw(); Fun& operator=(Fun fun) { swap(fun); return *this; } void swap(Fun& other) throw(); }; 这个类实现了copy and swap技巧,在赋值的时候表现的很好.但是如果再加…
在C++中,众所周知在一个资源管理类(例如含有指向堆内存的指针)中需要重新定义拷贝构造函数.赋值运算符以及析构函数(Big Three),在新标准下还可能需要定义移动构造函数和移动赋值运算符(Big Five).但实际上,这条规则还可以有一个小扩展.就是在资源管理类中,往往需要重新定义自己的swap函数来作为优化手段. 1. swap函数 首先考察如下例子,假设类HasPtr中含有一个指向string的指针 *ps 和一个int类型值value. class HasPtr { public: .…
转载地址 1,最通用的模板交换函数模式:创建临时对象,调用对象的赋值操作符. template <class T> void swap ( T& a, T& b ) { T c(a); a=b; b=c; } 需要构建临时对象,一个拷贝构造,两次赋值操作. ,针对int型优化: void swap(int & __restrict a, int & __restrict b) { a ^= b; b ^= a; a ^= b; } 无需构造临时对象,异或 因为指…
1,最通用的模板交换函数模式:创建临时对象,调用对象的赋值操作符. template <class T> void swap ( T& a, T& b ) { T c(a); a=b; b=c; } 需要构建临时对象,一个拷贝构造,两次赋值操作. 2,针对int型优化: void swap(int & __restrict a, int & __restrict b) { a ^= b; b ^= a; a ^= b; } 无需构造临时对象,异或 因为指针是in…
原文来自:http://www.cnblogs.com/xloogson/p/3360847.html 1.C++最通用的模板交换函数模式:创建临时对象,调用对象的赋值操作符 template <class T> void swap ( T& a, T& b ) { T c(a); a=b; b=c; } 需要构建临时对象,一个拷贝构造,两次赋值操作. 2.针对int型优化: void swap(int & __restrict a, int & __restr…
1,最通用的模板交换函数模式:创建临时对象,调用对象的赋值操作符. template <class T> void swap ( T& a, T& b ) { T c(a); a=b; b=c; } 需要构建临时对象,一个拷贝构造,两次赋值操作. 2,针对int型优化: void swap(int & __restrict a, int & __restrict b) { a ^= b; b ^= a; a ^= b; } 无需构造临时对象,异或 因为指针是in…
C++ Primer 5th edition, chapter 13. The Rule of Three If a class needs a destructor, it almost surely needs a copy constructor and copy-assignment operator as well. If a class needs a copy constructor, it almost surely needs a copy-assignment operato…
最近实现了一个string类,添加了一些c++11元素. 除了基本的构造析构函数,拷贝构造和赋值函数,另外添加移动拷贝和赋值函数.default是一个很方便的特性有木有. //default constructor KianString()=default; KianString() { ch_ = ()); strncpy(ch_, c, strlen(c)+); }; ~KianString(){ free(ch_); } //copy constructor KianString(cons…
本文主要介绍了C++11中的移动语义与右值引用, 并且对其中的一些坑做了深入的讨论. 在正式介绍这部分内容之前, 我们先介绍一下rule of three/five原则, 与copy-and-swap idiom最佳实践. 本文参考了stackoverflow上的一些回答. 不能算是完全原创 rule of three/five rule of three是自从C++98标准问世以来, 大家总结的一条最佳实践. 这个实践其实很简单, 用一句话就能说明白: 析构函数, 拷贝构造函数, =操作符重载…
条款26 尽可能延后变量定义式的出现时间(Lazy evaluation) 记住: ★尽可能延后变量定义式的出现.这样做可增加程序的清晰度并改善程序效率 ---------------------------------------------------------------------- 举例说明: std::string encryptPassword( const std::string &password ) { using namespace std; string encrypt…
异常安全在某种意义上来说就像怀孕...但是稍微想一想.在没有求婚之前我们不能真正的讨论生殖问题. 假设我们有一个表示GUI菜单的类,这个GUI菜单有背景图片.这个类将被使用在多线程环境中,所以需要mutex进行并发控制. class PrettyMenu { public: ... void changeBackground(std::istream& imgSrc); // change background ... // image private: Mutex mutex; // mute…
我根据自己的理解,对原文的精华部分进行了提炼,并在一些难以理解的地方加上了自己的"可能比较准确"的「翻译」. Chapter 5 实现 Implementations 适当提出属于你的class定义以及各种functions声明相当花费心思.一旦正确完成它们,相应的实现大多直截了当.尽管如此,还是要小心很多细节. 条款26 : 尽可能延后变量定义式的出现时间 当你定义了一个变量,其类型带有构造函数和析构函数,当程序控制流(control flow)到达此变量定义式时,你需要承担构造成本…
条款26 : 尽可能延后变量定义式的出现时间 1. 你不只应该延后变量的定义,直到非得使用该变量的前一刻为止,甚至应该尝试延后这份定义直到能够给它初值实参为止.这样,不仅能够避免构造(和析构)非必要对象,还可以避免无意义的default构造行为. 2. 考虑下面两个循环: // 方法A:定义于循环外 Widget w; ; i < n; ++i) { w = 取决于i的某个值; ..... } // 方法B:定义于循环内 ; i < n; ++i) { Widget w(取决于i的某个值);…
(一)先看以下这些代码: class PrettyMenu { public: void changeBackground(istream& imgSrc); private: Mutex mutex; //由于这个class希望用于多线程环境,所以它有这个相互排斥器作为并发控制之用 Image* bgImage; //眼下的背景图像 int imageChanges; //背景图像被改变的次数 }; void PrettyMenu::changeBackground(std::istream…
<Item29> Strive for exception-safe code. 1.如下面的代码 class PrettyMenu { public: ... void changeBackground(std::istream& imgSrc); // change background ... // image private: Mutex mutex; // mutex for this object Image *bgImage; // current background…
目录 可拷贝和可移动的概念 移动构造函数和移动赋值函数 小结移动构造和移动赋值 std::move() 使用 std::move 实现一个高效的 swap 函数 Move and swap 技巧 参考 可拷贝和可移动的概念 在面向对象中,有的类是可以拷贝的,例如车.房等他们的属性是可以复制的,可以调用拷贝构造函数,有点类的对象则是独一无二的,或者类的资源是独一无二的,比如 IO . std::unique_ptr等,他们不可以复制,但是可以把资源交出所有权给新的对象,称为可以移动的. C++11…
26:尽可能延后变量定义式的出现时间 1:只要你定义了一个变量而其类型带有一个构造函数或析构函数,那么当程序的控制流到达这个变量定义式时,你便得承受构造成本:当这个变量离开其作用域时,你便得承受析构成本.即使这个变量最终并未被使用,仍需耗费这些成本,所以你应该尽可能避免这种情形. 2:像下面这个函数: std::string encryptPassword(const std::string& password) { using namespace std; string encrypted;…
在operator=函数中加一个测试: if(&rhs==this) copy and swap…
<Effective C++>条款07:为多态基类声明virtual析构函数 这样做主要是为了防止内存泄漏,见我hexo博客. C++的虚析构函数 <Effective C++>条款11:在operator=中处理"自我赋值" "自我赋值"发生在对象赋值给自己时: class Widget { ... } Widget w; ... w=w; a[i]=a[j]; //潜在的自我赋值,如果i和j有相同的值 *px=*py; //潜在的自我赋值…
什么是自我赋值,就是 v = v 这种类型的语句,也许很多人都会说鄙视这种写法,但是如下的写法会不会出现呢? 比如:a[i] = a[j];      // 不巧的是i可能和j相等 *px = *py;     // 也许px和py刚好指向同一个对象呢 上述例子都是隐含的自我赋值. 再举一例: class Bitmap // 位图类 { ... }; class Widget { public: Widget& operator=(const Widget& rhs); private:…
参考自侯捷的<stl源码剖析> stl算法主要分为非可变序列算法(指不直接修改其所操作的容器内容的算法),可变序列算法(指可以修改它们所操作的容器内容的算法),排序算法(包括对序列进行排序和合并的算法.搜索算法以及有序序列上的集合操作),数值算法(对容器内容进行数值计算). 1.非可变序列算法 stl中的非可变序列算法有:for_each(), find(), find_if(), adjacent_find(), find_first_of(), count(), count_if(), m…
operator 中处理”自我赋值“ operator=操作符缺省情况下返回引用——TYPE& TYPE::operator=(const TYPE&),原因很简单,operator=返回引用的理由是使你能在一个语句中连接多个赋值. int x, y, z; x = y = z = ; // chain of assignments 赋值采用右结合律,上面的代码被编译器解释为: x = (y = (z = )); 在编译过程中,赋值是右结合的.说白了就是如果你想要玩一下多个赋值,opera…
本来GLES提供了与native platform的接口 EGL, 然而iOS没有使用EGL接口, 而是自己搞了一套,叫做EAGL的类似东西, 虽然说大同小异,但是在做跨平台的时候还是很恶心. elgMakeCurrent: 默认的EGL是需要surface和display的, iOS的EAGL实现, 对于用户(程序猿)来说, 没有surface和display这些东西. iOS 下需要使用FBO + RBO, 然后直接通过native API: EAGLContext - presentRen…
一.何谓“自我赋值”? 1.1.场合一 直接赋值 w = w; 1.2.场合二 同一数组         a[i] = a[j]: 1.3.场合三 指针         *px = *py: 1.4.场合四 同一继承体系         class Base{...};         class Derived: class Base{...}; 二. 自我赋值时,可能发生的问题 2.1.问题一 使用资源之前,资源已经被释放 例: class Bitmap{...}; class DeskTo…
条款05:了解C++默默编写并调用哪些函数 编译器默认声明一个default构造函数.一个copy构造函数.一个copy assignment操作符和一个析构函数.这些函数都是public且inline. class Empty { public: Empty() {...} Empty(const Empty& rhs) {...} ~Empty() {...} Empty& operator=(const Empty& rhs) {...} }; 如果你打算在一个内含refer…
假设你建立一个class 用来保存一个指针指向一块动态分配的位图. class Bitmap {......}; class Widget{ ... private: Bitmap* pb ; }; Widget& Widget::operator= (const Widget& rhs) { delete pb; pb = new Bitmap(*rhs.pb); return *this; } 上面是一份不安全的 operator= 实现版本,因为 operator= 函数内的*thi…
条款26:尽可能延后变量定义式的出现时间 为何要尽量延后? 当程序中途跳出而导致变量未被使用,但是必须进行构造和析构. 最佳初始化变量 直接在构造时指定初值比构造之后再赋值效率高(条款4) ... std::string encrypted(password); ... 循环内变量定义在循环内还是循环外? 程序A:定义于循环外 //方法A:循环外定义 POINT point; for (int i = 0; i < 1000000000; i++) { point = tmp; //tmp =…