Differenza tra std :: is_signed <T> e std :: numeric_limits <T> :: is_signed?

Question

Entrambi std::is_signed<T> e std::numeric_limits<T>::is_signed devono fornire risposte sulla firma di T.
Perché ora ci sono due indicatori per la firma (ad esempio da C++ 11)?

Answer 1

Ho intenzione di azzardare un'ipotesi che l'unica differenza è se std::numeric_limits<T> è specializzato per un tipo definito dall'utente. Un tipo così definito dall'utente potrebbe ovviamente fornire il proprio valore per is_signed. Tuttavia, la richiesta di std::is_signed<T>::value su questo tipo restituirà sempre false a meno che lo std::is_signed<T> non sia specializzato in modo indipendente.

Sembra come se la condizione che std::is_signed<T> rappresenta è

is_arithmetic<T>::value && T(-1) < T(0) 

---

Aggiornamento: Il sempre-informato Howard Hinnant points out che mentre std::numeric_limits<> può essere legalmente specializzato, nulla in <type_traits> è consentito essere specializzato se non diversamente specificato, e is_signed non è specificato come specializzabile.

Pertanto, std::numeric_limits<T>::is_signedpuò ritorno true per un tipo definito dall'utente (se è stata specializzata), ma std::is_signed<T>::value sarà sempre tornare false per i tipi definiti dall'utente.