C++必知必会 读书笔记2

条款25 实参相依的查找

当查找该调用何种函数时，编译器会到实参所在的命名空间中查找函数，使之成为候选调用函数之一

 

条款26 操作符函数查找

直接调用操作符时，遵循普通的函数查找规则；使用中缀语法调用操作符时，编译器也会考虑实参所在那个的命名空间

     两个候选------实参所在的命名空间

        |

        ---------调用函数所在的命名空间

例子：

class X{ public: X operator %(const X &)const;//设为函数2 void memFunc(); }; X operator %(const X&, int);//非成员操作符,设为函数1 X a,b,c; a=b%c;//中缀调用操作符 a=b.operator%(c);//直接调用操作符 void X::memFunc() { *this % 12;//正确，编译器会考虑12所在的命名空间,因此能找到函数1 operator %(*this, 12);//错误,直接调用操作符,编译器使用普通的查找规则,因此在X命名空间查询，，找到函数1，但实参太多，匹配失败 }

 

条款27 能力查询

由于继承的引入，导致派生类对象无法确定是否继承了某个基类。可以使用dynamic_cast进行“能力查询”

例如：

   shape         Rollable

      |    |              |

      |     ------------|

   Square        Circle

Shape *s = getSomeShape(); //当s不是Rollable派生对象时，dynamic_cast转换将返回空指针 //dynaminc_cast用于查询派生类对象s是否具备Rollable能力 if(Rollable *roller=dynamic_cast<Rollable *>(s)) { roller->roll(); }

 

条款28 指针比较的含义

指针的比较并不都是原始地址的比较，对派生类指针和基类指针进行比较时，编译器会识别指针类型，自动调整指针值。

例如：

class Shape{...}; class Rollable{...}; class Circle:public Shape,public Rollable{...}; Circle *pcircle = new Circle; Shape *pshape = pcircle; Rollable *proll = pcircle; if(pcircle == pshape) //true,有继承关系，编译器会自动转换 if(pcircle == proll) //true,有继承关系，编译器会自动转换 if(pshape == proll) //编译错误,不具有继承关系 void *pvoid = pcircle; if(pvoid == pcircle) //true if(pvoid == pshape) //可能false,丢失类型信息，编译器进行原始地址比较 if(pvoid == proll) //可能false,丢失类型信息，编译器进行原始地址比较

 

条款29 “虚构造函数”与prototype模式

C++中有虚析构函数，却没有虚构造函数，使得派生类对象无法动态的复制自身，使用prototype模式可以解决这一问题。

prototype模式可以使用指向派生类对象的基类指针动态的clone自己，而不用知道自己是哪个派生类