这两天看了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: 由此想到,我知道的一些“精通”面向对象设计的程序员从来不对任何代码(例如一个函数,一小段算法)进行自测(这里的自是指代码,不是指人)的。我有点怀疑他们是否了解程序设计的基本原理。 
|