JavaScript のデータ型とデータ構造

JavaScript は弱い型付けあるいは動的型付けの言語です。JavaScript では、変数が直接的に特定のデータ型に関連付けられているわけではなく、どの変数にもあらゆる型の値を代入 (および再代入) することができます。

let foo = 42;    // foo は数値型になった
foo     = 'bar'; // foo は文字列型になった
foo     = true;  // foo は論理型になった

最新の ECMAScript 標準では、次の 9 つの型が定義されています。

• データ型のうち 6 種類はプリミティブであり、 typeof 演算子で確認することができます。
  • undefined : typeof instance === "undefined"
  • 論理型 (Boolean) : typeof instance === "boolean"
  • 数値型 (Number) : typeof instance === "number"
  • 文字列型 (String) : typeof instance === "string"
  • 長整数型 (BigInt) : typeof instance === "bigint"
  • シンボル型 (Symbol) : typeof instance === "symbol"
• 構造型:
  • オブジェクト (Object) : typeof instance === "object" です。データでありませんが、特別な構造型であり、あらゆる構築されたオブジェクトのインスタンスのためのに使用されます。 new Object, new Array, new Map, new Set, new WeakMap, new WeakSet, new Date など、 new キーワードで作られたほぼすべてのものです。
  • 関数 (Function) : データ構造ではありませんが、 typeof 演算子に対して typeof instance === "function" を返します。これは単に関数の特別な省略形ですが、すべての関数のコンストラクターは Object コンストラクターから派生しています。
• 構造的ルートプリミティブ:
  • null : typeof instance === "object" です。特殊なプリミティブ型で、値には別な用途があります。オブジェクトが継承されていない場合、 null が表示されます。

typeof 演算子は、データ型を判定する以外の用途では意味を持たないことに注意してください。 Object から派生した構造的な型を typeof で判定しても、常に "object" が返されるので意味がありません。オブジェクトの型を確認するための適切な方法は、 instanceof キーワードを使用することです。しかし、その場合でも判定を誤ることがあるかもしれません。

ご覧のとおり、すべてのプリミティブ型の意味は、ほとんど同じである undefined と null を除いては明らかです。これは、時間の概念がアルゴリズムの目的に厳密に関係していることから起こります。まだ存在しないもの、あるいはもう存在しないものは undefined で表すことができます。しかし、存在するものが空であることを表現したい場合は、別なキーワードを導入する必要があります。これが null であり、構造的意味の始まりです。

オブジェクトを除くすべての型は不変の値 (つまり、変更できない値) として定義されています。例えば文字列は (C 言語とは異なり) 不変です。これらの型の値を「プリミティブ値」と呼びます。

論理型は論理の状態を表すもので、 true と false の 2 つの値があります。詳しくは論理型および Boolean を参照してください。

null 型は値が null の 1 つしかありません。詳しくは null および Null を参照してください。

値が代入されていない変数の値は undefined になります。詳しくは undefined および Undefined を参照してください。

ECMAScript には、数値型 (Number) と長整数型 (BigInt、下記参照) の 2 つの組み込み数値型があります。

数値型は IEEE 754 での倍精度浮動小数点数 (-(2^53 − 1) から 2^53 − 1 まで間の数値) です。浮動小数点数の表現に加えて、3 つの記号的な値 +Infinity, -Infinity, NaN ("Not a Number") があります。

±Infinity 内で使用可能な最大値または最小値を確認するには、定数 Number.MAX_VALUE または Number.MIN_VALUE を使用できます。

数値型には、2 種類の表現を持つ数値がひとつだけあります。それは 0 であり、-0 および +0 で表します。(0 は +0 の別名です)

実用上、どちらを使用しても影響はほとんどありません。例えば、 +0 === -0 は true です。ただし、ゼロで除算を行った場合は違いが分かります。

> 42 / +0
Infinity
> 42 / -0
-Infinity

多くの場合、数値はその値のみを表しますが、JavaScript にはバイナリー (ビット単位) 演算子も用意されています。

ローカルストレージの容量的制約への対処や、ビット単位での転送量を考える必要のある極限状態など、非常に特殊なケースにおいてはこうしたテクニックが必要となるでしょう。このテクニックは、あくまでも最適化が必要な場合の最終手段としてのみ考慮すべきです。

長整数型は、任意の精度で整数を表現できる JavaScript の数値プリミティブです。長整数型を使えば、数値型で扱うことができる安全な整数の限界を超える、大きな整数を安全に格納して操作することができます。

長整数型は、整数の末尾に n を追加するか、コンストラクターを呼び出すことで作成します。

数値型でインクリメントできる最も安全な値は、定数 Number.MAX_SAFE_INTEGER を使用することで得ることができます。長整数型の導入により、Number.MAX_SAFE_INTEGER を超える数値での操作が可能になりました。

この例は、Number.MAX_SAFE_INTEGER をインクリメントすると期待される結果が返ってくることを示しています。

> const x = 2n ** 53n;
9007199254740992n
> const y = x + 1n;
9007199254740993n

長整数型は、整数型と同じように +, *, -, **, % 演算子を使用することができます。長整数型は数値型と厳密に同じであるわけではありませんが、ほとんど同じです。

長整数型は if, ||, &&, Boolean, ! などの論理型に変換される場面では、数値型と同じように動作します。

長整数型は、数値型との間で演算することはできません。代わりに TypeError が発生します。

JavaScript の文字列型は、テキストデータを表すために使用します。これは、16 ビット符号なし整数値の「要素」の集合体で、文字列内の各要素は文字列内の位置を占めます。要素の数が文字列の長さになり、最初の要素の位置が 0、次の要素の位置が 1 となってゆきます。

