Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
契約による設計の「契約」とは何を指しているか
Search
natacon
April 19, 2023
Programming
0
400
契約による設計の「契約」とは何を指しているか
natacon
April 19, 2023
Tweet
Share
More Decks by natacon
See All by natacon
"個"の集まりに"チームというフィクション"をデザインしてみた ― 認知とつながりが変わると、アウトカムの捉え方も変わる ―
natacon
0
69
Backend LT フェーズ変化、プロダクトの成長に伴う技術的変遷
natacon
0
140
課題解決ではなく、価値創造を求めるVoicyの開発チームの組織設計と立ち上げの勘所
natacon
5
1.5k
DDDにどう立ち向かう?リファクタリングのあれこれ
natacon
1
1.1k
DDD導入にどう立ち向かう? 開発現場への適用方法あれこれ②
natacon
1
450
DDD導入にどう立ち向かう? 開発現場への適用方法あれこれ①
natacon
1
340
Other Decks in Programming
See All in Programming
The Evolution of Enterprise Java with Jakarta EE 11 and Beyond
ivargrimstad
0
180
なぜ適用するか、移行して理解するClean Architecture 〜構造を超えて設計を継承する〜 / Why Apply, Migrate and Understand Clean Architecture - Inherit Design Beyond Structure
seike460
PRO
3
790
猫と暮らす Google Nest Cam生活🐈 / WebRTC with Google Nest Cam
yutailang0119
0
160
RailsGirls IZUMO スポンサーLT
16bitidol
0
190
PipeCDのプラグイン化で目指すところ
warashi
1
290
Claude Code + Container Use と Cursor で作る ローカル並列開発環境のススメ / ccc local dev
kaelaela
12
6.7k
ニーリーにおけるプロダクトエンジニア
nealle
0
890
TypeScriptでDXを上げろ! Hono編
yusukebe
3
650
型で語るカタ
irof
0
530
PHP 8.4の新機能「プロパティフック」から学ぶオブジェクト指向設計とリスコフの置換原則
kentaroutakeda
2
1k
Quand Symfony, ApiPlatform, OpenAI et LangChain s'allient pour exploiter vos PDF : de la théorie à la production…
ahmedbhs123
0
210
脱Riverpod?fqueryで考える、TanStack Queryライクなアーキテクチャの可能性
ostk0069
0
340
Featured
See All Featured
Designing Experiences People Love
moore
142
24k
How to Ace a Technical Interview
jacobian
278
23k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
181
54k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
31
2.4k
What’s in a name? Adding method to the madness
productmarketing
PRO
23
3.5k
Optimising Largest Contentful Paint
csswizardry
37
3.3k
Writing Fast Ruby
sferik
628
62k
Optimizing for Happiness
mojombo
379
70k
A designer walks into a library…
pauljervisheath
207
24k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
8
830
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
20
1.3k
Transcript
契約による設計の「契約」とは 何を指しているか 2023/04/18 株式会社Voicy 灘脇裕一 (@natacoon) Voicy Tech Bar
自己紹介 灘脇 裕一 Backend Engineer 機能開発チームリーダー スクラムマスター 2012.04 - HRTech
2020.07 - Voicy 本日はよろしくお願いします! @natacoon 好きなモノ: 服とねことスプラトゥーン 株式会社Voicy
本日のアジェンダ 事前条件と事後条件の関係 1 2 契約による設計とは?
契約による設計とは?
契約による設計とは?
契約による設計とは? Wikiより 「契約による設計」(DbC)における 中心的な概念は、クライアントとサプ ライヤの契約 (contract) である。
契約による設計とは? キーワード - 事前条件(preconditions) - 事後条件(postconditions) - 不変条件(class invariant)
契約による設計とは? 今日の焦点 - 事前条件(preconditions) - 事後条件(postconditions) - 不変条件(class invariant)
契約による設計とは? 事前条件 関数の引数が適切であることを保証し、バグや予期しない動作を未然に防ぐため に、関数が呼び出される前に守らないといけない条件のこと。
契約による設計とは? 事前条件 大抵の場合、関数の最初で引数の値を検 証する。 コンストラクタ(またはそれに該当する もの)で検証することが多い。 条件に違反する場合はエラーを返す。
契約による設計とは? 事前条件 恩恵として - 入力の不備による正しくないインスタンスが出来上がってしまうことを未 然に防ぐことができる。 - ドメイン上で定義される正しい状態のインスタンスのみを作れることを保 証できる。
契約による設計とは? 事後条件 関数やクラスが呼び出された後に満たすべき状態を指定し、使われる側が、使う側 に対してこれだけは必ず守りますよということを示します。
契約による設計とは? 事後条件 関数やクラスを抜けるときに、返却値に 対して守られていなければならない状態 を確認する。 条件に違反する場合はエラーを返す。
事前条件と事後条件の関係
事前条件と事後条件の関係 雑に言うと 「呼び出し側が事前条件を満たしてくれるなら、事後条件を満たす状態を実現するこ とを約束するよ」 ということ
事前条件と事後条件の関係 なんらかのやりとりにおいて事前条件と事後条件を定義するということそのものに対 して「契約」という言葉を使っている 置き換えてイメージすると、顧客と提供者の関係において「こういうようにしてくれ るなら、こうするよ」ってことを約束(契約)する感じ。 Client Supplier 事前条件を守る 事後条件を守る
事前条件と事後条件の関係 なんらかのやりとりにおいて事前条件と事後条件を定義するということそのものに対 して「契約」という言葉を使っている 置き換えてイメージすると、顧客と提供者の関係において「こういうようにしてくれ るなら、こうするよ」ってことを約束(契約)する感じ。 Client Supplier 事前条件を守る 事後条件を守る 約束してる(契約してる)
まとめ - 使う側と使われる側での取り決めに対して「契約」という言葉を使っている - 契約を守れないなら、Fail Fastしよう - 事後条件が守られるのは事前条件が満たされているという前提に立っている - 事前条件が守られていなければ事後条件は守られず、表明(検証)する意
味がなくなってしまうため、その場合は関数やクラスの事前条件とセット で見直しましょう
お知らせ Meetyでカジュアル面談をやってます! 転職関係ない話もウェルカムなのでお話しましょう
お知らせ VoicyでエンジニアのVoicyのエンジニアメンバーが テックニュースや日々の活動をお届けしています! 私は水曜日に配信しています💡