{
  "$type": "site.standard.document",
  "canonicalUrl": "https://blog.nove-b.dev//posts/ad-unknown-as",
  "description": "unknwonの謎を調べてみた",
  "path": "/posts/ad-unknown-as",
  "publishedAt": "2024-10-27T03:00:00.000Z",
  "site": "at://did:plc:2atly2y5kfyjcj5zap6pv4wd/site.standard.publication/3mmxeqr2tcb2k",
  "tags": [
    "TypeScript",
    "unknown",
    "型アサーション"
  ],
  "textContent": "as unknown as ?\n\nas soon asは「できるだけ早く」で、中学生の時、喉が擦り切れるほどむやみに連呼していた記憶がある。\n\nおかげさまで、この意味を30歳超えても忘れていない。\n\nだが、as unknown asは知らなかった。\n\nそもそもunknownってなに？\n\nunknownは型が分からないときに使用するらしい。\n\nつまりそれってanyではと思うし、間違っていない。\n\nその両方ともどのような値も代入することができる。\n\nサバイバルTypeScriptからの引用。\n\n違いは型チェックをするしないかという点らしい。\n\nつまりanyを使用するとはコンパイル時には気が付けないのに対し、unknown型は一貫してTypeScriptがプロパティ、メソッドへのアクセスを行わせない。結果的にコンパイルを実行することができず、意図しないランタイム時のエラーを防止することができる。\n\n例えば、下記コードでは'unknownValue' is of type 'unknown'.というエラーが出る。\n\nanyよりも厳格な型らしいので、unknownを使ったほうが良いのだろうか。\n\nunknownは理解した、ではas unknown asはなに\n\nちなみにこの構文(as ○○ as)のことを型アサーションっていうらしい。\n\n> TypeScriptには、型推論を上書きする機能があります。その機能を型アサーション (type\n> assertion)と言います。\n>\n> TypeScriptコンパイラーはコードをヒントに型を推論してくれます。その型推論は非常に知的ですが、場合によってはコンパイラーよりもプログラマーがより正確な型を知っている場合があります。そのような場合は、型アサーションを用いるとコンパイラーに型を伝えることができます。型アサーションはコンパイラに「私を信じて！私のほうが型に詳しいから」と伝えるようなものです。\n\nただ、型アサーションを使用してもコンパイルエラーが出るときがある。\n\n例えば、\n\nこれは\n\nというエラーが出る。\n\nこれはnumber型をstring型にするのは間違いです。お互いの型に共通する部分が少なすぎるからですというエラーらしい。\n\nTypeScriptは無茶な上書きはできないように設計されているのだが、それでも自分の書いた型アサーションが正しいという場合は\n\nこのように一度unknown型を経由することエラーを出さずに型推論を上書きすることができる。\n\nサバイバルTypeScriptの警告\n\n最後に参考にしたサバイバルTypeScriptに教訓が載っていたのでそのまま載せておく。\n\n大いなる力には大いなる責任が伴う\n\n型アサーションには、コンパイラーの型推論を上書きする強力さがあります。そのため、プログラマーは型アサーションによってバグを産まないように十分注意する必要があります。型に関することはできるだけ、コンパイラーの型推論に頼ったほうが安全なので、型アサーションは、やむを得ない場合にのみ使うべきです。\n\n型アサーションを使う必要が出てきたら、それよりも先に、型ガードやユーザー定義型ガードで解決できないか検討してみるとよいでしょう。",
  "title": "TypeScriptで一回unknwonに変換するのはどういう意味があるのか"
}