Ba loại lỗi — cú pháp, lúc chạy, và sai kết quả

TL;DR: Một chương trình sai luôn để lộ dấu hiệu trước khi bạn kịp đọc tên lỗi. Không chạy nổi dòng nào, kể cả dòng in đầu tiên, là cú pháp: máy đọc hết file trước khi chạy dòng đầu. Chạy được một lúc rồi dừng giữa chừng bằng một khối chữ đỏ là runtime: câu lệnh hợp lệ nhưng gặp đúng dữ liệu nó không xử lý nổi. Chạy trọn vẹn, không báo gì, nhưng kết quả sai là logic — loại duy nhất không ai báo cho bạn, vì máy chỉ làm đúng thứ bạn viết, không phải thứ bạn muốn. Ba dấu hiệu này quyết định bạn soi ở đâu trước.

Bạn gõ xong ba mươi dòng code cho bài tính điểm trung bình lớp. Bấm chạy. Màn hình đứng im, không một chữ nào hiện lên — kể cả dòng print đầu tiên bạn viết ngay dòng thứ hai, thứ đáng lẽ phải chạy trước tất cả những dòng còn lại.

Bạn sửa một chỗ, chạy lại. Lần này màn hình động đậy, in ra vài dòng, rồi giữa chừng nhảy ra một khối chữ đỏ và dừng hẳn.

Bạn vá tiếp, chạy lại lần ba. Chương trình chạy trơn tru từ đầu tới cuối, không một dòng đỏ nào, in ra đúng một con số duy nhất — chỉ có điều con số đó sai.

Bài này lo đúng một việc: nhìn vào dấu hiệu bạn vừa thấy (không phải tên lỗi tiếng Anh bạn tra được) để xếp nó vào một trong ba loại, và biết ngay nên soi ở đâu trước.

1. Analogy — ba kiểu hỏng của một chuyến xe

Bạn hẹn đi chơi xa bằng xe máy. Ba chuyến đi, ba kiểu trục trặc khác hẳn nhau.

Chuyến thứ nhất: bạn đề mãi mà xe không nổ máy. Không nhích được một mét nào — kể cả đoạn đường bằng phẳng nhất ngay trước nhà.

Chuyến thứ hai: xe nổ máy, bạn chạy được một đoạn, rồi giữa đường xe khựng lại và tắt máy hẳn. Bạn đã đi được một phần đường, nhưng chưa tới nơi.

Chuyến thứ ba: xe chạy êm ru từ đầu tới cuối, không khục khặc lần nào, bạn tới nơi đúng giờ — chỉ có điều đó là nhà một người khác. Địa chỉ nhập sai ngay từ lúc xuất phát, và suốt chuyến đi không có tín hiệu nào báo cho bạn biết.

2. Ba dấu hiệu, chưa cần đọc tên lỗi

Trước khi tra bất kỳ tên lỗi tiếng Anh nào, màn hình đã cho bạn đủ thông tin để xếp loại — chỉ cần nhìn chương trình chạy tới đâu.

Cú pháp là tập quy tắc viết đúng chính tả của một ngôn ngữ lập trình — dấu hai chấm sau if, thụt lề đúng chỗ, ngoặc đóng đủ cặp. Nhìn đoạn code sau: dòng thứ hai là một print hoàn toàn bình thường, dòng thứ ba là một if thiếu mất dấu hai chấm ở cuối.

diem = 6
print("Bat dau kiem tra diem")
if diem >= 5
    print("Dat")

  File "bai.py", line 3
    if diem >= 5
                ^
SyntaxError: expected ':'

3. Loại đắt nhất — vì sao không ai báo cho bạn?

Cú pháp và runtime có một điểm chung: máy tự dừng lại và báo cho bạn biết chỗ nó vấp. Logic thì không.

Ví dụ cụ thể, cùng họ với lỗi bạn đã gặp ở module trước:

tong = 0
buoi = 1
while buoi < 5:
    tong = tong + buoi
    buoi = buoi + 1

print(tong)

Chương trình này định tính tổng số buổi học từ buổi 1 tới buổi 5.

10

4. Thử đoán — dữ liệu người dùng gõ vào

tuoi = int(input("Nhap tuoi: "))
print("Tuoi cua ban la", tuoi)

Nhap tuoi: Traceback (most recent call last):
  File "bai.py", line 1, in <module>
    tuoi = int(input("Nhap tuoi: "))
ValueError: invalid literal for int() with base 10: 'hai muoi'

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

Đoạn code dưới đây chấm điểm cho một lớp có 3 học sinh. Đừng chạy thử trong đầu bằng cách nhớ lại hai ví dụ trên — tự đếm số dòng output, rồi tự trả lời hai câu: đoạn này thuộc loại nào trong ba loại vừa học, và bạn sẽ soi ở đâu trước để chẩn đoán?

diem = [8, 6, 9]
print("Cham diem xong roi")
print(diem[0])
print(diem[1])
print(diem[2])
print(diem[3])

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

❌ Nhầm 1 — thấy chữ đỏ liền kết luận "chắc là cú pháp". Runtime cũng in ra một khối chữ đỏ y hệt cú pháp về hình thức.

✅ Đếm xem có dòng output nào xuất hiện trước khối chữ đỏ. Có, dù chỉ một dòng, là runtime, không phải cú pháp.

❌ Nhầm 2 — chạy xong không thấy chữ đỏ nào, kết luận ngay "chương trình đúng rồi".

✅ Không có chữ đỏ chỉ loại trừ cú pháp và runtime. Logic vẫn có thể sai hoàn toàn — cách duy nhất biết được là đối chiếu kết quả với con số bạn biết trước là đúng.

7. 📚 Đào sâu — ba dấu hiệu này không phải mẹo riêng của Python

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

• Bài 2 — Đọc thông báo lỗi — mổ xẻ cách đọc traceback đầy đủ, thứ bài này mới chỉ chỉ vào dòng cuối cùng.
• Bài 3 — Sửa bằng giả thuyết — vòng đoán rồi kiểm chứng, dùng đúng ba cách chẩn đoán vừa học ở đây làm điểm xuất phát.
• Recall liên quan: Bài 1 module 1 (máy không suy diễn ý định) và Bài 5 module 2 (lặp lồng nhau) — cả hai vừa giải thích vì sao logic là loại đắt nhất trong ba loại.

9. Tóm tắt

• Chữ đỏ không tự động là cú pháp — runtime cũng đỏ y hệt, phân biệt bằng việc trước đó có in được gì hay chưa.
• Không có chữ đỏ không chứng minh chương trình đúng. Logic là loại duy nhất im lặng hoàn toàn, chỉ lộ ra khi bạn tự đối chiếu kết quả với con số bạn biết trước là đúng.
• Ba dấu hiệu này không phải mẹo riêng của Python — chúng áp dụng y hệt cho Java và mọi ngôn ngữ khác, đó là thứ đáng nhớ hơn cả cú pháp báo lỗi cụ thể.

10. Tự kiểm tra

Bài tiếp theo: Đọc thông báo lỗi