これは C++ Advent Calender 2012 の3日目の記事です。 ーBoost.Contract 0.4.1が最新です。（2012/12/03現在） はい、契約だからってま○どマギネタとか出てくるんじゃないかなーって期待していたそこのアナタ！残念ながら使い回されすぎて使いにくいため、そういったものは出てきませんのであしからず。 Introduction 今回は、今年9月頃に採択されたBoost.Contractについてご紹介します。 そもそもContract Programming(Design by Contract - DbC)は、はじめEiffel,Spec#など*1で取り入れられていたものです。契約プログラミングの大体の説明はWikipediaに任せるとして、それをC++ではどうかけるのか、これからまとめていきたいと思います。 Boost.ContractのTutor
