Câu hỏi về hành vi C đối với dòng số nguyên không dấu

Question

Tôi đã đọc ở nhiều nơi mà tràn số nguyên được xác định rõ trong C không giống như đối tác đã ký.

Dòng dưới có giống nhau không?

Ví dụ:

unsigned int x = -1; // Does x == UINT_MAX? 

Cảm ơn.

Tôi không thể nhớ lại ở đâu, nhưng tôi đọc ở đâu đó số học về các loại tích phân không dấu là mô-đun, vì vậy nếu trường hợp đó là -1 == UINT_MAX mod (UINT_MAX + 1).

Answer 1

§6.2.5, đoạn 9:

Một tính toán liên quan đến unsigned toán hạng có thể không bao giờ tràn, bởi vì một kết quả mà không thể được đại diện bởi kết quả kiểu dữ liệu integer unsigned được giảm modulo số đó là một trong số lớn hơn giá trị lớn nhất mà có thể được biểu thị bằng kết quả là loại .

Edit:

Xin lỗi, tài liệu tham khảo sai, nhưng kết quả vẫn ghìm chặt. Các tài liệu tham khảo chính xác được §6.3.1.3 (có chữ ký và số nguyên unsigned chuyển đổi):

nếu kiểu mới là unsigned, giá trị được chuyển đổi bởi nhiều lần cộng hoặc trừ một hơn giá trị tối đa mà có thể được thể hiện trong loại mới cho đến khi giá trị nằm trong phạm vi loại mới.

Vì vậy, có, x == UINT_MAX.

Answer 2

-1, khi được biểu thị bằng số bổ sung của 2, số tiền là 0xFF ... F cho số lượng bit của bạn bao nhiêu. Trong không gian số không dấu, giá trị đó là giá trị lớn nhất có thể (nghĩa là tất cả các bit được đặt). Do đó có, x == UINT_MAX. Đoạn mã sau phát ra "1" trên trình biên dịch nghiêm ngặt C99:

#include <stdio.h> 
#include <stdint.h> 
#include <limits.h> 

int main(int argc, char **argv){ 
    uint32_t x = -1;  
    printf("%d", x == UINT_MAX ? 1 : 0); 
    return 0; 
} 

Answer 3

Bạn đang trộn các số đã ký và chưa ký, không được thực hiện.

unsigned int x = 0u - 1u; // is OK though