Assertion Functions
JavaScriptの柔軟性を考えると、ランタイムチェックにコードを追加して
仮定を検証するというのは良い考えでしょう。
この検証を行うコードは一般的にアサーション(または不変条件)とよばれ、
変数が期待と一致しない場合に早期にエラーを発生させる
小さな関数です。
Nodeには標準でこれを行うための、assertと呼ばれる関数が付属しており、
インポートなしで使用することができます。
しかし、ここでは自前で定義してみましょう。
valueという式がtrueであることを
アサートする関数を次のように定義します:
declare function assert(value: unknown): asserts value;
// では、これを使用してEnumの型を検証してみましょう
declare const maybeStringOrNumber: string | number;
assert(typeof maybeStringOrNumber === "string");
maybeStringOrNumber;
function multiply(x: any, y: any) {
assert(typeof x === "number");
assert(typeof y === "number");
return x * y;
}
declare const oneOfFirstFiveNumbers: 1 | 2 | 3 | 4 | 5;
declare function isOdd(param: unknown): asserts param is 1 | 3 | 5;
declare function isBelowFour(param: unknown): asserts param is 1 | 2 | 3 | 4;
// これにより、Enumは次のように絞り込まれるはずです: 1 | 3 | 5
isOdd(oneOfFirstFiveNumbers);
oneOfFirstFiveNumbers;
// さらにこれにより、Enumの取りうる値は次のように切り取られます: 1 | 3
isBelowFour(oneOfFirstFiveNumbers);
oneOfFirstFiveNumbers;