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