Sửa bằng giả thuyết, không sửa mò

TL;DR: Đổi một dấu, chạy lại, vẫn sai, đổi tiếp — sửa mò không hội tụ vì không lượt nào loại bớt được nguyên nhân. Bài này thay bằng vòng bốn bước: đặt giả thuyết kiểm chứng được, chọn phép kiểm rẻ nhất có thể bác bỏ nó, chạy rồi đọc kết quả, rồi thu hẹp nghi ngờ dù giả thuyết đúng hay sai. Hai dụng cụ kiểm chứng là print và bảng trace, chọn theo việc cần soi một giá trị hay nhiều biến qua nhiều vòng lặp. Ca mẫu là một lỗi logic thật: đặt tong = 0 nhầm vào bên trong thân vòng lặp, khiến chương trình chạy trót lọt nhưng in ra đúng phần tử cuối.

Bạn viết xong một đoạn code, chạy, sai. Đổi dấu > thành >=, chạy lại, vẫn sai. Đổi tên biến, chạy lại, vẫn sai. Đổi ngược lại đúng dòng vừa sửa, chạy lại — bỗng dưng đúng, và bạn không biết vì sao nó đúng.

Đây gọi là sửa mò, và nó không hội tụ. Giả sử đoạn code mười dòng của bạn có năm chỗ khả nghi. Mỗi lượt sửa mò đổi đúng một chỗ, chạy lại, thấy vẫn sai — nhưng bạn KHÔNG loại được chỗ nào trong bốn chỗ còn lại, vì chưa hề kiểm tra riêng chỗ đó có phải thủ phạm hay không. Sau mười lượt, vùng nghi ngờ vẫn là năm chỗ y hệt lúc đầu — bạn chỉ đang đoán, không đang thu hẹp.

Có một cách khác: đoán CÓ CHỦ ĐÍCH rồi kiểm tra đúng đoán đó — dù đúng dù sai đều biết thêm một điều mới. Đó là nội dung bài này.

Bài này lo đúng một việc: biến print và bảng trace thành công cụ kiểm chứng giả thuyết, thay vì chỉ để đọc hiểu code.

1. Analogy — bóng đèn không sáng

Đèn phòng khách nhà bạn không sáng. Bạn không tháo tung cả hệ thống điện (ổ cắm, dây dẫn, cầu dao, bóng đèn) ra kiểm tra cùng lúc. Bạn đoán CÓ CHỦ ĐÍCH: "chắc là bóng đèn cháy", rồi kiểm chứng bằng cách rẻ nhất: thay một bóng đã biết còn tốt vào đúng ổ đó. Bật công tắc, nhìn kết quả. Sáng: đúng là bóng cháy. Không sáng: loại bóng đèn, chuyển sang giả thuyết kế tiếp, có khi là cầu dao.

2. Vòng bốn bước

Vòng bốn bước thay sửa mò bằng bốn thao tác lặp lại tới khi tìm ra nguyên nhân thật:

1. Giả thuyết kiểm chứng được. "Tôi nghĩ tong bị đặt lại về 0 ở mỗi vòng lặp" có một quan sát cụ thể sẽ xác nhận hoặc bác bỏ nó. "Chắc vòng lặp có vấn đề" thì không — không quan sát nào bác bỏ được một câu mơ hồ.
2. Phép kiểm chứng rẻ nhất bác bỏ được nó. Không cần đọc lại toàn bộ hàm; chỉ cần một dòng print đúng chỗ, hoặc một hàng bảng trace tại điểm nghi ngờ.
3. Chạy, đọc kết quả. Đọc đúng con số hiện ra, không đọc theo điều bạn MUỐN thấy.
4. Thu hẹp — dù đúng dù sai. Đúng: tìm ra thủ phạm, sửa xong. Sai: loại được một chỗ khỏi danh sách nghi ngờ, còn ít chỗ hơn để thử tiếp. Đây là thứ sửa mò không có.

So với năm chỗ nghi ngờ ở đầu bài, mỗi vòng loại bớt một chỗ — sau năm lượt, không phải mười, còn lại đúng một thủ phạm.

3. Print hay bảng trace — chọn thế nào?

print rẻ và nhanh: thêm một dòng, chạy lại, đọc giá trị TẠI đúng một điểm nghi ngờ. Dùng khi giả thuyết chỉ nhắm một biến ở một chỗ cụ thể.

Bảng trace tốn công hơn nhưng cho một bức tranh rộng hơn: nhiều biến, qua nhiều vòng lặp, trên cùng một bảng. Dùng khi giả thuyết liên quan tới CÁCH một giá trị biến đổi qua thời gian — như "tong có cộng dồn qua từng vòng hay bị đặt lại?" — một print tại một điểm không đủ trả lời câu đó.

