Điều kiện Yoda và quảng bá số nguyên

Question

Khi so sánh một loại lớn hơn int, với hằng số nguyên, tôi có nên đặt hằng số ở bên trái hoặc bên phải để đảm bảo việc so sánh chính xác được thực hiện không?

int64_t i = some_val; 
if (i == -1) 

hoặc nó nên là:

if (-1 == i) 

Có bất kỳ tình huống mà cả hai trường hợp là không giống với so với -1LL (nơi int64_t là long long)?

Answer 1

Việc bạn đặt nó ở phía bên phải hay bên tay trái không quan trọng; toán tử == hoàn toàn đối xứng.

Nếu cả hai toán hạng cho toán tử == có loại số học, như trong trường hợp này, thì "chuyển đổi số học thông thường" được áp dụng (C99 §6.5.9). Trong trường hợp này, các quy tắc áp dụng là:

Nếu cả hai toán hạng đã ký các kiểu nguyên hoặc cả hai đã chưa được ký loại nguyên, các toán hạng với loại cấp bậc chuyển đổi số nguyên ít được chuyển đổi sang kiểu của toán hạng với thứ hạng cao hơn. (C99 §6.3.1.8)

Vì vậy, -1 được chuyển thành int64_t. -1LL không có sự khác biệt.