オブジェクト指向システムの設計 172 [無断転載禁止]©2ch.net

[70 デフォルトの名無しさん 2016/07/13(水) 00:20:45.58 ID:7t1kL6eB]

>>68
Eiffelみたいな契約プログラミングによる保証か、
https://ja.wikipedia.org/wiki/契約プログラミング
もしくは、
C++11のnoexceptのような仕組みかな
http://cpprefjp.github.io/lang/cpp11/noexcept.html