アウトラインパラメータの正当性とは【どういうこと?】 メソッドは、パラメータとして渡される値に関して何らかの「制約」を持っている。【たとえば?】 インデックス値は、負であってはいけない。オブジェクト参照は、nullであってはいけない。【どうすれば?】 「制約」は、明確に文書化すべき。「制約」は、メソッド本体の初めに検査することで強制すべき。【どうして?】 エラーの発生する確率を事前に下げる。エラーが検出される可能性を高くする。エラーが発見された際、その原因の特定を容易にする。制約方法_例外発行【どういうこと?】 公開メソッドの場合、メソッドの先頭でパラメータの正当性を検査。制約を満たさない場合、その場で例外を発行。【どうして?】 エラーの発生場所を明確にするため。不正なパラメータのまま処理が行われると、想定外の例外が発生したり、誤った計算結果を返して、他の場所でエラーが発生してしまう。制約