《design by contract》中除了介绍了Eiffel 语言,引入了前置条件,后置条件,不变量外。提出了基本操作,基本查询,扩展操作,扩展查询的概念。
《effective c++》中也提到应该把扩展查询的成员函数替换为非成员函数。理由是为了较低的编译依赖性,较好的可延伸性,以及较高的封装性。
其实,Scott Meyers就是说把扩展查询放到类的外部去,作为一个utility 函数或类来使用。
我能理解他说的话,区别基本查询和扩展查询的确可以纯化类的接口,把把我们从大量的类方法记忆中解放出来。但我不愿意把原先对于一个类的使用变成了一个类加多个utility 方法或再加一个utility 类。至少我需要记忆的更多了,而且IDE 的智能提示功能似乎也用不上了。
最好,能得了便宜又可以卖乖。
那把utility 直接放到类里,声明成nested class,虽然没有较低的编译依赖性,但的确可以知道并选择使用扩展查询了。当然,这种方法肯定不是Scott Meyers 建议的。
class Act
{
public:
Act():_(*this){}
void clearText();
void clearIcon();
class Util{
public:
Util(Act& a):owner(a){}
void clearAll(){
owner.clearText();
owner.clearIcon();
}
private:
Act& owner;
} _;
};
其中clearAll 是扩展操作,调用了基本操作clearText() and clearIcon().
这样,对Act 的直接操作都是基本操作和基本查询:act.clearText();
如果使用扩展查询则使用: act._.clearAll();
最好的是,IDE自动提示功能可以用了。呵呵。
没有技术含量的文章,纯粹自娱自乐。
网友评论