修復「比較始終是假的......」在GCC

Question

警告我有，我相信是簡單修復，但我不知所措的問題...

我有一個模板，執行以下代碼：

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

現在的，原因很明顯，GCC是給我一個警告（比較總是由於數據類型的範圍有限假）時，該代碼被編譯爲一個無符號的類型。我完全理解這個背後的原因，並且我在numeric_limits檢查中查看是否可以讓編譯器關閉它（它對MSVC有效）。唉，在GCC下我得到了警告。有沒有什麼辦法可以解決這個警告？（缺少禁用我甚至不知道你是否可以用GCC做的警告）？代碼永遠不會被調用，我會認爲優化器也會將其編譯出來，但我無法擺脫警告。

有人可以給我一個解決方案嗎？

乾杯！

Answer 1

簡單的解決方案：

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

有人可以給我一個解決方案嗎？

什麼都沒有革命性的，但我通常通過重載來做到這一點。類似的規定：

//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>()); 
} 

如果你可以使用類模板而不是函數模板，你可以用專業化，而不是超載。 （有沒有函數模板部分特例，這使得專業函數模板更麻煩的一點。）

Answer 3

你可以專注你的函數是這樣的：

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>(); 

只是禁用警告可能會更好，但。

Answer 4

爲真正的解決方案，它允許抑制-Wtype-限制查看https://stackoverflow.com/a/8658004/274937警告逐案。簡而言之，只需將生成警告的每個比較包裝到一個虛擬函數中即可。