const と参照

解説

このレッスンで分かること

• const が禁止しているのは再代入だけで、中身の変更は禁止していません
• 配列とオブジェクトは、変数に入っているのが値ではなく置き場所です

const で宣言した配列が、勝手に伸びる

const は再代入できない宣言だと習いました。ところが、次のコードはエラーになりません。

const で宣言したのに、中身が増えました。一方でこちらは止まります。

中身を変えるのは通り、変数そのものに別のものを入れ直すのは通らない。この境界線がこのレッスンのテーマです。const は constant の略ですが、正確な意味は「再代入できない変数」であって「中身が絶対に変わらない値」ではありません。

変数に入っているのは、値か置き場所か

なぜ違いが出るのか。答えは「変数の中に何が入っているか」にあります。

数値や文字列は、変数の中に値そのものが入っています。値を変える方法は再代入しかなく、その再代入が禁止されているので、結果として絶対に変わりません。配列やオブジェクトは実体が別の場所に置かれ、変数にはそこへの案内札だけが入ります。

解説

住所を書いたメモを想像してください。const はメモに別の住所を書き直すことを禁止します。しかし、その住所の家の中で模様替えをすることまでは止められません。

同じ場所を指す 2 つの変数

参照だと分かると、次の挙動にも納得がいきます。

const b = a; は中身をコピーしたのではなく、同じ場所を指す札をもう 1 枚作っただけです。関数に配列やオブジェクトを渡すのも同じことで、渡した先で push すれば呼び出し元の配列が伸びます。事故の種でもありますが、逆に言えば「受け取った配列にそのまま足して返す」関数は、この性質の上に成り立っています。

よくある間違い

• const なら安全だと思い込む — オブジェクトを関数に渡すことは、書き換える権利を渡すことでもあります。渡した先で何をされるか分からないなら、コピーを渡すほうが安全です
• 見た目が同じオブジェクトを === で比べる — { a: 1 } === { a: 1 } は false です。中身が同じかではなく、同じ実体かを見ているためです

1. 関数名は addWork、引数は works と title と year の 3 つ
2. { title, year } の 2 つのキーを持つオブジェクトを works の末尾に push すること
3. 戻り値は追加後の works 配列そのもの
4. 配列を作り直さず push を使うこと