Item 31. Covariant Return Types & Item 32. Preventing Copying

Item 31. Covariant Return Types

Covariant:随变,随动。(你变我就变)
通常,一个overriding函数必须与所重写的函数具有相同的返回类型。然而,并非事事如此,Covariant Return Types便是无需如此。如下的继承体系:
class Shape {
  public:
    //...
    virtual Shape *clone() const = 0; // Prototype
    //...
};
class Circle : public Shape {
  public:
    Circle *clone() const;  //Covariant Return Types
    //...
};

Shape 与 Circle 的clone成员函数的返回类型不同,但却可以正常运行。为何?
Circle 是 Shape 的一个子类,所以Circle*可以自动的转换成为Shape*。这就为Covariant Return Types。

Item 32. Preventing Copying

若不声明copy构造函数,编译器会自动给加上一个。而有时候不想copy构造函数被调用,如何办?
1)声明一个,但是私有的
2)声明一个,但不实现。

这两种方法都是从编译器的角度来控制的,使用了会编译不过。

posted on 2005-04-15 17:32  张大大123  阅读(58)  评论(0编辑  收藏  举报

导航