🚧any vs unknown

any, unknown型はどのような値も代入できます。

typescript
const any1: any = null;
const any2: any = undefined;
const any3: any = true;
const any4: any = 0.8;
const any5: any = "Comment allez-vous";
const any6: any = {
  x: 0,
  y: 1,
  name: "origin",
};
const unknown1: unknown = null;
const unknown2: unknown = undefined;
const unknown3: unknown = true;
const unknown4: unknown = 0.8;
const unknown5: unknown = "Comment allez-vous";
const unknown6: unknown = {
  x: 0,
  y: 1,
  name: "origin",
};

typescript
const any1: any = null;
const any2: any = undefined;
const any3: any = true;
const any4: any = 0.8;
const any5: any = "Comment allez-vous";
const any6: any = {
  x: 0,
  y: 1,
  name: "origin",
};
const unknown1: unknown = null;
const unknown2: unknown = undefined;
const unknown3: unknown = true;
const unknown4: unknown = 0.8;
const unknown5: unknown = "Comment allez-vous";
const unknown6: unknown = {
  x: 0,
  y: 1,
  name: "origin",
};

ちなみに逆の概念としてどの値も代入できないneverという型もありますが、今回は説明を省きます。

any型に代入したオブジェクトのプロパティ、メソッドは使用することができます。

typescript
console.log(any4.toFixed());
// -> 1
console.log(any5.length);
// -> 18
console.log(any6.name);
// -> 'origin'

typescript
console.log(any4.toFixed());
// -> 1
console.log(any5.length);
// -> 18
console.log(any6.name);
// -> 'origin'

一方、unknown型に代入したオブジェクトのプロパティ、メソッドは使用することができません。使用できないどころか、実行することができません。

typescript
console.log(unknown4.toFixed());
// Object is of type 'unknown'.
console.log(unknown5.length);
// Object is of type 'unknown'.
console.log(unknown6.name);
// Object is of type 'unknown'.

typescript
console.log(unknown4.toFixed());
// Object is of type 'unknown'.
console.log(unknown5.length);
// Object is of type 'unknown'.
console.log(unknown6.name);
// Object is of type 'unknown'.

これだけ見るとunknown型よりもany型の方が優れていると思われるかもしれませんがそうではありません。any型は言い換えればTypeScriptが型のチェックを放棄した型であり、そのためなんでもできます。any型を使うということはTypeScriptでせっかく得た型という利点を手放しているのと同じです。

これでは存在しているエラーはコンパイル時には気が付けず、ソフトウェアをリリースしたあと実際のユーザーが使ったときに実行時エラーとなります。それが不具合報告や、クレームとなり、被害が拡大していきます。

any型に関しては、次のような無茶なコードもTypeScriptは一切関与せず、実行してみてプログラムが実行時エラーになる、初めてこのプログラムが不完全であることがわかります。

typescript
console.log(any6.x.y.z);
// Cannot read property 'z' of undefined

typescript
console.log(any6.x.y.z);
// Cannot read property 'z' of undefined

unknown型は一貫してTypeScriptがプロパティ、メソッドへのアクセスを行わせません。そのため実行することができず、意図しないランタイム時のエラーを防止します。

typescript
console.log(unknown6.x.y.z);
// Object is of type 'unknown'.

typescript
console.log(unknown6.x.y.z);
// Object is of type 'unknown'.

TypeScriptのプロジェクトを作る時に必要なtsconfig.jsonにはこのany型の使用を防ぐためのオプションとしてnoImplicitAnyがあります。既存のJavaScriptのプロジェクトをTypeScriptに置き換えていくのではなく、スクラッチの状態からTypeScriptで作るのであればこの設定を入れるとよいでしょう。