[OOD-More C++ Idioms] 写时拷贝 (Copy on Write)

简介: 目的达到延迟拷贝(lazy copy)的优化目的。和延迟初始化(lazy initialization)相似, 选择在恰当的时机更加有效。

目的

达到延迟拷贝(lazy copy)的优化目的。和延迟初始化(lazy initialization)相似, 选择在恰当的时机更加有效。

别名

  • COW (copy-on-write)
  • Lazy copy

动机

拷贝对象有时会带来性能损失(performance penalty)。如果对象经常拷来拷去,但以很少修改,copy-on-write就能明显地提升性能。为了实现copy-on-write, 需要使用一个智能指针将真正的对象值封装起来,每次修改时都要检查一下对象的引用计数。如果对象被多次引用,就在修改前创建一个复本。

解决方案及示例

#ifndef COWPTR_HPP
#define COWPTR_HPP

#include <memory>

template <class T>
class CowPtr
{
    public:
        typedef std::shared_ptr<T> RefPtr;

    private:
        RefPtr m_sp;

        void detach()
        {
            T* tmp = m_sp.get();
            if( !( tmp == 0 || m_sp.unique() ) ) {
                m_sp = RefPtr( new T( *tmp ) );
            }
        }

    public:
        CowPtr(T* t)
            :   m_sp(t)
        {}
        CowPtr(const RefPtr& refptr)
            :   m_sp(refptr)
        {}
        const T& operator*() const
        {
            return *m_sp;
        }
        T& operator*()
        {
            detach();
            return *m_sp;
        }
        const T* operator->() const
        {
            return m_sp.operator->();
        }
        T* operator->()
        {
            detach();
            return m_sp.operator->();
        }
};

#endif
译注:原文代码使用boost库,都改为std的实现了。

这是一个简单的实现版本。除了必须通过智能指针解引用(dereferencing)来引用其内部对象有点不太方便外,还至少有一个缺点:类可以返回内部状态的引用:
char & String::operator[](int)
这样会带有一些无法预期的行为。

考虑下面的代码段:

CowPtr<std::string> s1 = new std::string("Hello");
char &c = s1->operator[](4); // 非常量的detach操作什么也不做
CowPtr<std::string> s2(s1); // 延迟拷贝,共享的状态
c = '!'; // 悲催啦

最后一行原本要修改原始的字串s1, 而不是它的复本s2,而事实上s2也被修改了。

一个比较好的做法是写一个自定义的copy-on-write实现,封装需要延时拷贝(lazy-copy)的类,并且保持对用户透明。为了解决上面的问题,可以标记对象为”不可共享(unshareable)”状态表示已经交出了对内存对象的引用,也就是强制进行深度拷贝。进一步优化,可以在那些不会放弃内部对象引用的non-const操作后恢复为”共享(shareable)”状态,(比如, `void string::clear())),因为客户端代码期望这些引用都会失效。

译注:这一部分说得不清楚。标记对象为不可共享,比如上面例子中,取出字符c后设为不可共享,再建构s2时直接进行深拷贝。另外说在non-const操作没有放弃内部对象,指的是这类操作创建了一个复本,这时候的原来的对象可以更新为shareable。

已知的应用

相关的惯用法

参考


更多翻译内容请访问Github项目

目录
相关文章
|
2月前
|
算法 C++ 容器
C++标准库中copy算法的使用
C++标准库中copy算法的使用
22 1
|
4月前
|
C++
C++ 实现一个不能被copy的类
C++ 实现一个不能被copy的类
|
5月前
|
编译器 C++ 容器
【C++】STL容器——【深浅拷贝】与【写时拷贝】对比详解(拷贝构造)(10)
【C++】STL容器——【深浅拷贝】与【写时拷贝】对比详解(拷贝构造)(10)
|
12月前
|
存储 C++ 索引
【C++STL基础入门】深入浅出string类的比较(compare)、复制(copy)
【C++STL基础入门】深入浅出string类的比较(compare)、复制(copy)
203 1
|
11月前
|
C++
【C++从0到王者】第十一站:引用计数与写时拷贝
【C++从0到王者】第十一站:引用计数与写时拷贝
42 0
|
存储 C++ iOS开发
C++ 采用read()和write()读写二进制文件
以文本形式读写文件和以二进制形式读写文件的区别,并掌握了用重载的 >> 和 << 运算符实现以文本形式读写文件。在此基础上,本节继续讲解如何以二进制形式读写文件。 举个例子,现在要做一个学籍管理程序,其中一个重要的工作就是记录学生的学号、姓名、年龄等信息。这意味着,我们需要用一个类来表示学生,如下所示: class CStudent { char szName[20]; //假设学生姓名不超过19个字符,以 '\0' 结尾 char szId[l0]; //假设学号为9位,以 '\0' 结尾 int age; //年龄
113 0
|
编译器 C语言 C++
C++从入门到精通(第七篇) :string类的讲解和模拟实现 (copy)
C语言中,字符串是以'\0'结尾的一些字符的集合,为了操作方便,C标准库中提供了一些str系列的库函数, 但是这些库函数与字符串是分离开的,不太符合OOP的思想,而且底层空间需要用户自己管理,稍不留神可 能还会越界访问。
248 0
C++从入门到精通(第七篇) :string类的讲解和模拟实现 (copy)
|
C++
Effective C++学习笔记之copy构造函数和default函数和copy赋值函数(operator=)
Effective C++学习笔记之copy构造函数和default函数和copy赋值函数(operator=)
135 0
|
C++ Java
[OOD-More C++ Idioms] 内部类 (Inner Class)
内部类 (Inner Class) 目的 不用通过多重继承就可以实现多套接口,同时可以自然地向上转换(Up-casting)。
1186 0