NyaRuRu https://blog.hatena.ne.jp/NyaRuRu/ NyaRuRuが地球にいたころ https://nyaruru.hatenablog.com/ Vista DirectX ぴーびーしー - 東方算程譚 ふむ． むしろ Microsoft の開発現場で，一番 DbC が流行っているのが Visual C++ 関連だと思うのですが．Header Annotations とか SAL Annotations，C/C++ コード障害の検出と修正 等． 最近の Visual C++ のインクルードファイルや Windows SDKs 以下のインクルードファイルを見ていても，事前条件・事後条件の充実っぷりは異常．その規模は既に COM 全盛期の IDL を凌ぎます． あれは手で書いているんでしょうかねぇ？ 何か DSL から C/C++ のヘッダファイルを自動生成していても… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnyaruru.hatenablog.com%2Fentry%2F20080623%2Fp1" title="Microsoft が提供する C/C++ ヘッダファイルにおける事前条件・事後条件の充実っぷりは異常 - NyaRuRuが地球にいたころ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-06-23 00:00:00 rich https://nyaruru.hatenablog.com/entry/20080623/p1 1.0 100%