/*此文是译者出于自娱翻译的GotW(Guru of the Week:)系列文章的一篇，原文的版权是属于Hub Sutter（著名的C++专家，《Exceptional C++》的作者）。此文的翻译没有征得原作者的同意，只供学习讨论。——译者:黄森堂*/

#40 多态控制.

难度：8/10

IS-A型多态是非常有用的工具，但有时你必需限制使用它们，并确定在哪些代码中使用可靠的类多态。本期的GotW将给你一个示例，显示如何获得指定的效果。

问题：

1.思虑以下代码：

  class Base {

  public:

    virtual void VirtFunc();

    // ...

  };



  class Derived : public Base {

  public:

    void VirtFunc();

    // ...

  };



  void SomeFunc( const Base& );

以下有两个其它函数：目标是允许f1的参数中的基类中期待使用派生对象的多态形为，然而，要防止在其它函数(包含f2)里工作。

  void f1() {

    Derived d;

    SomeFunc( d ); // 正常工作, OK

  }



  void f2() {

    Derived d;

    SomeFunc( d ); // 我们要防止这种情形

  }

示范如何做到这个效果。

解决方法：

1.思虑以下代码：

  class Base {

  public:

    virtual void VirtFunc();

    // ...

  };



  class Derived : public Base {

  public:

    void VirtFunc();

    // ...

  };



  void SomeFunc( const Base& );

这儿有个前提：为什么所有代码中使用基类来期待使用派生类对象呢？，是因为派生类是从基类进行public继承过来的(这儿没有奇怪的地方).

如果替代的方法：派生类从基类进行private继承，当“几乎”没有代码使用派生类当作基类看待的时候，这个“几乎”的前提是代码只能存取到派生类对象的private部分与存取到从基类中派生的基类的private部分；因此，在基类的地方使用派生类的多态是正常的。通常，只有派生类的成员函数有这样的存取权限，然而，我们使用了“friend”来扩展相似的存取功能到外部代码中。

把提出的每一部分集合起来，我们就获得：

以下有两个其它函数：目标是允许f1的参数中的基类中期待使用派生对象的多态形为，然而，要防止在其它函数(包含f2)里工作。

  void f1() {

    Derived d;

    SomeFunc( d ); // works, OK

  }



  void f2() {

    Derived d;

    SomeFunc( d ); // we want to prevent this

  }

示范如何做到这个效果。

我们的回答是：

  class Derived : private Base {

  public:

    void VirtFunc();

    // ...

    friend void f1();

  };

这种方式利索地解决了这个问题，然而，它比起原始版本里的f1,它给予f1更大的权限