C89: ký hiệu/không khớp không khớp

Question

Các ký tự không khớp đã ký/không dấu có nhất thiết không?

Đây là chương trình của tôi:

int main(int argc, char *argv[]) { 
    unsigned int i; 

    for (i = 1; i < argc; i++) { // signed/unsigned mismatch here 

    } 
} 

argc được ký kết, i thì không. Đây co phải vân đê?

Answer 1

"các ký tự không khớp/đã ký" có thể không hợp lệ. Trong câu hỏi của bạn, bạn đang hỏi về sự so sánh. Khi so sánh hai giá trị của cùng một loại cơ sở, nhưng một giá trị đã ký và một dấu chưa ký, giá trị đã ký được chuyển thành unsigned. Vì vậy,

int i = -1; 
unsigned int j = 10; 

if (i < j) 
    printf("1\n"); 
else 
    printf("2\n"); 

in 2, chứ không phải 1. Điều này là do trong i < j, i được chuyển đổi thành một unsigned int. (unsigned int)-1 bằng UINT_MAX, một số rất lớn. Do đó, điều kiện đánh giá là sai và bạn nhận được mệnh đề else.

Ví dụ cụ thể của bạn, argc được đảm bảo là không âm, vì vậy bạn không phải lo lắng về "không khớp".

Answer 2

Nó không phải là một vấn đề thực sự trong trường hợp cụ thể của bạn, nhưng trình biên dịch không thể biết rằng argc sẽ luôn luôn có giá trị mà sẽ không gây ra bất kỳ vấn đề.

Answer 3

Nó chỉ là gián tiếp một vấn đề.

Những điều xấu có thể xảy ra nếu bạn sử dụng số nguyên đã ký cho các hoạt động bitwise như &, |, << và >>.
điều xấu hoàn toàn khác nhau có thể xảy ra nếu bạn sử dụng số nguyên unsigned cho số học (underflow, vòng lặp vô hạn khi kiểm tra nếu một số là >= 0 vv)

Bởi vì điều này, một số trình biên dịch và các công cụ kiểm tra tĩnh sẽ phát đi cảnh báo khi bạn kết hợp các số nguyên đã ký và chưa ký trong một trong hai loại thao tác (thao tác số học hoặc bit).

Mặc dù nó có thể an toàn để trộn chúng trong các trường hợp đơn giản như ví dụ của bạn, nếu bạn làm điều đó có nghĩa là bạn không thể sử dụng các công cụ kiểm tra tĩnh đó (hoặc phải vô hiệu hóa các cảnh báo đó có thể có nghĩa là các lỗi khác không bị phát hiện.

Đôi khi bạn không có lựa chọn, ví dụ: khi thực hiện số học về các giá trị loại size_t trong mã quản lý bộ nhớ.

Trong ví dụ của bạn, tôi sẽ dính vào int, chỉ vì đơn giản hơn để có ít loại hơn và int sẽ ở trong đó vì đó là loại đối số đầu tiên là main().

Answer 4

Không tệ. Tôi muốn sửa chữa cảnh báo trình biên dịch liên quan đến ký/không khớp không khớp vì những điều xấu có thể xảy ra ngay cả khi chúng không có hoặc không thể. Khi bạn phải sửa một lỗi vì sự không khớp đã ký/unsigned, trình biên dịch về cơ bản là nói "Tôi đã nói với bạn như vậy". Đừng bỏ qua cảnh báo của nó ở đó vì một lý do.