More than 3 years have passed since last update.

SOLID原則：パッと見で分かる(思い出せる)よう図解しとく

Last updated at 2020-08-01Posted at 2020-07-23

はじめに

今更ながらSOLID原則についてちゃんと押さえておくべく。（日頃無意識でやれてる所とやれてない所あると思い）

文章とかコード書いといても、後で見返した時に”読まないといけない”のは個人的に辛いので、パッと見で思い出せるように簡単な例をクラス図で描いておきたかったので記す。

SOLID原則

保守性を高めて管理しやすいコードを書くための知見と言う名の原則

S (SRP:単一責任の原則）

クラス（やモジュールやメソッド等）に任せる仕事（負わせる責任）は１つに限定すべし
- 単一の相手（アクター）に対する責任だけ負わせる（ように適切に分割）
- それにより、相手（アクター）に対して露出する知識を適切に絞り、変更時の影響範囲を最小限に抑える
- 絞ることで、仕様変更によりクラスを修正する際、変更理由は常に同じになる（１つに限定される）
  - 変更理由が２つ以上になるなら機能を分けるべし

Example1

※この原則で言いたいことと多少ずれているが大きく外れているわけでもないためあえて残す

とあるサービスのアクターとアクターが行える操作が
- ユーザ(サービス利用者)
  - データの参照：readData
- オペレータ(サービス運用者)
  - データの参照：readData
  - データの更新：updateData

だったとして
※あくまで登場人物と操作にのみ着目。それ以外も意識すると簡潔な例で済まないので除外

NG例

ユーザに updateData は許可してないのに、外から見たら許容してるように見える
ユーザの情報管理、オペレータの情報管理、データ操作と複数の仕事を担う＝変更理由も対応して複数になる

OK例

（Utilレベルの共通コードを除いて）単一の相手（アクター）に対する責任に

Example2

アクター：各アクターが使用するメソッド
- 個人：calculateAmount
- 企業/組織：report
- 管理者：fixedAmount

だったとして

NG例

アルゴリズムの共有はNG
- report()から行われる一連の処理を修正する必要がなく、calculateAmout()から行われる一連の処理修正のために、calculateHour()を修正すると、report()に影響が出る（NG）

OK例1

Facadeパターンでアクター別に処理を分けつつ委譲する。

OK例2

O (OCP：オープン/クローズドの原則）

主に機能追加に関する原則

機能追加の為に(クラス等の)責任を修正すべきではない（クローズド）
機能追加を(クラス等の)修正で行うのではなく拡張で行うべき（オープン）

Example

修正前：csvファイルの読み書きのみ行っていた
修正後：jsonファイルの読み書きもできるようにしたい

修正前が以下として

NG例

OK例

※他原則を考慮すると、実はこれでOKとは言い難いので
　　⇒ 良い例：「D (DIP：依存性逆転の原則)」参照されたし

L (LSP：リスコフの置換原則)

とあるクラスの派生型であるサブクラス(もしくはインターフェースの実装クラス)を使用する際、型はスーパークラス（もしくはインターフェース）で置換可能でなければならない。
- 継承したクラスは、継承元クラスと同じ動作をしなければならない
サブクラス（もしくはインターフェース実装クラス）の実体を使う側では意識するような作り込みはNG
- コード上でクラスの型チェックをしているなら、この原則に違反している

Example1

NG例

継承したサブクラスと継承クラスでメソッドの戻り値の型が異なるとか。
（静的型付けだと、そもそも起きないが）

参考記事参照されたし：SOLID原則について簡単に書く - リスコフの置換原則

Example2

NG例

function test() {
  const processor = new Printer();
  processor.run();
  processor.print();
}

↓ 型をスーパークラスで置換できない

function test() {
  const processor: Processor = new Printer();
  processor.run();
  // processor.print(); エラーになる

  // 以下のように無理やり変更できるが、OCP違反にもなる
  if (processor instanceof Printer) {
    processor.print();
  }
}