Địa chỉ bộ nhớ và con trỏ — mọi biến sống ở đâu

TL;DR: Bộ nhớ chính (RAM) là một dãy dài các ô 1 byte, mỗi ô có một địa chỉ — số thứ tự duy nhất, bắt đầu từ 0. Mọi biến trong chương trình sống tại một địa chỉ nào đó. Một con trỏ (pointer) không có gì huyền bí: nó là một biến mà giá trị lại là một địa chỉ — nó "trỏ tới" ô nhớ khác. Java và Python giấu con trỏ sau khái niệm tham chiếu (reference), nhưng cơ chế bên dưới giống hệt: biến đối tượng lưu địa chỉ của object trên heap. Hiểu địa chỉ và con trỏ là chìa khoá để hiểu NullPointerException, pass-by-value vs pass-by-reference, và vì sao hai biến có thể cùng sửa một object.

Bạn viết String a = name; a = a.toUpperCase(); và ngạc nhiên vì name không đổi. Bạn viết list2 = list1; list2.add(x); và ngạc nhiên vì list1 cũng có thêm x. Hai tình huống trái ngược này không mâu thuẫn — chúng là hệ quả trực tiếp của việc biến lưu cái gì: giá trị trực tiếp hay một địa chỉ.

Bài này giải thích bộ nhớ được đánh địa chỉ thế nào, con trỏ là gì, vì sao ngôn ngữ "không có con trỏ" vẫn dùng con trỏ ở bên dưới, và những quyết định code rút ra từ đó.

1. Analogy — dãy hộp thư có đánh số

Tưởng tượng một bức tường gồm hàng triệu hộp thư, mỗi hộp chứa đúng 1 byte và được dán một số thứ tự: hộp 0, hộp 1, hộp 2, ... cho tới hết. Số thứ tự đó là địa chỉ. Nội dung bên trong hộp là giá trị.

Khi bạn khai báo int x = 42, hệ thống chọn một số hộp liên tiếp (4 hộp cho một int 32-bit), ghi giá trị 42 vào đó, và ghi nhớ rằng tên x ứng với địa chỉ hộp đầu tiên. Một con trỏ tới x là một tờ giấy nhỏ ghi số hộp của x — không phải giá trị 42, mà là vị trí.

2. Cơ chế — bộ nhớ được đánh địa chỉ theo byte

CPU nhìn bộ nhớ như một mảng phẳng khổng lồ, đánh chỉ số theo byte (byte-addressable). Trên máy 64-bit, địa chỉ là số 64-bit, nên về lý thuyết CPU có thể đánh số tới 2^64 byte (16 exabyte) — thực tế OS chỉ dùng một phần.

Mỗi biến chiếm một hoặc nhiều byte liên tiếp, bắt đầu tại một địa chỉ:

Dia chi:  1000  1001  1002  1003  1004  1005  1006  1007
         +-----+-----+-----+-----+-----+-----+-----+-----+
Noi dung |  2A |  00 |  00 |  00 |  ... |    |     |     |
         +-----+-----+-----+-----+-----+-----+-----+-----+
          \_______________________/
           int x = 42 (0x0000002A), 4 byte tu dia chi 1000

Sơ đồ trên dùng quy ước little-endian của x86: byte thấp nhất (0x2A) nằm ở địa chỉ thấp nhất (1000). Nếu bạn thắc mắc vì sao 42 lại nằm ở byte đầu thay vì byte cuối, đó là byte order — Module 1 Course 1 (bài endianness) giải thích kỹ nếu cần ôn.

Biến x "ở địa chỉ 1000" nghĩa là 4 byte của nó bắt đầu tại hộp số 1000. Khi CPU cần đọc x, nó nói với bộ nhớ: "đưa tôi 4 byte bắt đầu từ 1000".

Một con trỏ tới x là một biến khác, lưu chính con số 1000:

int x = 42;        // x nam tai dia chi nao do, vi du 1000
int *p = &x;       // p luu gia tri 1000 (dia chi cua x)
                   // &x doc la "address-of x"
int y = *p;        // *p doc la "value-at p" -> doc hop 1000 -> 42
*p = 99;           // ghi 99 vao hop 1000 -> x bay gio la 99!

Hai phép toán cốt lõi:

• &x (address-of): lấy địa chỉ của biến x. Trả về một con trỏ.
• *p (dereference): đi tới địa chỉ mà p lưu, đọc (hoặc ghi) giá trị ở đó.

Bản thân con trỏ p cũng là một biến nằm trong bộ nhớ, cũng có địa chỉ riêng. Bạn có thể có con trỏ trỏ tới con trỏ (int **pp = &p) — vẫn cùng một cơ chế, chỉ thêm một tầng.

flowchart LR
  P["p (tai dia chi 2000)<br/>gia tri = 1000"] -->|tro toi| X["x (tai dia chi 1000)<br/>gia tri = 42"]

3. Java và Python — con trỏ ẩn dưới tên "tham chiếu"

Java và Python quảng cáo "không có con trỏ". Điều đó chỉ đúng một nửa: bạn không làm số học con trỏ (cộng/trừ địa chỉ) và không truy cập địa chỉ thô, nhưng biến đối tượng vẫn lưu địa chỉ — gọi là tham chiếu (reference).

