„Warnung: Vergleich ist immer wahr“

Question

GCC (4.7.2) mit -Wextra signalisiert die folgende Warnung/Fehler (ich habe -Werror aktiviert):

Vergleich immer wahr ist aufgrund der begrenzten Reichweite von Datentyp [ -Wtype-limits]

für den folgenden Code [try online]:

template < 
    typename T, 
    std::size_t N, 
    bool = static_cast<std::size_t>(std::numeric_limits<T>::max()) < N> 
struct validator { 
    static constexpr bool validate(T value) { 
     return static_cast<std::size_t>(value) < N; 
    } 
}; 

template <typename T, std::size_t N> 
struct validator<T, N, true> { 
    static constexpr bool validate(T) { 
     return true; 
    } 
}; 

int main() { 
    // Works 
    static_assert(validator<int, 4>::validate(3), "Invalid"); 
    // Error :-(
    static_assert(validator<bool, 2>::validate(true), "Invalid"); 
} 

ich verstehe, warum die Warnung in einem auftreten würde, oraler Expressionskontext, z.B.

template <typename T, std::size_t N> 
bool validate(T value) { 
    return static_cast<std::size_t>(value) < N; 
} 

- In der Tat, das ist, warum ich die spezielle Vorlage in erster Linie bin mit (und beachten Sie, dass die richtige Vorlage Spezialisierung verwendet wird, und den Fehler in meinem ersten: wenn ich hätte die folgende validate Funktion Code wird vom Template-Argument ausgelöst, nicht innerhalb der Funktion in der unspezialisierten Vorlage). Gibt es einen Weg um diese Warnung? Wenn nicht, ist das nicht ein Fehler im Compiler?

Answer 1

Dies hat in GCC Stamm fest, siehe PR 11856

So etwa Ende April warten und nutzt GCC 4.8 :-)

Answer 2

Da kann ich nicht warten, bis dieses Problem behoben ist (siehe Jonathan Antwort) ich habe selektiv die Warnung mit GCC #pragma Erweiterungen deaktiviert:

#pragma GCC diagnostic push 
#pragma GCC diagnostic ignored "-Wtype-limits" 
static_assert(validator<bool, 2>::validate(true), "Invalid"); 
#pragma GCC diagnostic pop 

Beachten Sie, dass diese Pragmas leider müssen die Aufruf Code umgeben sogar thoug h Der tatsächliche Fehler tritt im Template-Parameter auf.

Answer 3

Hier ist eine Abhilfe:

template < 
    typename T, 
    std::size_t N, 
    bool = static_cast<std::size_t>(std::numeric_limits<T>::max()) < N> 
struct validator { 
    static constexpr bool validate(T value) { 
     return size_t_cast(value) < N; 
    } 
private: 
    static constexpr std::size_t size_t_cast(T value) { 
     return value; 
    } 
}; 

template <typename T, std::size_t N> 
struct validator<T, N, true> { 
    static constexpr bool validate(T) { 
     return true; 
    } 
}; 

Dies ist das Beispiel ohne Fehler in GCC 4.7.2 kompiliert werden können.