object、Object、{}の違い

TypeScriptではオブジェクトの型注釈をするとき、プロパティの型まで指定するのが一般的です。

typescript
let obj: { a: number; b: number };

typescript
let obj: { a: number; b: number };

そういった一般的な型注釈とは異なり、プロパティの型を指定せず、ざっくり「オブジェクトであること」を型注釈する方法もあります。object型やObject型、{}型を使うものです。

typescript
let a: object;
let b: Object;
let c: {};

typescript
let a: object;
let b: Object;
let c: {};

これらはどれもオブジェクト型の値ならどんなものでも代入可能になる型です。

typescript
const a: object = {}; // OK
const b: Object = {}; // OK
const c: {} = {}; // OK

typescript
const a: object = {}; // OK
const b: Object = {}; // OK
const c: {} = {}; // OK

object型、Object型、{}型の違い

object型やObject型、{}型の3つは類似する部分がありますが、object型と他の2つは異なる点があります。

object型

object型はオブジェクト型の値だけが代入できる型です。JavaScriptの値はプリミティブ型かオブジェクト型かの2つに大分されるので、object型はプリミティブ型が代入できない型とも言えます。

typescript
let a: object;
a = { x: 1 }; // OK
a = [1, 2, 3]; // OK。配列はオブジェクト
a = /a-z/; // OK。正規表現はオブジェクト
// プリミティブ型はNG
a = 1; // NG
a = true; // NG
a = "string"; // NG

typescript
let a: object;
a = { x: 1 }; // OK
a = [1, 2, 3]; // OK。配列はオブジェクト
a = /a-z/; // OK。正規表現はオブジェクト
// プリミティブ型はNG
a = 1; // NG
a = true; // NG
a = "string"; // NG

Object型

Object型はインターフェースです。valueOfなどのプロパティを持つ値なら何でも代入できます。したがって、Object型にはnullやundefinedを除くあらゆるプリミティブ型も代入できます。文字列型や数値型などのプリミティブ型は自動ボックス化により、オブジェクトのようにプロパティを持てるからです。

typescript
let a: Object;
a = {}; // OK
// ボックス化可能なプリミティブ型OK
a = 1; // OK
a = true; // OK
a = "string"; // OK
// nullとundefinedはNG
a = null; // NG
a = undefined; // NG

typescript
let a: Object;
a = {}; // OK
// ボックス化可能なプリミティブ型OK
a = 1; // OK
a = true; // OK
a = "string"; // OK
// nullとundefinedはNG
a = null; // NG
a = undefined; // NG

Object型はTypeScriptの公式ドキュメントで使うべきでないとされています。理由はプリミティブ型も代入できてしまうためです。もしオブジェクト型ならなんでも代入可にしたい場合は、代わりにobject型を検討すべきです。

{}型

{}型は、プロパティを持たないオブジェクトを表す型です。プロパティを持ちうる値なら何でも代入できます。この点はObject型と似ていて、nullやundefinedを除くあらゆる型を代入できます。

typescript
let a: {};
a = {}; // OK
// ボックス化可能なプリミティブ型OK
a = 1; // OK
a = true; // OK
a = "string"; // OK
// nullとundefinedはNG
a = null; // NG
a = undefined; // NG

typescript
let a: {};
a = {}; // OK
// ボックス化可能なプリミティブ型OK
a = 1; // OK
a = true; // OK
a = "string"; // OK
// nullとundefinedはNG
a = null; // NG
a = undefined; // NG

object型、Object型、{}型の代入範囲

object型やObject型、{}型の代入範囲をまとめると次の図のようになります。