Tôi đã lần ra một con bọ cực kỳ khó chịu ẩn sau viên ngọc nhỏ này. Tôi biết rằng theo thông số C ++, tràn có dấu là hành vi không xác định, nhưng chỉ khi tràn xảy ra khi giá trị được mở rộng đến chiều rộng bit sizeof(int). Theo tôi hiểu, việc tăng một charkhông bao giờ nên là hành vi không xác định miễn là sizeof(char) < sizeof(int). Nhưng điều đó không giải thích được cách cnhận được một giá trị bất khả thi . Là một số nguyên 8 bit, làm thế nào có thể cgiữ các giá trị lớn hơn chiều rộng bit của nó?
Mã
// Compiled with gcc-4.7.2
#include <cstdio>
#include <stdint.h>
#include <climits>
int main()
{
int8_t c = 0;
printf("SCHAR_MIN: %i\n", SCHAR_MIN);
printf("SCHAR_MAX: %i\n", SCHAR_MAX);
for (int32_t i = 0; i <= 300; i++)
printf("c: %i\n", c--);
printf("c: %i\n", c);
return 0;
}Đầu ra
SCHAR_MIN: -128
SCHAR_MAX: 127
c: 0
c: -1
c: -2
c: -3
...
c: -127
c: -128 // <= The next value should still be an 8-bit value.
c: -129 // <= What? That's more than 8 bits!
c: -130 // <= Uh...
c: -131
...
c: -297
c: -298 // <= Getting ridiculous now.
c: -299
c: -300
c: -45 // <= ..........Kiểm tra nó trên Ideone.
61
"Tôi biết rằng theo thông số C ++, các lỗi tràn có dấu là không xác định." -- Đúng. Nói một cách chính xác, không chỉ giá trị là không xác định, mà còn là hành vi . Dường như nhận được kết quả không thể thực hiện được là một hậu quả hợp lệ.
@hvd Tôi chắc rằng ai đó có lời giải thích về cách các triển khai C ++ phổ biến gây ra hành vi này. Có lẽ nó phải làm với căn chỉnh hoặc làm thế nào
—
rliu
printf()để chuyển đổi?
Những người khác đã giải quyết vấn đề chính. Nhận xét của tôi là tổng quát hơn và liên quan đến các phương pháp chẩn đoán. Tôi tin rằng một phần lý do tại sao bạn tìm thấy một câu đố như vậy là niềm tin cơ bản rằng nó không thể giải quyết được. Rõ ràng, nó không phải là bất khả thi, vì vậy chấp nhận điều đó và tìm kiếm một lần nữa
—
Tim X
@TimX - Tôi đã quan sát hành vi và rõ ràng rút ra kết luận rằng nó không phải là không thể theo nghĩa đó. Việc sử dụng từ của tôi để chỉ số nguyên 8 bit chứa giá trị 9 bit, đó là một định nghĩa không thể xảy ra. Thực tế là điều này đã xảy ra cho thấy rằng nó không được coi là một giá trị 8-bit. Như những người khác đã giải quyết, đây là do lỗi trình biên dịch. Các chỉ dường như bất khả thi ở đây là một giá trị 9-bit trong một không gian 8-bit, và bất khả thi rõ ràng này được giải thích bởi không gian thực sự là "lớn hơn" so với báo cáo.
—
Chưa ký
Tôi vừa thử nghiệm nó trên mechine của mình, và kết quả đúng như mong muốn. c: -120 c: -121 c: -122 c: -123 c: -124 c: -125 c: -126 c: -127 c: -128 c: 127 c: 126 c: 125 c: 124 c: 123 c: 122 c: 121 c: 120 c: 119 c: 118 c: 117 Và môi trường của tôi là: Ubuntu-12.10 gcc-4.7.2
—
VELVETDETH