SWIGにおける契約指向プログラミングの実践
契約による設計の導入
C言語ライブラリをラップする際、信頼性の維持とエラー検証は重要な課題です。多くのCプログラムはエラーチェックを適切に実装しておらず、不正な入力や想定外の使用方法によって簡単にクラッシュする可能性があります。本章では、SWIGが提供するソフトウェア契約のサポートについて説明します。SWIGの文脈において、契約は宣言に付随する実行時制約 ...
9月13日 07:23 投稿
Liskov置換原則と継承設計の堅牢性
Liskov置換原則の基本概念
Liskov置換原則(LSP)は継承階層構築のための指針です。この原則に従うことで、クライアントコードは基底クラスと派生クラスを相互置換可能に使用でき、期待される動作が保証されます。
正式定義
Barbara Liskovによる定義：「SがTの派生型である場合、T型のオブジェクトはすべてS型オブジェクトで置換可能であり、プログラムの整合性を損なわな ...
5月25日 06:50 投稿