as（型アサーション）を書く前にできること

TSKaigiKansai 2024

Transcript

1. クラスメソッド株式会社 TSKaigi Kansai 2024.11.16 as（型アサーション）を書く前にできること maroKanatani
2. Classmethod 自己紹介 　　　　Frontend Ops ...etc maroKanatani ソフトウェアエンジニア ほぼフロントエンドエンジニア Japan AWS All Certifications Engineer （2022~2024）
3. as 使ってますか？
4. TSのコードレビューをしていて感じること any の濫用はよくない という風潮はある程度広まってきた …しかし as の濫用については any ほど広まってなさそう 有効な場面もあるが、カジュアルに使われることも多い印象 （適切に使っている人には釈迦に説法な話かも） > 理解が浅い人が真似することで良くない使い方が割れ窓的に広がることがある
5. なぜ as の濫用は良くないのか コンパイラの挙動を上書きしてしまう コンパイラよりも型について理解している場合は as を用いても良い？ > 力には責任が伴う 潜在的に any と同様の副作用があるとも言える >（自分は理解しているつもりでも）チームの他のメンバーは違うかもしれない とはいえ全く使わないのは難しい > スコープを最小限に留める、コメントを書くなどして用法用量を守る あくまで「濫用」が良くない
6. こんなコード書いていませんか？
7. こんなコード書いていませんか？ いずれもサブタイプ関係にあるスーパータイプを サブタイプで型アサーションしているのが良くない
8. こんなコード書いていませんか？（修正版）
9. こんなコード書いていませんか？（修正版） 基本的にはちゃんと型ガードする
10. タグ付きユニオンを使ったリファクタ
11. タグ付きユニオンを使ったリファクタ 個別のプロパティをチェックするサンプルが多いが 判別用のプロパティを生やすのも場合によっては有効
12. zod を使った Scheme First なリファクタ
13. zod を使った Scheme First なリファクタ 型はスキーマから作成 パースする
14. インターフェース境界での as には要注意
15. インターフェース境界での as には要注意 role が string型に推論されるため as を使っている
16. インターフェース境界での as には要注意 role が string型に推論されるため as を使っている プロパティが増減した場合に 型エラーが発生しない
17. インターフェース境界での as には要注意（修正版）
18. インターフェース境界での as には要注意（修正版） 型制約をつける or satisfies を使う
19. as が必要な例
20. as が必要な例 result をミュータブルな オブジェクトとして扱っている 参考: 敗北者のTypeScript （https://qiita.com/uhyo/items/aae57ba0734e36ee846a） as が有効なスコープが最小限に留まっている
21. as を書く前に 型ガードや型制約、satisfiesで済ませられないか？ 必要になる根本的な原因は何か？ 割れ窓的に広がらないように必要に応じてコメントも書こう 実態に合わせてきちんとメンテすることで読み手側の負荷はきっと下がる その as はなぜ必要なのか？ 必要な場合はスコープを小さく 型はドキュメント
22. ご清聴ありがとうございました