看一篇文章, 里面提到契约式编程, 说在C++标准还没有明确下来之前, 可以利用已有的库, 想起来Boost里面似乎有一个, 但是我从来没有关心过. 觉得还是不要这么孤陋寡闻的好, 于是打开找找, 果然找到了.