TypeScriptにおいて、型ガード関数[1]を定義する際に実は避けた方が良い型注釈のパターンがあることが分かったので、その覚書です。 本記事は執筆時点で最新の TypeScript 5.3.2 での動作を基に書いています。 isAbortError 関数の例 例として、以下のような型ガード関数 isAbortError の戻り値型のアノテーションが適切かどうかを考えます。 const isAbortError = (a: unknown): a is Error => a instanceof Error && a.name === 'AbortError';
![TypeScriptの型ガード関数を定義する際に避けるべきパターン覚書](https://cdn-ak-scissors.b.st-hatena.com/image/square/0a59bbdd60d93ee8acd07456734671e2cc9f7ca7/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--2-A4nLNi--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3ATypeScript%2525E3%252581%2525AE%2525E5%25259E%25258B%2525E3%252582%2525AC%2525E3%252583%2525BC%2525E3%252583%252589%2525E9%252596%2525A2%2525E6%252595%2525B0%2525E3%252582%252592%2525E5%2525AE%25259A%2525E7%2525BE%2525A9%2525E3%252581%252599%2525E3%252582%25258B%2525E9%25259A%25259B%2525E3%252581%2525AB%2525E9%252581%2525BF%2525E3%252581%252591%2525E3%252582%25258B%2525E3%252581%2525B9%2525E3%252581%25258D%2525E3%252583%252591%2525E3%252582%2525BF%2525E3%252583%2525BC%2525E3%252583%2525B3%2525E8%2525A6%25259A%2525E6%25259B%2525B8%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3AHideaki%252520Noshiro%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9saDMuZ29vZ2xldXNlcmNvbnRlbnQuY29tL2EtL0FPaDE0R2hIODg5WTZNWGM4YUZJb1M0dDl0Nm4tTWloS3pocGMyNXNtQ3BTSWc9czk2LWM%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)