変数とデータ型

変数と代入

変数を使う流れは「宣言（名前を用意する）→ 代入（値を結びつける）→ 参照（名前で値を取り出す）」の3つです。

let score;        // 宣言：名札を用意（まだ値なし）
score = 10;       // 代入：名札を 10 に貼る
score = score + 5; // 参照して計算し、貼り直す → 15

**= は「等しい」ではなく「代入（右を左に入れる）」**です。等しいかの判定は == / === を使います。ここは初学者が必ず一度はつまずく所。

宣言にはいくつかキーワードがあり、言語によりますが「再代入できるか」が大きな違いです。

主なデータ型

どの言語にもだいたい共通する「基本の型」を押さえましょう。

null と undefined は紛らわしい代表格です。ざっくり言うと undefined は「システムがまだ入れていない」、null は「人が意図的に空にした」。多くの言語には片方しかありませんが、JavaScript は両方持つので特に注意します。

let a;            // 宣言だけ → undefined（自動）
let b = null;     // 明示的に「空」を入れた → null

typeof 42;        // "number"
typeof "hi";      // "string"
typeof true;      // "boolean"

プリミティブと参照型

ここが本記事の山場です。値は大きく2グループに分かれ、代入・コピー・比較の挙動がまるで違います。

• プリミティブ型（数値・文字列・真偽値など）… 値そのものをコピー
• 参照型（配列・オブジェクトなど）… 「実体への矢印（参照）」をコピー

// プリミティブ：値ごとコピーされる（独立）
let x = 1;
let y = x;   // y は 1 の“写し”
y = 99;
console.log(x); // 1 ← x は無傷

// 参照型：同じ実体を指す“矢印”がコピーされる
let a = { n: 1 };
let b = a;   // b は a と同じオブジェクトを指す
b.n = 99;
console.log(a.n); // 99 ← a も変わって見える！

b を書き換えたのに a まで変わるのは、a と b が同じ1個のオブジェクトを指す2本の矢印だから。箱が2つあるわけではありません。

ミュータブルとイミュータブル

参照型の話と地続きなのが、値が後から変えられるかという性質です。

• ミュータブル（mutable / 可変）: 中身を後から書き換えられる（多くの言語の配列・オブジェクト）
• イミュータブル（immutable / 不変）: 一度作ったら変えられない（JS の文字列、Python のタプルなど）

# 文字列はイミュータブル：元は変わらず、新しい文字列が生まれる
s = "abc"
t = s.upper()   # t = "ABC"、s は "abc" のまま

# リストはミュータブル：その場で書き換わる
nums = [1, 2, 3]
nums.append(4)  # nums 自体が [1, 2, 3, 4] に

静的型付けと動的型付け

最後に、型を「いつチェックするか」という言語ごとの方針に軽く触れます。

// 動的型付け（JS）：同じ変数に別の型を入れられる
let v = 10;     // number
v = "ten";      // string ← エラーにならない

型の仕組みをもう一段深く知りたい場合は、型システム の記事へ。条件分岐で真偽値をどう使うかは 制御フロー で扱います。

まとめ

• 変数は「値に付ける名札」。= は等値ではなく代入。
• データ型は値の種類と扱い方を決める。null（意図的な空）と undefined（未定義）は別物。
• プリミティブは値をコピー、参照型は実体への矢印をコピー。ここが共有バグの最大の原因。
• const／イミュータブルは似て非なるもの。前者は再代入禁止、後者は中身まで不変。