C++必知必会读书笔记

在面向对象设计中，“不知情”和“忽略“也是一种天赐之福。实际上体现的就是一种松耦合，不需要运行 期的实际类型（动态类型）的精确知识。这就是不知情和松耦合的优点。P101页。

C++中的new有三种形态，一种是最常见的 new运算符，也就是用来在堆上分配内存，然后调用构造函数的那个。一种是operator new，可以重载，用户可以自己实现。还有是标准库中对operator new提供的一种重载，placement new，布局运算符。布局new 运算符的定义如下：

void* operator new (std::size_t size, void* ptr) throw();

注意这里很奇特的地方，调用的时候，这么写 new(p)  T(args)即会去调用布局new 运算符。只有在operator new(...) 这样写时，才需要按原型那样去调用。

用户自定义的operator new 运算符可以带有多个参数，不过第一个参数一定要是size_t 类型的（operator delete的第一个参数是指针，第二个是size_t），而且实际调用过程中，也不用显示的传入这个参数，这个参数是在最后边通过接上一个类型隐式传入的。

void* operator new(size_t size,string str)

最后调用时，使用

T *px = new("A new class")  T;

即可。标准的operator new 在std空间中，同malloc() 一样，只分配内存。

如果在类的内部重载了operator new，也就是类成员版本的operator new，那么每次用new 后接一个该类的类型，调用的都是类成员版本的operator new。这也就是成员版本的operator new 和operator delete。operator new是用来构造对象的，所以那时候还没有一个this指针，所以成员版本的operator new 必须是static 的，但是这个static 同 virtual 一样，是可选的。见C++必知必会63章。

如果在类内部自定义了operator new，同时将operator new设置为protected，这就是说，在堆上构造其对象new 的时候会发生错误，无法调用operator new。如果将析够函数设为私有的，也就是外部不能调用，那么可以强制对象只能在堆上构造，可以在用一个成员函数中，delete this 即可，这样就不会在外部去调用析够函数。

另外，C++11的容器中引入的emplace() 函数，参数为一个迭代器表示位置，剩下的是和某个构造函数一样的参数，利用的就是placement new，直接在给出的内存地址上构造一个对象出来，而不是先构造一个再拷贝构造一个。

将构造函数设置为私有的，可以防止被继承，可以用来实现单例模式。设为保护的，则是为了在派生类的构造函数中能够调用（C++的设计哲学是，public是对所有人开放的，protected是留给孩子的，private 则是对朋友敞开的）。

C++必知必会代码片段：

1、使用typename 和 template 消除歧义：

typedef typename A<T>:: template B<U>::Type otherType;

这里B是一个嵌套于模板A中的内部模板，需要用template 说明，Type 是B内部的一个嵌套类型，即成员类型，需要用typename 说明。

2、对于运算符->的重载，实际是这样的：

ptr->draw();

这里ptr是一个对象，operator->重载运算符的返回值必须是指针，实际完整的写法是这样的：

(ptr.operator->())->draw;

3、模板的模板参数：

template <typename T, template<typename, typename> class Cont>
 class MyClass
 {
     
 };

这里Cont就一个带有两个类型参数的模板，Cont 本身又作为MyClss模板的一个模板参数。

4、函数模板的类型参数可以推导，所以不需要显示的写出来；但是类模板的类型参数必须得写出来，这样，可以借助一些辅助函数，借助于函数模板的类型推导来间接进行类模板的推导，简洁的完成类模板的实例化。

template <typename R, typename T1, typename T2>
  pFun<T1, T2, R> makeFun(R (*pf)(T1, T2))
  {
      return pFun<T1, T2, R>(pf);
  }

标准库中的make_pair<>(), ptr_fun<>() 都是这个理。