Khắc phục cảnh báo "so sánh luôn luôn là sai ..." trong GCC

Question

Tôi đang gặp sự cố mà tôi chắc chắn là đơn giản để khắc phục nhưng tôi bị lỗ ...

Tôi có mẫu thực hiện đoạn mã sau:

T value  = d; 
if (std::numeric_limits<T>::is_signed) 
{ 
    if (value < 0) 
    { 
     *this += _T("-"); 
     value = -(signed)value; 
    } 
} 

Bây giờ cho, lý do rõ ràng, GCC là cho tôi một cảnh báo (so sánh luôn là sai do nhiều hạn chế về kiểu dữ liệu) khi mã này được biên soạn cho một kiểu unsigned. Tôi hoàn toàn hiểu được lý do đằng sau này và tôi đặt trong kiểm tra numeric_limits để xem nếu tôi có thể nhận được trình biên dịch để đóng lên về nó (nó làm việc cho MSVC). Than ôi theo GCC tôi nhận được cảnh báo. Có cách nào (ngắn tắt cảnh báo mà tôi thậm chí không biết nếu bạn có thể làm với GCC) để khắc phục cảnh báo này? Mã sẽ không bao giờ được gọi là anyway và tôi sẽ giả định người tối ưu hóa sẽ biên dịch nó ra là tốt, nhưng tôi không thể thoát khỏi cảnh báo.

Ai đó có thể cho tôi giải pháp cho vấn đề này không?

Chúc mừng!

Answer 1

giải pháp đơn giản hơn:

template <typename T> inline bool isNegative(T value) { 
    return std::numeric_limits<T>::is_signed && value < 0; // Doesn't trigger warning. 
} 

T value  = d; 
if (isNegative(value)) // Doesn't trigger warning either. 
{ 
    *this += _T("-"); 
    value = -1 * value; 
} 

Answer 2

Ai đó có thể cho tôi giải pháp cho vấn đề này không?

Không có gì mang tính cách mạng, nhưng tôi thường làm điều này bằng cách quá tải. Nội dung nào đó dọc theo các dòng đó:

//Beware, brain-compiled code ahead! 
template< bool B > 
struct Bool { const static bool result = B; } 

template< typename T > 
void do_it(T& , Bool<false> /*is_signed*/) 
{ 
    // nothing to do for unsigned types 
} 

template< typename T > 
void do_it(T& value, Bool<true> /*is_signed*/) 
{ 
    if (value < 0) { 
     *this += _T("-"); 
     value = -(signed)value; 
    } 
} 

template< typename T > 
void do_something(T& value) 
{ 
    do_it(value, Bool<std::numeric_limits<T>::is_signed>()); 
} 

Nếu bạn có thể sử dụng mẫu lớp thay vì mẫu chức năng, bạn có thể sử dụng chuyên môn thay vì quá tải. (Không có chức năng mẫu chuyên môn hóa một phần, mà làm cho chức năng chuyên các mẫu hơn một chút rắc rối.)

Answer 3

Bạn có thể chuyên chức năng của bạn như thế này:

template <bool S> 
void manipulate_sign(T&) {} 

template <> 
void manipulate_sign<true>(T& value) { 
    if (value < 0) 
    { 
    *this += _T("-"); 
    value = -(signed)value; 
    } 
} 

//then call like this: 
manipulate_sign<std::numeric_limits<T>::is_signed>(); 

Chỉ cần vô hiệu hóa các cảnh báo có thể được tốt hơn mặc dù.

Answer 4

Xem https://stackoverflow.com/a/8658004/274937 cho các giải pháp thực, cho phép đàn áp -Wtype hạn cảnh báo từng trường hợp cụ thể. Tóm lại, chỉ cần quấn từng so sánh, tạo ra cảnh báo, thành một hàm giả.