4. Thử đoán — tổng điểm một lớp bốn bạn

Chương trình sau tính tổng điểm của bốn bạn trong danh sách diem:

diem = [8, 5, 9, 6]

for d in diem:
    tong = 0
    tong = tong + d

print(tong)

6

Giờ tự chạy vòng bốn bước cho đúng chương trình này — làm từng bước một, đối chiếu xong mới sang bước kế.

diem = [8, 5, 9, 6]

for d in diem:
    tong = 0
    tong = tong + d
    print(tong)

print("Ket qua cuoi:", tong)

8
5
9
6
Ket qua cuoi: 6

diem = [8, 5, 9, 6]
tong = 0

for d in diem:
    tong = tong + d

print(tong)

28

5. Tới lượt bạn

Cùng vòng bốn bước, áp cho một bug khác: đếm xem có bao nhiêu bạn đạt điểm từ 5 trở lên trong danh sách diem.

diem = [4, 7, 9, 3]
dem_dat = 0

for d in diem:
  if d >= 5:
      dem_dat = 1

print(dem_dat)

6. Bẫy thường gặp

❌ Nhầm 1 — đổi một chỗ rồi chạy lại, không kèm giả thuyết kiểm chứng được. Thấy vẫn sai thì đổi tiếp, hết sai thì dừng mà không biết vì sao — đúng cảnh mở bài.

✅ Trước khi đổi bất kỳ dòng nào, viết thành một câu: "tôi nghĩ biến X sai vì lý do Y" — không viết được câu đó thì chưa nên sửa.

❌ Nhầm 2 — đọc kết quả kiểm chứng theo điều mình muốn thấy. Thấy print(tong) in ra 8, 5, 9, 6 mà vẫn tự nhủ "chắc lỗi ở chỗ khác" — bỏ qua bằng chứng trước mắt.

✅ Đọc đúng con số hiện ra trước, so với điều giả thuyết dự đoán, rồi mới kết luận.

❌ Nhầm 3 — chọn print khi cần thấy cả một quá trình qua nhiều vòng. print(tong) đặt SAU vòng lặp chỉ cho một con số cuối, không phân biệt "không cộng dồn" với "cộng dồn đúng nhưng tình cờ ra cùng số".

✅ Nghi biến đổi qua nhiều vòng thì đặt print BÊN TRONG vòng lặp, hoặc dùng bảng trace.

7. 📚 Đào sâu — vì sao vòng bốn bước giống phương pháp khoa học

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

• Bài 1 — Ba loại lỗi — lỗi logic là một trong ba loại phân biệt ở đó; ca mẫu bài này là ví dụ cụ thể của loại đó.
• Bài 2 — Đọc thông báo lỗi — traceback giúp chẩn đoán lỗi runtime; lỗi logic không có traceback, nên cần vòng bốn bước.
• Bài 4 module 1 — Bảng trace — công cụ dùng lại nguyên vẹn, chỉ đổi vai từ hiểu code sang kiểm chứng giả thuyết.
• Bài 6 module 3 — Ca biên — nguồn giả thuyết có sẵn: thử đúng năm ca biên trước khi đoán ngẫu nhiên.
• Bài 4 — Kẹt là bình thường — khi vòng bốn bước chạy nhiều lượt vẫn chưa ra manh mối, bài sau nói khi nào nên dừng và nhờ người khác.

9. Tóm tắt

• Sửa mò không hội tụ vì không lượt nào loại được nguyên nhân; vòng bốn bước loại được ít nhất một chỗ mỗi lần, kể cả khi giả thuyết sai.
• Câu "chắc vòng lặp có vấn đề" không trỏ tới một lệnh print nào để mà kiểm, nên nó để bạn đứng nguyên chỗ cũ.
• print soi đúng một điểm; bảng trace soi cả một quá trình qua nhiều vòng lặp — chọn công cụ theo câu hỏi đang cần trả lời, không theo thói quen.
• tong = 0 đặt sai chỗ, bên trong thân vòng lặp thay vì trước nó, là lỗi logic: không traceback, chạy trót lọt, chỉ lộ ra khi bạn tự đặt đúng câu hỏi.
• Đếm số bạn đạt điểm ở mục 5 gãy vì cùng kiểu lỗi gán-lại-thay-vì-cộng-dồn — vòng bốn bước dùng lại được nguyên vẹn cho cả hai bug khác nhau.

10. Tự kiểm tra

Bài tiếp theo: Kẹt là bình thường — quy tắc hai mươi phút