C++中的异常安全、以及copy_and_swap

参考effective c++条款29可知，C++中的异常安全提供以下三个保证之一：

1. 基本承诺： 如果异常被抛出，应该保证函数中的状态还是可控的，也就是说当前函数内没有任何对象或者数据结构被破坏，仍然是合法的状态。
2. 强烈保证： 如果异常被抛出，函数的内部各个状态应该和发生异常之前的状态相同（类似于回滚了状态）；
3. 不抛掷异常保证： 该函数不发生异常。

其中强烈保证往往能够通过copy_and_swap 实现，但他并非对所有函数都有意义或者说对所有函数都能实现。

于是我们从copy_and_swap开始聊起。

通常来说异常安全有两个目标：

不泄露任何资源。这个通过RAII可以做到。

不破坏任何数据结构。

所谓copy and swap策略就是先对需要修改的对象做出一份副本，这个副本的构造使用RAII以确保不会资源泄露，在副本上完成所需的修改，如果修改过程中出现异常，原对象仍保持不变。修改完成后，再通过non-throwing swap将副本与原对象交换。　　

class String
{
    char * str; 
public:
    String & operator=(const String & s)
    {
        String temp(s); // RAII
        temp.swap(*this); // Non-throwing swap
        
        return *this;
    }
    void swap(String & s) throw() // Non-throwing swap的实现
    {
        std::swap(this->str, s.str);
    }
};