Làm cách nào để biết biến số nguyên C có được ký không?

Question

Như một bài tập, tôi muốn viết một macro cho tôi biết nếu một biến số nguyên được ký. Đây là những gì tôi có cho đến nay và tôi nhận được kết quả tôi mong đợi nếu tôi thử điều này trên một biến char với gcc -fsigned-char hoặc -funsigned-char.

#define ISVARSIGNED(V) (V = -1, (V < 0) ? 1 : 0) 

Đây có phải là thiết bị di động không? Có cách nào để làm điều này mà không phá hủy giá trị của biến?

Answer 1

#define ISVARSIGNED(V) ((V)<0 || (-V)<0 || (V-1)<0) 

không làm thay đổi giá trị của V. Các thử nghiệm thứ ba xử lý các trường hợp V == 0.

Mở trình biên dịch của tôi (gcc/Cygwin) hoạt động này cho int và long nhưng không phải cho char hoặc short.

#define ISVARSIGNED(V) ((V)-1<0 || -(V)-1<0) 

cũng thực hiện công việc trong hai thử nghiệm.

Answer 2

#define ISVARSIGNED(V) ((-(V) < 0) != ((V) < 0)) 

Không phá hủy giá trị của biến. Nhưng không hoạt động với 0 giá trị.

gì về:

#define ISVARSIGNED(V) (((V)-(V)-1) < 0) 

Answer 3

Nếu bạn đang sử dụng GCC bạn có thể sử dụng từ khóa typeof để không ghi đè giá trị:

#define ISVARSIGNED(V) ({ typeof (V) _V = -1; _V < 0 ? 1 : 0 }) 

Điều này tạo ra một biến tạm thời, _V, mà có cùng loại với V.

Vì tính di động, tôi không biết. Nó sẽ làm việc trên một máy khen của hai (tất cả mọi thứ mã của bạn sẽ bao giờ chạy trên tất cả các xác suất), và tôi tin rằng nó sẽ làm việc trên khen của một người và máy đăng ký và cường độ là tốt. Lưu ý phụ, nếu bạn sử dụng typeof, bạn có thể muốn truyền -1 đến typeof (V) để làm cho an toàn hơn (tức là ít có khả năng kích hoạt cảnh báo).

Answer 4

Một đặc điểm phân biệt của phép toán đã ký/chưa ký là khi bạn chuyển đúng số đã ký, bit quan trọng nhất sẽ được sao chép. Khi bạn thay đổi một số không dấu, các bit mới là 0.

#define HIGH_BIT(n) ((n) & (1 << sizeof(n) * CHAR_BITS - 1)) 
#define IS_SIGNED(n) (HIGH_BIT(n) ? HIGH_BIT(n >> 1) != 0 : HIGH_BIT(~n >> 1) != 0 

Vì vậy, về cơ bản, macro này sử dụng biểu thức có điều kiện để xác định xem số bit cao có được đặt hay không. Nếu không, macro sẽ đặt nó bằng cách đảo ngược số bit. Chúng tôi không thể thực hiện phủ định số học vì -0 == 0. Chúng tôi sau đó chuyển ngay bằng 1 bit và kiểm tra xem có mở rộng ký hiệu hay không.

Giả định số học bổ sung 2, nhưng đó thường là giả định an toàn.

Answer 5

Giải pháp đơn giản này không có tác dụng phụ, kể cả lợi ích của việc chỉ đề cập đến v một lần (điều quan trọng trong macro). Chúng tôi sử dụng phần mở rộng gcc "typeof" để có được những loại v, và sau đó đúc -1 đến loại hình này:

#define IS_SIGNED_TYPE(v) ((typeof(v))-1 <= 0) 

Đó là < = thay vì chỉ < để tránh cảnh báo trình biên dịch cho một số trường hợp (khi kích hoạt).

Answer 6

Tại sao bạn cần nó làm macro?Mẫu là điều tuyệt vời cho việc này:

template <typename T> 
bool is_signed(T) { 
    static_assert(std::numeric_limits<T>::is_specialized, "Specialize std::numeric_limits<T>"); 
    return std::numeric_limits<T>::is_signed; 
} 

Việc này sẽ hoạt động ngoài mọi loại tích hợp cơ bản. Nó cũng sẽ thất bại tại thời gian biên dịch trên con trỏ, mà phiên bản chỉ sử dụng phép trừ và so sánh có thể sẽ không.

EDIT: Rất tiếc, câu hỏi đòi hỏi C. Tuy nhiên, mẫu là cách thoải mái: P

Answer 7

Một cách tiếp cận khác nhau để tất cả các "làm cho nó tiêu cực" câu trả lời:

#define ISVARSIGNED(V) (~(V^V)<0) 

Bằng cách đó không cần phải có trường hợp đặc biệt cho các giá trị khác nhau của V, vì ∀ V ∈ ℤ, V^V = 0.