Phân biệt cốt lõi: biến kiểu nguyên thuỷ (primitive) lưu giá trị trực tiếp; biến kiểu đối tượng lưu một tham chiếu (địa chỉ tới object trên heap).

int a = 42;            // a luu truc tiep gia tri 42 (tren stack)
int b = a;             // copy gia tri: b = 42, doc lap voi a

int[] arr1 = {1, 2, 3}; // arr1 luu DIA CHI cua mang tren heap
int[] arr2 = arr1;      // copy DIA CHI: arr2 tro cung mang voi arr1
arr2[0] = 99;           // sua qua arr2 -> arr1[0] cung thanh 99!

Ở dòng int b = a, Java copy giá trị 42 — a và b độc lập. Ở dòng int[] arr2 = arr1, Java copy tham chiếu (địa chỉ) — cả hai biến cùng trỏ tới một mảng duy nhất trên heap, nên sửa qua biến này thấy ở biến kia.

flowchart LR
  subgraph stack["Stack"]
    A1["arr1"]
    A2["arr2"]
  end
  subgraph heap["Heap"]
    M["[99, 2, 3]"]
  end
  A1 -->|tro toi| M
  A2 -->|tro toi| M

Đây cũng là lý do null tồn tại: một tham chiếu chưa trỏ tới object nào lưu giá trị đặc biệt "không địa chỉ" (thường là 0). Khi bạn obj.method() trên một tham chiếu null, CPU được yêu cầu đi tới địa chỉ 0 và đọc — bị chặn, sinh NullPointerException (Java) hoặc AttributeError: NoneType (Python).

4. Áp dụng vào code của bạn

Hiểu biến-lưu-địa-chỉ giúp bạn tránh hai lớp bug phổ biến: chia sẻ ngoài ý muốn và sửa tham số.

Bug 1 — chia sẻ ngoài ý muốn (aliasing). Gán một collection cho biến khác không tạo bản sao:

// SAI: tuong da copy, thuc ra hai bien cung tro mot list
List<String> original = new ArrayList<>(List.of("a", "b"));
List<String> backup = original;     // copy dia chi, KHONG copy noi dung
original.clear();                   // backup cung rong!

// DUNG: copy noi dung neu can ban doc lap
List<String> backup2 = new ArrayList<>(original); // defensive copy

Quy tắc: khi bạn muốn một bản sao độc lập, tạo object mới (new ArrayList<>(src), list.copyOf(), arr.clone()), đừng chỉ gán biến.

Bug 2 — tưởng sửa tham số ảnh hưởng biến gốc. Gán lại tham số bên trong hàm không đổi biến ở nơi gọi:

void rename(String name) {
    name = name.toUpperCase();   // chi doi tham chieu cuc bo "name"
}                                // bien goc o noi goi KHONG doi

void addItem(List<String> items) {
    items.add("new");            // sua NOI DUNG object chung -> THAY o noi goi
}

Phân biệt: gán lại tham số (name = ...) chỉ đổi con trỏ cục bộ; sửa nội dung object qua tham chiếu (items.add) thì thấy ở mọi nơi cùng trỏ tới nó.

Quy tắc null-safety. Vì tham chiếu có thể null, mọi dereference (obj.field, obj.method()) là một điểm có thể nổ NullPointerException. Dùng Optional, kiểm tra null sớm, hoặc annotation @Nullable/@NonNull để biên dịch viên cảnh báo.

5. Đào sâu (tuỳ chọn)

6. Liên hệ các bài khác

• Bài 02 — Stack và stack frame: biến cục bộ và tham số (kể cả con trỏ) sống trên stack; bài này giải thích frame chứa chúng được tạo và huỷ thế nào.
• Bài 03 — Heap và cấp phát động: object mà tham chiếu trỏ tới hầu hết nằm trên heap; bài này giải thích heap cấp phát chúng ra sao.
• Bài 04 — Stack vs heap vs static: tổng hợp — biến nào lưu giá trị, biến nào lưu địa chỉ, và dữ liệu sống ở vùng nào.

7. Tóm tắt

• Bộ nhớ là dãy ô 1 byte, mỗi ô có một địa chỉ (số thứ tự từ 0). Mọi biến sống tại một địa chỉ.
• Con trỏ là biến mà giá trị là một địa chỉ — nó "trỏ tới" ô nhớ khác. &x lấy địa chỉ, *p đi tới địa chỉ đó để đọc/ghi.
• Java và Python không cho làm số học con trỏ, nhưng biến đối tượng vẫn lưu địa chỉ dưới tên tham chiếu. Primitive lưu giá trị trực tiếp; object lưu reference.
• Gán biến đối tượng copy địa chỉ, không copy nội dung → hai biến cùng sửa một object (aliasing). Muốn bản sao độc lập phải tạo object mới.
• null là tham chiếu "không địa chỉ"; dereference null sinh NullPointerException.
• Java/Python luôn pass-by-value, nhưng value của biến đối tượng là một tham chiếu — nên hàm sửa được nội dung object chung, không đổi được biến gốc trỏ đi đâu.

8. Tự kiểm tra

Bài tiếp theo: Stack và stack frame