お馴染みのネタかもしれないけれど、自分なりに調べたことをまとめておく
課題
配列からnullableな値を除去するために、filterメソッドを使用するケース。
返り値の型情報が、(string | number)[]となって欲しいところだが、(string | number | null)[]と推論されてしまう
const nullableArray = ["ほげほげ", null, "ふぁふぁ", null,100];
const filteredArray = nullableArray.filter((item) => {
return item !== null
})filterの型定義は下記のようになっていた。返り値がT[]、つまりfilterメソッドの第一引数で渡したコールバック関数の第一引数に入る値の型配列になる。この型をみると、nullableな値を取り除いた型にならないことがわかる
filter(predicate: (value: T, index: number, array: T[]) => unknown, thisArg?: any): T[];(GitHubのissueでも見つけたけど、全て追えていない・・・)
asを使う
const nullableArray = ["ほげほげ", null, "ふぁふぁ", null ,100];
const filteredArray = nullableArray.filter((item) => {
return item !== null
}) as (string | number)[](安易にasを使用することで型安全とは言えなくなってしまうのでできる限り避けたい…)
ここで敗北者のTypeScriptの一文を引用します。
敗北者のTypeScript https://qiita.com/uhyo/items/aae57ba0734e36ee846a
- TypeScriptで
--strictを使わない人や、anyとかasを濫用する人は敗北者です。- これらを使っていいのはあなたがTypeScriptよりも賢くて真にそれが必要だと分かっている場合だけです。
isを使う
const nullableArray = ["ほげほげ", null, "ふぁふぁ", null, 100];
const filteredArray = nullableArray.filter((item):item is string => {
return item !== null
}) is演算子で型ガードを行い、(string | number)[]に絞り込む
ユーザー定義型ガードによる解決と型安全性 で指摘されている通り、実装が正しいかのチェックまでは行えないため下記のような実装をしてしまった場合、意図しない挙動を孕む危険性が高まる
const nullableArray = ["ほげほげ", null, undefined, null, 100];
const filteredArray = nullableArray.filter((item):item is string => {
return item !== null
}) // (string | number)[] だけど実際にはundefinedも存在しているまたユーザー定義の型ガードでいうとNonNullableというユーティリティ型を使用することもできる
const nullableArray = ["ほげほげ", null, null, null, 100];
const filteredArray = nullableArray.filter((item):item is NonNullable<typeof item> => {
return item !== null
}) // (string | number)[] どちらにせよ実装を保証するテストも一緒にあると安全に近づくと言えそう。。。
flatMapを使う
flatMapを使い、nullableな値であれば空配列を返すようにする。flatMapは最終的に配列内を平坦化したもの返却してくれるので下記の例だと (string | number)[] となる。
const nullableArray = ['ほげほげ', null, null, null, 100];
const filteredArray = nullableArray.flatMap((item) => {
return item ?? [];
}); // (string | number)[] 【TypeScript】配列の型を絞り込むときはflatMapがおすすめ
コメント