Contract(契約)は言語仕様として盛り込まれた高級assertであり、契約違反は実行時に発見できるようになるはず。コンパイルオプションで無効になるはずなので、リリースビルだと契約違反は未定義動作を引き起こしたりするが。
静的に解析可能な契約違反はコンパイラが診断してくれるかもしれない
Conversation
Notices
-
白山風露@ᓚᘏᗢ (kazatsuyu@qiitadon.com)'s status on Monday, 17-Sep-2018 19:05:48 JST 白山風露@ᓚᘏᗢ - yumetodo repeated this.