LogicException と RuntimeException の、子クラスの関連

Logic	Runtime	意味
Domain	Range	変数が、事前に定義された範囲から逸脱してる。
Out Of Range	Out Of Bounds	無効なインデックス、キー。
Invalid Argument	Unexpected Value	関数側か、関数の呼び出し側か。
Length	Overflow / Underflow	すでに長さが変だった / 操作したら長さが変になる。

説明	Logic	Runtime	説明	共通してそうなもの
a value does not adhere to a defined valid data domain.	Domain	Range	indicate range errors during program execution. Normally this means there was an arithmetic error other than under/overflow.	変数が、事前に定義された範囲から逸脱してる。
when an illegal index was requested.	Out Of Range	Out Of Bounds	if a value is not a valid key.	無効なインデックス、キー。
xxx	Invalid Argument	Unexpected Value	xxx	関数側か、関数の呼び出し側か。
if a length is invalid.	Length	Overflow / Underflow	xxx	すでに長さが変だった / 操作したら長さが変になる。

Domain と Range

単純に、Logic Exception か Runtime Exception か。

Domain は「事前に定義されたドメインデータ」に含まれない、という例外。
Range は「事前に定義された境界が明確なデータの範囲」から逸脱する、という例外。

RangeException の説明に「アンダーフローやオーバーフロー以外の計算エラーが発生した」とあるので、「なにか操作をしようと思ったら変だった（Domain）」「なにか操作をしたら、変になった（Range）」と言い換えることもできる。
（「ドメインデータに含まれない」は、「使おうと思ったらデータがおかしかった」と言い換えることができるので。）

Domain と Range が同じ意味合いで対応するという話は、RangeException の説明に「これ（RangeEaception）は実行時版の DomainException です」とあるので確定。

OutOfRange と OutOfBounds

単純に、Logic Exception か Runtime Exception か。

TypeScript の場合、「コンパイル時に検出」は型定義でできるので、Out of Range は使用する機会がない。

Valid な値が、列挙するのが馬鹿らしいほどの数がある場合に使う例外。
データを列挙できるかできないか？という点で、Domain/Range と OutOfRange/OutOfBounds を使い分ける。（という使い分けでいいのか？）

OutOfRange は、配列やタプルに対して、インデックス（ほとんどの場合で自然数）に入っているデータが決まっている場合に、未定義な場所を参照しようとして発生する Null Pointer Exception 的なものだと思う。
例えば foo: [string, number, string] というタプルにおいて foo[5] とアクセスした場合に OutOfRange になる。
で、PHPではタプルを型定義できないけれど、タプルの不整合はコンパイル時に検出可能なので（例TypeScript の場合は例の通り）、ドキュメントに書かれている通り「コンパイル時に検出できる」。

OutOfBounds は、配列やタプルではなく、連想配列や Map に対して、使おうとしたキー名が Invalid な場合に発生する。

InvalidArgument と UnexpectedValue

Invalid Argument は呼び出された関数側で throw する。
普通に引数の Validation したときに Invalid なら投げる。

Unexpected Value は関数を呼び出した側で throw する。
関数を呼び出して戻ってきた値が意図した通りになっているかを確認する用途。

例えば https://github.com/sebastianbergmann/diff/blob/master/tests/Utils/UnifiedDiffAssertTrait.php みたいなやつ。

フォームから送られてきた「セレクトボックスやラジオボタンで選んだ値」の改ざんのときは、 DomainException でもいいんじゃね？

そもそも Validation の文脈で例外を投げようっていう発想がダメ

~~そもそも Domain か OutOfBound で迷ってる時点でおかしいんじゃね？~~

いまは、フロントエンドが実装をミスってる可能性もあるので、「一応確認してくれ」という意図で、Domain Exception にしておくのでもいい気がしている。

まぁ、サーバサイドから見たら「外部から来たデータ」であることに変わりはないので、LogicException は不適切なので、Out Of Bounds にしよう派なので、自分で実装するときは Out Of Bounds にするけど。

JavaScript の Error 3種類と、PHP の Exception の対応について

JavaScript には、PHP の例外のような使い方をする（と思われる） Error が3つある。

これらは、もしかして PHP の Domain/Range OutOfXxx InvalidXxx のそれぞれに対応するんじゃね？と思ったりした。

ただし、 ReferenceError は Undefined な変数にアクセスしようとした場合の話であって、オブジェクトの Undefined なキーではない（はず）なので、PHP で言うところの Error レベルの話で、Exception と対比させるのは間違いかもしれない。

PHP Exception	JavaScript Error	意味
~~`Domain` `Range`~~	~~`Reference`~~	~~おそらく列挙できるので。ほんとは変数の話だから、 `RangeError` と見るべきかもしれない。~~
`OutOfRange` `OutOfBound`	`Range`	まぁ、普通に範囲エラーだよな。
`InvalidArgument` `UnexpectedValue`	`Type`	用途的に考えて同じ。

処理フロー順で発生しそうな順番を考えてみる

受け取った変数の型がおかしい: InvalidArgument :Logic
変数の Length がおかしい: Length :Logic
必要なインデックスがない: OutOfRange :Logic
その他、なにかが明らかにおかしい: Domain
（なにか処理）
必要なキーがなかった: OutOfBounds
Length がおかしくなった: Overflow Underflow
その他、なにかが明らかにおかしくなった: Range
関数呼び出し側でのみ知りうる情報と照らし合わせて、戻ってきた値がなにかおかしい: UnexpectedValue

こうやってみると、 Length や Domain になっているものがなぜ InvalidArgument ではないのか？という疑問が出そう。
Length や Domain は InvalidArgument のより具体的な例外って扱いなのかな？

Domain/Range は、コンパイル時に検出可能・不可能って話をしているのだから、意味的には同じになるけれど、実装レベルでは全然違うタイミングになる、みたいなアレはあるかも？わからん

継承関係を再整理すると、こうなるんじゃね？

付録

PHP の Error/Exception の継承関係のクラス図

生成元の Plant UML のソースはこちら。