プリミティブ型・オブジェクト型と参照について理解を深めよう【第6回】JavaScriptを学ぶ上でつまずきやすいポイントを理解するための連載

JavaScriptが持つ「2つの型」の動作を図で解説します。オブジェクト型では「参照」についても確認していきましょう。イメージすることが難しいトピックですが、理解を深めると、不安なくコードを書くことができます。

今回の学び

JavaScriptが持つ型は、２種類
「プリミティブ型」と「オブジェクト型」の動作の特徴
ミスしやすい。関数の引数による動作

【筆者】佐藤正志さん
契約社員、客員研究員、フリーランスなどさまざまな立場で開発現場を経験。フロントエンド、バックエンド開発、チームリードやOJTの育成担当まで幅広くこなしてきた。現在プログラミングトレーニング事業を行うサークルアラウンド株式会社を立ち上げ、経営や現場開発を行いながらOJT経験をもとに後進の育成に励み、個人や法人に向けたプログラミングのトレーニングを行っている。ノウハウのコンテンツ化にも取り組んでおり、著書に『ステップアップJavaScript』（翔泳社）がある。

＊記事内に使用しているサンプルコードは、以下からも確認できます
https://github.com/CircleAround/engineer_style_js/blob/main/06/06_type.js

JavaScriptにおける２つの型

JavaScriptにおける型は、大きく分けると以下の2種類です。

代入や操作時の動作に違いがあるため、それぞれの特徴や扱い方を確認しておきましょう。整理しておかないと、思わぬ誤りに繋がることも。注意が必要です。

プリミティブ型

プリミティブ型のことを理解するために、まずは文字列を例に見ていきましょう。そのほかのプリミティブ型も同様の性質を持つと考えていいです。

let str1 = 'Hello'; // *1
const str2 = str1; // *2
console.log(str1, str2); // => Hello Hello

簡単なコードですがstr1からstr2へ文字列を代入しました（※2）。このとき、str2にはstr1の文字列のコピーが作られます。もちろん2つの文字列の中身は同じものです。

続けて str1.concatを使ってその結果を改めてstr1に代入します（※3）。

str1.concatでstr1そのものが変更されることはなく、新しい文字列が生成されて戻り値となります。

str1 = str1.concat('World'); // *3

// 以下の二つは違う値を示している
console.log(str1, str2); // => HelloWorld Hello

str1とstr2は無関係のため、str1だけが新たな値になりました。

ここまで、幾つかの簡単な操作を行いました。以下の3つのポイントを確認しておきましょう。

【1】
※1 でメモリ上に作られた “Hello” の文字列の内容は最後まで変更されない

【2】
※2 の代入では内容のコピーが起きている

【3】
※3 のメソッドの操作においてもメモリ上に新たに“Hello World”の文字列が作られ、”Hello” は変更されない

この動作は生成された実体が変更されない、Immutableの動作です。プリミティブ型はこのようなImmutable性を特徴とします。多くの他の言語でも文字列はこのようなImmutableな動作をすることが多いです。

＊以上の動作は、内部実装の詳細や最適化などを考えると厳密には違う動作をしている可能性がありますが、プログラムを読み書きする際に、この考え方で矛盾がないよう作られています

プリミティブ型の性質

・変数の代入の時に新しくメモリ領域を確保した「コピー」が行われ、別の実体として扱われる

・Immutableの性質があるので、編集操作では新しい実体を作成する

オブジェクト型

次はオブジェクト型の動作についてです。具体的なコードを見る前に「参照」について確認していきましょう。

■「参照」

メモリ内にあるオブジェクトを指し示すためのIDとして使われる値です。オブジェクト型を扱う場合には、変数には参照が代入されていて、その参照を介してオブジェクトの実体を操作します。

const obj1 = {message: "Hello"};

例えば上記のような宣言をすると、以下のようなイメージで情報が作られます。

■オブジェクトの操作は「参照」を介している

const obj1 = {message: "Hello"}; // *1
const obj2 = obj1; // *2

obj1をobj2へ代入しました（※2）。このとき代入されるのは「参照」なので、obj1とobj2は参照を介して、※1で生成された同一のオブジェクトを指しています。

続けてobj1のmessageの値を変更しました。このとき「参照」を介して※1で生成されたオブジェクトが変更されます。

obj1.message = "Hi"; // *3

console.log(obj2.message); // => Hi

結果、同一のオブジェクトへの参照を持つobj2のmessageも変更されました。

オブジェクト型の性質

・変数の代入には、参照のコピーが行われ、同じ実体を共有する

・編集操作では新しい実体を作成せず、自身が変更される(オブジェクト型でも工夫することでImmutableにできるが、基本的にはMutable)

ミスしやすい。関数の引数における動作

プリミティブ型、オブジェクト型の代入について整理できていないと、以下のようなケースで勘違いしてしまうことがあります。「関数の引数に渡すときに、代入が起きている」と考えるとわかりやすいでしょう。

function concatWorld(str) {
  str = str.concat('World'); // str1が 'HelloWorld'になりそうに思うかもしれない
}

const str1 = 'Hello';
concatWorld(str1);
console.log(str1); // => 'Hello' // 変更はされない

上記のコードでは、str1の指す変数の値は変更されることはありません。concatWorld関数の引数に渡されるのはstr1のコピーであるためです。コピーを操作したとしてもコピー元には変更が反映されません。

今回のまとめ