いくつかのプログラミング言語 (C 言語など) とは異なり、 JavaScript の文字列は不変です。これは、一度作成した文字列を変更することができないことを意味します。

しかしながら、元の文字列に対する操作に基づいて別の文字列を作成することは可能です。例えば、以下のようになります。

• 原文から個別に文字を抜き出したり、 String.substr() を用いたりして部分文字列を切り出す
• 連結演算子 (+) または String.concat() を用いて、2 つの文字列を連結する

「文字列に型付けした」コードに注意！

複雑なデータを表現するために文字列を使用したい思うこともあるでしょう。これには短期的なメリットがあります。

• 結合することで、複合文字列を簡単に作成できます。
• 文字列は簡単にデバッグできます (出力される情報は常に文字列に含まれているものです)。
• 文字列は多くの API (入力フィールド、ローカルストレージの値、 XMLHttpRequest の responseText を使用したレスポンス、など) において共通分母であり、文字列だけで作業したいという誘惑に駆られることがあります。

規則さえあれば、どのようなデータ構造でも文字列で表現することが可能ですが、これは良い考えとは言えません。例えば、区切り文字を使用することでリストを模倣することができますが (JavaScript の配列の方が適しています)、残念なことに区切り文字がリストの要素となってしまった場合、リストが壊れてしまいます。エスケープした文字を使用することでこの問題に対処することは可能ですが、その規則をすべてに用意する必要がある上、不必要なメンテナンスの負担を生み出します。

文字列はテキストデータには向いていますが、複雑なデータを表す場合は文字列を解析し、適切な抽象化を用いる必要があります。

シンボルは一意で不変のプリミティブ値であり、オブジェクトのプロパティのキーとして使用することができます。一部のプログラミング言語では、「アトム」と呼ばれています。

詳しくは、シンボルおよび Symbol オブジェクトラッパーを参照してください。

コンピューター科学において、オブジェクトは識別子によって参照可能なメモリー内の値です。

JavaScript では、オブジェクトはプロパティの集合として見ることができます。オブジェクトリテラル構文は、初期化される限定された一連のプロパティです。その後でプロパティは追加したり削除したりすることができます。プロパティの値は、他のオブジェクトを含むあらゆる型の値にすることができ、複雑なデータ構造を構築できます。プロパティはキー値で識別することができます。キー値は文字列またはシンボル値です。

オブジェクトには、データプロパティとアクセサープロパティという特定の属性を持つ 2 種類のプロパティがあります。

データプロパティ

キーと値を関連づけて、以下の属性を持ちます。

アクセサープロパティ

値を取り出しまたは保存するための 1 つまたは 2 つのアクセサー関数 (get および set) とキーを関連づけており、以下の属性を持ちます。

JavaScript のオブジェクトはキーと値を所持しています。キーは文字列 (またはシンボル) ですが、値は何でも構いません。これにより、オブジェクトはハッシュマップに自然に適合します。

関数は呼び出し可能という付加機能を持つ、通常のオブジェクトです。

日付を表現する場合は、JavaScript に組み込まれた Date ユーティリティ を使用するのが最適です。

配列は、整数値をキーにするプロパティと length プロパティの間に特殊な関係の存在する、標準オブジェクトです。

さらに、配列は Array.prototype を継承しており、配列を操作するための便利なメソッドを提供しています。例えば、 indexOf (配列中の値の検索) や push (配列への要素の追加) などです。これにより、配列はリストや集合を表現するのに最適な候補となります。

型付き配列は、 ECMAScript 2015 で JavaScript に新しく追加されたもので、基礎となるバイナリーデータバッファの配列風のビューを提示します。次の表は、同等の C データ型を見つけるのに役立ちます。

ECMAScript 第 6 編 で導入されたこれらのデータ構造は、オブジェクト参照をキーとしています。Set と WeakSet はオブジェクトの集合を表し、Map と WeakMap はオブジェクトに値を関連付けます。

Map と WeakMap の違いは、前者ではオブジェクトキーを列挙できることです。これにより、後者の場合にガベージコレクションの最適化が可能になります。

純粋な ECMAScript 5 で Map と Set を実装することもできますが、オブジェクトを比較することはできないので (例えば < 「未満」の意味で)、検索性能が必然的に線形になります。これらのネイティブ実装 (WeakMap を含む) は、一定時間に対してほぼ対数的な検索性能を持つことができます。

通常、DOM ノードにデータをバインドするには、オブジェクトに直接プロパティを設定するか、 data-* 属性を使用します。これらの手法は同じコンテクストで実行されるあらゆるスクリプトからデータの利用が可能であるため、不都合な面を持ち合わせていました。 Map や WeakMap を使うと、オブジェクトへのプライベートなデータバインドを簡単に行うことができます。

JSON (JavaScript Object Notation) は JavaScript から派生した汎用データ構造をもつ軽量なデータ交換フォーマットであり、多くのプログラミング言語で使用されています。

詳しくは JSON および JSON を参照してください。

JavaScript には組み込みオブジェクトの標準ライブラリがあります。

オブジェクトの詳細については、リファレンスを参照してください。

typeof 演算子は、変数の型を知るのに役立ちます。

詳細および使用例については、リファレンスページを参照してください。

• Nicholas Zakas による、JavaScript における一般的なデータ構造とアルゴリズムのまとめ
• Search Tre(i)es implemented in JavaScript
• Data Types and Values in the ECMAScript specification