这两天看了C++ FAQ印刷版,中文名为C++经典问答。
其中说到,如果程序员不写能够自动测试自己的对象(简称自测对象),他维护调试自己的代码就是在碎玻璃上爬。
所谓自测对象,就是能够自动测试自己的的不变式(invariant)的对象。
一个自测对象例子:
#include <cassert>
class CTestMe{
public:
CTestMe()
{ //init myself
//...
test_invariant();
return;
}
~CTestMe()
{
test_invariant();
//destroy me
return;
}
test_invarivant();
{
assert(...);
assert(...);
assert(...);
}
}
BTW:
由此想到,我知道的一些“精通”面向对象设计的程序员从来不对任何代码(例如一个函数,一小段算法)进行自测(这里的自是指代码,不是指人)的。我有点怀疑他们是否了解程序设计的基本原理。