【やさしく解説 設計編・中級 #3】形はあっていたのに ～ 形に書けない約束の話 ～

【やさしく解説 設計編・中級 #3】形は合っていたのに

ある配車アプリに、タクシー会社が何社も加盟していました。取り決めは一つ。
すべての加盟会社は、「空車の照会」に答えること。

そこへ、ある会社が新しく加盟しました。
　インターフェースの検査はすべて通過、接続試験のテストも緑。

リリース後、配車センターから電話が鳴ります。
　「予約は入っていないのに、空車が減っていくんですが」

テストは、ぜんぶ通っていたのに。なぜ壊れたのでしょうか。

その『なぜ』につく名前が、リスコフの置換原則（LSP）です。
SOLIDの「L」。

けれど形の検査は、この症状を止められませんでした。
検査がチェックできるものと、破られたものが、違うからです。

持ち帰りは一問だけ。
「そのプラグ、形は合っていても、約束を守っていますか？」

SOLIDを原則からではなく、事例から読み直す中級シリーズ（全6回）の第3回です。

---

# ご紹介したスライド
和田卓人「技術選定の審美眼 / Understanding the Spiral of Technologies」
`https://speakerdeck.com/twada/understanding-the-spiral-of-technologies`

# ご紹介したポッドキャスト

「リファクタリングとともに生きるラジオ」第62回（lacolacoさん・okunokentaroさん）。
https://refactoradio.com/episode/062

---
※本編にて、「ドメイン」とは、「駆動」とは、を解説しています。中級編の前にどうぞ

【やさしく解説 設計編 #0】DDDのコード、読めるのに分からない人へ
https://speakerdeck.com/panda728/yasasikujie-shuo-she-ji-bian-number-0

ｰｰｰ
【やさしく解説 設計編・中級 】目次
#1 一つの車に、運転手は一人 ～ ある倉庫システムの事例から ～
　キーワード：`SOLID` `単一責任の原則（SRP）` `アクター`
https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-1

#2 使わないボタンだらけのリモコン ～ となりの変更で、うちのビルドが赤くなる話 ～
　キーワード：`SOLID` `インターフェース分離の原則（ISP）`
https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-2

#3 【やさしく解説 設計編・中級 #3】形はあっていたのに ～ 形に書けない約束の話 ～
　キーワード：`SOLID` `リスコフの置換原則（LSP）` `事前条件、事後条件、不変条件`
https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-3

#4 ルールの寿命と、システムの年輪 ～ 月曜の朝の、一通の通知から ～
　キーワード：`SOLID` `依存性逆転の原則（DIP）` `安定依存`
https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-4

#5 なぜ「足すだけ」が、「足すだけ」で済まないのか～ ボタンひとつの依頼から ～
　キーワード：`SOLID` `開放閉鎖の原則（OCP）`
https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-5

#6 良いアーキテクチャとは ～ 一本の登り道の、行き先 ～
　キーワード：`SOLID` `クリーンアーキテクチャ`
https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-6

※ 7/17 目次およびスライド間のリンクを調整

Transcript

