在碎玻璃上慢慢爬的C++程序员

这两天看了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：

由此想到，我知道的一些“精通”面向对象设计的程序员从来不对任何代码（例如一个函数，一小段算法）进行自测（这里的自是指代码，不是指人）的。我有点怀疑他们是否了解程序设计的基本原理。