学步园

条款25 实参相依的查找

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

条款26 操作符函数查找

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

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

        |

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

例子：

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

条款27 能力查询

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

例如：

   shape         Rollable

      |    |              |

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

   Square        Circle

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

条款28 指针比较的含义

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

例如：

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

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

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

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