契約による設計の「契約」とは何を指しているか

契約による設計の「契約」とは何を指しているか 2023/04/18 株式会社Voicy 灘脇裕一 (@natacoon) Voicy Tech Bar

自己紹介灘脇裕一 Backend Engineer 機能開発チームリーダースクラムマスター 2012.04 - HRTech
2020.07 - Voicy 本日はよろしくお願いします！ @natacoon 好きなモノ: 服とねことスプラトゥーン株式会社Voicy

本日のアジェンダ事前条件と事後条件の関係 1 ２契約による設計とは？

契約による設計とは？

契約による設計とは？ Wikiより「契約による設計」（DbC）における中心的な概念は、クライアントとサプライヤの契約 (contract) である。

契約による設計とは？キーワード - 事前条件(preconditions) - 事後条件(postconditions) - 不変条件(class invariant)

契約による設計とは？今日の焦点 - 事前条件(preconditions) - 事後条件(postconditions) - 不変条件(class invariant)

契約による設計とは？事前条件関数の引数が適切であることを保証し、バグや予期しない動作を未然に防ぐために、関数が呼び出される前に守らないといけない条件のこと。

契約による設計とは？事前条件大抵の場合、関数の最初で引数の値を検証する。コンストラクタ（またはそれに該当するもの）で検証することが多い。条件に違反する場合はエラーを返す。

契約による設計とは？事前条件恩恵として - 入力の不備による正しくないインスタンスが出来上がってしまうことを未然に防ぐことができる。 - ドメイン上で定義される正しい状態のインスタンスのみを作れることを保証できる。

契約による設計とは？事後条件関数やクラスが呼び出された後に満たすべき状態を指定し、使われる側が、使う側に対してこれだけは必ず守りますよということを示します。

契約による設計とは？事後条件関数やクラスを抜けるときに、返却値に対して守られていなければならない状態を確認する。条件に違反する場合はエラーを返す。

事前条件と事後条件の関係

事前条件と事後条件の関係雑に言うと「呼び出し側が事前条件を満たしてくれるなら、事後条件を満たす状態を実現することを約束するよ」ということ

事前条件と事後条件の関係なんらかのやりとりにおいて事前条件と事後条件を定義するということそのものに対して「契約」という言葉を使っている置き換えてイメージすると、顧客と提供者の関係において「こういうようにしてくれるなら、こうするよ」ってことを約束（契約）する感じ。 Client Supplier 事前条件を守る事後条件を守る

事前条件と事後条件の関係なんらかのやりとりにおいて事前条件と事後条件を定義するということそのものに対して「契約」という言葉を使っている置き換えてイメージすると、顧客と提供者の関係において「こういうようにしてくれるなら、こうするよ」ってことを約束（契約）する感じ。 Client Supplier 事前条件を守る事後条件を守る約束してる（契約してる）

まとめ - 使う側と使われる側での取り決めに対して「契約」という言葉を使っている - 契約を守れないなら、Fail Fastしよう - 事後条件が守られるのは事前条件が満たされているという前提に立っている - 事前条件が守られていなければ事後条件は守られず、表明（検証）する意
味がなくなってしまうため、その場合は関数やクラスの事前条件とセットで見直しましょう

お知らせ Meetyでカジュアル面談をやってます！転職関係ない話もウェルカムなのでお話しましょう

お知らせ VoicyでエンジニアのVoicyのエンジニアメンバーがテックニュースや日々の活動をお届けしています！私は水曜日に配信しています💡

契約による設計の「契約」とは何を指しているか

契約による設計の「契約」とは何を指しているか

natacon

More Decks by natacon

Other Decks in Programming

Featured

Transcript