是否有任何库有助于在C++应用程序中通过契约原则实现设计？
特别是,我正在寻找一个可以使用原理的库,就像这样.
c++ design-by-contract
c++ ×1
design-by-contract ×1