1. 形は合っていたのに 【やさしく解説 設計編・中級 #3】形に書けない約束の話 2026.07 北尾　英之 (@kitaohx) 1
2. 前回のふりかえり 前回は、一枚の盤（インターフェース）に、使い手が大勢いる症状を見ました。 今日は、盤の裏側に、実装をつなげるときの話です。 前回（中級#2）はこちら https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-2 ま え お き 2
3. 舞台はヨーロッパ旅行です 日本の家電を持って、ヨーロッパへ。 コンセントの差込口の形が違うので、 　空港で変換プラグを買って、宿で使いました。 形はぴったり合い、プラグは気持ちよく挿さります。 そして…… ま え お き 3
4. 家電が、燃えました 形は、完璧に合っていたのに…… （※フィクションです） 症 状 4
5. 形は合っていたのに、 なぜ壊れたのでしょうか？ 少しの間、想像してみてください。 5
6. 変換プラグが変換するのは、形だけ 日本の家電は 100ボルトの約束 で作られていて、 　ヨーロッパの壁からは230ボルトが来る。 差込口の「形」は守られていましたが、 　電圧という「中身の約束」が破られていた。 解 剖 6
7. 形が合うことと、約束を守ることは、別です 今回の話は、この一点がすべてです。 解 剖 7
8. コードの世界の事例 ある配車アプリには、タクシー会社が何社も加盟しています。 アプリと各社のシステムの間には、共通の差込口（インターフェース）が一つ。 すべての加盟会社は、 空車の照会 に答えること。 行き先を入れると、アプリは各社に空車を照会し、 　運賃と到着時刻を並べて表示します。 利用者はそれを見比べて、一社を選びます。 症 状 8
9. 新しい会社が加盟しました 長年、電話と無線で同じ業務をしてきた会社です。 　共通の差込口「空車を照会する」を実装し、 　接続試験はすべて通りました。 症 状 9
10. 夕方には、空車がゼロに 業務が始まると、なぜか、この会社だけ 　誰も乗せていないのに、空車が減っていきます。 電話と無線の業務では、 「5分で行けます」と答えるのはお客さんへの約束です。 　だから、答えたその場で、車を待たせていました。 いつもの業務ルールが、そのままコードに写っていました。 症 状 10
11. 作った人は、悪者ではありません 新しく加盟した会社は、自身の業務ルールどおりに作りました。 しかし「照会」が、境界の両側で別の意味を持っていたのです。 加盟会社の世界では、「答えたら車を待たせる」が常識でした。 常識とは、自分の世界では書く必要のなかった約束のことです。 配車アプリ側の常識も、約束には書かれていませんでした。 解 剖 11
12. 約束を試験に乗せる 接続試験に、一行足します。 『同じ照会を二度送ったら、同じ答えが返ってくること。 』 照会が車を押さえていれば、二度目の答えが変わって、ここで捕まります。 次の会社が加盟しても、 この約束は、試験で確認できます。 処 置 12
13. この症状には、名前がついています リスコフの置換原則（LSP） 。 SOLIDの「L」です。 派生型は、基底型として使う側のコードを壊すことなく、 基底型と置き換え可能でなければならない。 この回の言葉で言えば、派生型が盤の裏につながる側、基底型が盤そのものです。 命 名 13
14. 燃えた家電と、配車アプリは、同じ症状です 盤の裏につながる側は、「形」だけでなく、 「書かれていない約束」まで引き受けます。 命 名 14
15. 前回までの原則と、あわせてみます SRP：一つの車に、運転手は一人だけ ISP：一枚の盤に、使い手は一人だけ LSP：盤の裏で誰が応えても、約束はそのまま 駆動する側、操作する側。そして今日は、応える側の番です。 （前回の盤も、今日の差込口も、コードでは同じインターフェースです。 ） 命 名 15
16. 形に書けない約束 「入力は、この範囲で渡すこと」 「この操作のあと、状態はこうなっている」 「この操作は、他の値を変えない」 エディタの「定義へ移動」を押しても、この三つは出てきません。 　出てくるのは、形（引数と戻り値の型）まで。 LSP違反とは、形の検査だけ通過して、これらの約束を破ること。 解 剖 16
17. 約束には、名前がついています 呼ぶ側を「顧客」 、応える側を「供給者」と呼びます。 名前 誰の約束か いつ成り立つか 事前条件 顧客（アプリ）が満たす 呼ぶ前に 事後条件 供給者（加盟会社）が満たす 応えたあとに 不変条件 供給者が守る 常に 形（インターフェース） に、書けない約束が三種類ある。 配車アプリでも、燃えた家電でも、破られたのは二行目でした。 解 剖 17
18. この約束は、誰のものか ぜんぶ、盤 のものです。 　加盟会社のものでも、配車アプリのものでもありません。 盤の裏につないだ瞬間、 　盤の世界の約束を、まるごと引き受けています。 解 剖 18
19. 形が守れるのは、形に書ける約束まで 形は、強い守り方です。合わない差込口には、そもそも挿さらない。 形であれば、誰の注意力にも頼らず、新人でも寝不足でも、間違えられません。 逆に、形に書けない約束を守れるのは、張り紙だけ。 　読まれないと、働かない言葉です。 これは、張り紙に任せるしかないのでしょうか。 解 剖 19
20. テストとは、機械に読ませる張り紙 約束をテストコードに書く。 すると、読む係を人間からCI（自動ビルド）にできます。 CIは疲れません。忘れません。急ぎません。退職しません。 新しい会社が加盟するたび、同じ張り紙を、読み直します。 処 置 20
21. まとめ：張り紙の弱点は、 　読み手の注意力を燃やすこと 形で守れない約束は、誰かが張り紙を読む必要があります。 約束 守り方 読む係 形に書ける 形 誰も読まなくてよい 形に書けない 機械の張り紙（テスト） CI それでも残る 人間の張り紙 注意力（貴重な資源） テストがあれば、人の注意力は、いちばん下の行に集中できます。 処 置 21
22. そのプラグ、形は合っていても 約束を守っていますか？ 今日の持ち帰りは、この一問だけです。 22
23. 今週、どこかで試してみて 手元のコードで、裏に実装が並んでいる盤 　 （インターフェースや親クラス）を、一枚選んでください。 その盤の、書かれていない約束を、ひとつ言葉にしてみます。 「呼んでも、何も動かさない」 「例外を投げない」 「どんな値でも受ける」 その約束を書いた張り紙（テストコード）がなければ、 そこが「すり抜けられる」場所です。 次に盤の裏につながる実装は、そこを通ってきます。 や っ て み よ う 23
24. （寄り道）原則が生まれた時代の話 40年ちかく前。オブジェクト指向の三本柱は、 　カプセル化、継承、ポリモーフィズム。 なかでも主役は継承。誰もが、子を親の代わりに使い始めた時代です。 　便利で、ときどき壊れました。 現代では、継承は主役ではなくなりました。さらに継承を持たない言語まで。 では、この原則も古びたのでしょうか。 よ り み ち 24
25. 古びません 盤の裏の顔ぶれは、今も入れ替わり続けるからです。 　例：新しい会社が加盟する。テストがモック（身代わり）を立てる。 和田卓人さんの言葉を借りれば、 技術は「振り子」ではなく、 　同じところに戻ってきたように見えて 　一段上がっている「螺旋」である。 よ り み ち 25
26. 次回も、事例から始めます 次回（中級 #4）：ルールの寿命と、システムの年輪 https://speakerdeck.com/panda728/yasasiku-sekkei-2-number-4 舞台は、月曜の朝の、一通のバージョンアップ通知です。 26
27. この回が借りたもの リスコフの置換原則（LSP） 原型はバーバラ・リスコフによる型階層の議論（1987年の講演に由来） 。 本文の定式化は下記を参照しています。 ロバート・C・マーティン著、角征典・高木正弘訳 『Clean Architecture 達人に学ぶソフトウェアの構造と設計』KADOKAWA、2018年 https://www.kadokawa.co.jp/product/301806000678/ 配車サービスという舞台 『Clean Architecture』第9章の、タクシー配車サービスの例に着想を得ています。 空車照会と仮押さえの症状の物語、登場する会社は、本連載のフィクションです。 引 用 元 27
28. この回が借りたもの 事前条件・事後条件・不変条件（契約による設計） バートランド・メイヤーが提唱した考え方です。 用語の初出は1986年の技術報告。 Object-Oriented Software Construction（初版1988・第2版1997）で体系化。 "Applying 'Design by Contract'", IEEE Computer, 1992。 https://dl.acm.org/doi/10.1109/2.161279 引 用 元 28
29. この回が借りたもの 螺旋という語りかた 和田卓人「技術選定の審美眼 / Understanding the Spiral of Technologies」 （初演は Developers Summit 2018。以後、改訂を重ねて語り直されています） 。 螺旋のたとえを借りています。 https://speakerdeck.com/twada/understanding-the-spiral-of-technologies きっかけをくれたポッドキャスト 「リファクタリングとともに生きるラジオ」第62回（lacolacoさん・okunokentaroさん） 。 継承が主役でなくなっても振る舞いの置換可能性は残る、という視点と、 配車サービスの例への注目は、この回から得た着想です。 https://refactoradio.com/episode/062 変換プラグのたとえ、「機械に読ませる張り紙」 本連載のたとえです。旅と家電の事例はフィクションです。 引 用 元 29