C++primer 阅读笔记-模板与泛型编程（效率与灵活性+）

• shared_ptr给予我们共享指针所有权的能力
• 容易重载shared_ptr的删除器，只要在创建时或者reset指针时传递给它一个可调用对象即可
• unique_ptr独占指针
• 删除器是unique_ptr对象的类型的一部分，用户定义unique_ptr时以显式模板实参的形式提供删除器的类型

在运行时绑定删除器

• shared_ptr必须能直接访问删除器，删除器保存为一个指针或者一个封装了指针的类
• shared_ptr不是将删除器保存为一个成员，因为删除器的类型在运行时才知道
• shared_ptr的生存期期间可以随时改变其删除器的类型，类成员的类型在运行时是不能改变的
• 由于删除器是间接保存的，调用时需要一次运行时的专挑操作，转跳到指向删除器的地址来执行对应的代码
• shared_ptr的删除器虽容易重载，但是访问删除器时需要额外开销

在编译时绑定删除器

• unique_ptr中删除器是类类型的一部分
• 删除器成员类型在编译时时知道的
• unique_ptr在编译时绑定删除器，避免了间接调用删除器时的运行开销

一些语法总结

构造函数初始化列表

• 编写类的时候一些成员必须在构造函数初始化列表中进行初始化，const和应用类型的对象，不能对他们赋值，因此需要在初始化列表对他们赋初始值：
  
  • 没有默认构造函数的类类型成员
  • const或引用类型成员
  • 在初始化列表中，成员被初始化的次序是定义成员的次序

右值引用

• 左值引用是指表达式结束后依然存在的持久现象
• 右值引用是表达式结束时，就不再存在的临时对象
• 区分右值与左值的方法是看能不能对表达式取地址
• 左值引用根据修饰符不同，可以分为非常量和常量左值引用
• 非常量左值引用只能绑定到非常量左值
• 常量左值引用可以绑定到所有类型的值
• 非常量右值引用只能绑定到非常量右值
• 常量右值引用可以绑定到非常量右值和常量右值
• move函数将左值转换为右值

std::move在提高 swap 函数的的性能上非常有帮助，一般来说，swap函数的通用定义如下：

    template <class T> swap(T& a, T& b) 
    { 
        T tmp(a);   // copy a to tmp 
        a = b;      // copy b to a 
        b = tmp;    // copy tmp to b 
    }


有了 std::move，swap 函数的定义变为 :

 template <class T> swap(T& a, T& b) 
    { 
        T tmp(std::move(a)); // move a to tmp 
        a = std::move(b);    // move b to a 
        b = std::move(tmp);  // move tmp to b 
    }

ecplicit关键字

• 显式的方式调用，抑制隐式转换
• 一般构造函数前带ecplicit关键字，抑制赋值构造函数到显式构造函数的转换

class test{
    public:
        explicit test(int n){num = n;}
    private:
        int num;
}
int main(){
    test t = 12;//错误，不能隐式转换为赋值构造函数 
}