今天在整理以前的学习文档时,找到了一篇关于模式的文章(原文见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."<<endl;}
};
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,我觉得好像还是用的不多的,^_^。。
希望跟大家一起讨论学习。。