oop - 契約による設計: Stack FILO プロパティを契約で表現できますか?

Question

契約による設計は特急仕様に限界があるようです。例えば ​​Stack FILO プロパティをコントラクトで表現しようとしたのですが、思いつきませんでした。誰でも助けることができますか？

根本的な原因は、前提条件/事後条件/不変条件が副作用のないアサーションであることだと思います。それは、容易ではない副作用の一種である FILO プロパティのチェックにつながります。

Answer 1

確かに、契約による設計には機能が制限されています。それらは万能薬ではありません。もしそうなら、IT 業界は単体テストやコード レビューなどを捨ててしまうからです。

この場合、コントラクトを実装して頭を悩ませるのではなく、単純な単体テストを作成することをお勧めします (実装できない場合もあります)。