由private virtual想到的语意学(semantic)

经作者同意转载自  http://blog.csdn.net/xrbeck

今天在整理以前的学习文档时，找到了一篇关于模式的文章（原文见http://dev.csdn.net/develop/article/7/7767.shtm），在看template method时，出现了“private virtual ”这样的函数说明，如下：

private:
    virtual std::string classID() const = 0;

一开始也有点犯迷糊，这是什么？太多的设计如interface,模式(template method)中使用到了

public virtual,protect virtual(java,.net中每个函数自动为virtual,也是效率比较低的原因)，

这private virtual 派什么用处？什么地方用的到？

    结果看下来，算明白作者的意思了，也是想跟大家讨论一下的语意学(semantic)

在template method中，实现的是一个高层算法和底层实现的隔离。我们知道，OO中有个著名的原则叫DIP

原则（依赖倒置原则），目的就是进行解耦，使得高层依赖于抽象。template method无疑优雅的体现了

这点。在具体实现上，当然一般的做法也就是在基类中定义好程序的算法或者框架，而把具体的实现交给

派生类去实现，典型的做法如下：

class base

{

public:

    void dosth() {step1();step2();}

protected:

    virtual void step1() = 0;

    virtual void step2() = 0;

};

这样的话，我们高层的算法和公共行为也就定好了，区别只是具体的实现的不同。这点也是消除重复性的

有效的重构手段（Extract superclass）的目标。

   但是在override上，就有了语义的不同。我们不可以去继承private fun，但是我们可以去override

private,这是因为一个函数是否是动态绑定的跟他的access level是没有关系的，而取决于是否是

override,那么在这个例子中，template只使用到了函数的virtual属性，而access level则由设计者

的意图决定(是否要让其他包括子类使用)，所以才有了private virtual的出现。例如：

class base {

public:

    void dosth(){show();}

private:

    virtual show() {cout<<"show function call."<
};
class derived : public base
{
};
    derived d;
    d.dosth();
对于类的设计者而言，他只想暴露该模块的高层算法dosth，对于底层的实现客户端程序是看不到的。
但是对于子类，设计者也不想让子类复用show函数，因此出现了private virtual.那么如果show是
protect的呢？那就意味着设计者想让该函数复用，子类可以复用，也可以重写。
   因此一般而言，对于类的设计，总是有着一种隐含的语义在里面，比如
private ctor: 意味着该类用户是不能直接创建的，如见sington
protect ctor: 意味着也是不能直接创建的，一般多用于抽象基类，如strategy等。非常多
public fun:   我是整套类中的唯一方法，不需要有任何的重写，否则将会惹上‘精神分裂的行径’
              （见effective c++）
public virtual: 我的接口是暴露的，完全敞开的，可以随意的改写，如contract,interface
protect virtual: 我在底层实现了某种改写，但用户是不知道的。如template method.
至于private virtual，我觉得好像还是用的不多的，^_^。。
希望跟大家一起讨论学习。。