Microsoft が提供する C/C++ ヘッダファイルにおける事前条件・事後条件の充実っぷりは異常 - NyaRuRuが地球にいたころぴーびーしー - 東方算程譚 ふむ． むしろ Microsoft の開発現場で，一番 DbC が流行っているのが Visual C++ 関連だと思うのですが．Header Annotations とか SAL Annotations，C/C++ コード障害の検出と修正 等． 最近の Visual C++ のインクルードファイルや Windows SDKs 以下のインクルードファイルを見ていても，事前条件・事後条件の充実っぷりは異常．その規模は既に COM 全盛期の IDL を凌ぎます． あれは手で書いているんでしょうかねぇ？ 何か DSL から C/C++ のヘッダファイルを自動生成していてもおかしくない気もしますが，はて． 整数範囲注釈 そういえば Visual C++ 2008 SP1 のコード検証は，Header Annotations の整数範囲注釈を活用していないように見えるので
