What is output of code? void main() { if ((1 || 0) && (0 || 1)) { printf("ABC"); } else { printf("DEF"); } getch(); }

Đoạn mã này minh họa phạm vi của biến trong C/C++. Biến `x` được khai báo ở hai phạm vi khác nhau: một ở bên ngoài hàm `main` (mặc dù trong trường hợp này nó được khai báo bên trong hàm main nhưng bên ngoài block bên trong), và một ở bên trong một khối lệnh (block) bên trong hàm `main`.\n\n1. `int x = 0;` (dòng 2): Khai báo biến `x` trong phạm vi của hàm `main`.\n2. `{ int x = 0, y = 0; y++; x++; }` (dòng 3-6): Khai báo một biến `x` *khác* và biến `y` trong một phạm vi hẹp hơn (block). Biến `x` này chỉ tồn tại và có giá trị trong block này. Khi khối lệnh này kết thúc, biến `x` này sẽ bị hủy.\n3. `printf("%d", x);` (dòng 7): Lệnh `printf` in giá trị của biến `x` được khai báo ở dòng 2, tức là biến `x` trong phạm vi của hàm `main`. Giá trị của biến `x` này không bị ảnh hưởng bởi biến `x` bên trong block.\n\nVì vậy, giá trị của `x` được in ra là 0, vì nó không bị thay đổi bởi khối lệnh bên trong.

Trong C/C++, so sánh trực tiếp hai số thực (float hoặc double) bằng toán tử `==`, `>` hoặc `<` có thể dẫn đến kết quả không mong muốn do sai số làm tròn (rounding errors). Kiểu `float` chỉ có độ chính xác hữu hạn. Số 0.7 trong code được hiểu là một số double (do không có hậu tố f), còn `a` là một float. Khi so sánh `0.7 > a`, số `a` sẽ được nâng cấp lên double để so sánh với 0.7. Tuy nhiên, do sai số làm tròn, giá trị double của `a` có thể hơi nhỏ hơn 0.7. Do đó, biểu thức `0.7 > a` có thể đúng. Trong trường hợp này, "Hi" sẽ được in ra. Tuy nhiên, do sai số này phụ thuộc vào trình biên dịch và nền tảng, kết quả có thể khác nhau trên các hệ thống khác nhau. Vì vậy, không có đáp án chính xác trong các lựa chọn đã cho.

Phép toán `%` (modulo) chỉ được sử dụng cho các số nguyên, không sử dụng cho số thực. Trong phương án D, `a` là một số thực (số thực dấu phẩy động), do đó phép toán `a % 3` là không hợp lệ và sẽ gây ra lỗi biên dịch hoặc lỗi trong quá trình chạy chương trình (tùy thuộc vào ngôn ngữ lập trình). Các phương án A, B, và C đều là các phép gán hợp lệ và sử dụng đúng kiểu dữ liệu, do đó chúng đúng về mặt cú pháp và ngữ nghĩa.

Trong ngôn ngữ C, kiểu `void` được sử dụng để chỉ một hàm không trả về giá trị hoặc một con trỏ tổng quát. Tuy nhiên, không thể khai báo một biến có kiểu `void` vì `void` biểu thị sự "không có kiểu dữ liệu". Do đó, việc khai báo `void v = 0;` là sai cú pháp. Chương trình sẽ báo lỗi biên dịch vì trình biên dịch không thể xác định kích thước và cách lưu trữ cho biến `v`.

Toán tử điều kiện (ternary operator) trong C có cú pháp như sau: `condition ? expression_if_true : expression_if_false`.

* Đáp án A: `a>b? c = 20 : c = 21;` là cách sử dụng đúng. Nó kiểm tra điều kiện `a>b`. Nếu đúng, `c` được gán giá trị 20; nếu sai, `c` được gán giá trị 21.
* Đáp án B: `a>b? c = 20;` là sai. Toán tử điều kiện yêu cầu cả hai phần `expression_if_true` và `expression_if_false` phải được cung cấp.
* Đáp án C: `max = a>b? a>c?a:c:b>c?b:c;` là cách sử dụng đúng (dù hơi khó đọc). Nó sử dụng toán tử điều kiện lồng nhau để tìm giá trị lớn nhất trong ba biến `a`, `b`, và `c`.
* Đáp án D: `trả về (a>b)?(a:b);` là cách sử dụng đúng. Nó trả về `a` nếu `a>b` đúng, ngược lại trả về `b`.

Vì có nhiều hơn một đáp án đúng, nên đáp án C là đầy đủ nhất vì nó bao hàm được cách sử dụng toán tử điều kiện lồng nhau. Tuy nhiên, A và D vẫn đúng cú pháp.
Câu hỏi có thể gây nhầm lẫn vì có nhiều đáp án đúng. Ở đây, ta chọn đáp án tổng quát nhất.