std :: is_signed non funziona per le enumerazioni fortemente tipizzati: int

Question

Qualcuno può spiegare, perché

#include <iostream> 
#include <type_traits> 
using namespace std; 
enum E : signed int { a=-1, b = 1,}; 
int main() { 
    std::cout << std::boolalpha; 
    cout << "strong typed enum E:int should be signed, but is_signed returns " 
    << is_signed<E>() << "\n"; 
    return 0; 
} 

std :: is_signed <> non fa, quello che dice sulla latta? Grazie ...

Answer 1

Se guardiamo la documentazione per is_signed si dice:

Se T è un tipo aritmetico firmato, fornisce il valore costante pari membro vera. Per qualsiasi altro tipo, il valore è falso.

e un enum non è un tipo aritmetico, quindi il risultato dovrebbe essere falso. Dal progetto C++ 11 sezione standard 3.9.1 tipi fondamentali [basic.fundamental]:

[...] tipi integrali e galleggianti sono chiamati collettivamente aritmetica tipi [...]

È possibile ottenere il tipo sottostante per un enum utilizzando std::underlying_type e quindi applicare std::is_signed a quel tipo.

Answer 2

Per la cronaca, per sapere se il tipo sottostante di un enum fortemente tipizzato (cioè non l'enumerazione stessa, che can't be controllato per signedness) è firmato o no, è possibile interrogare std::underlying_type<E>::type:

std::is_signed<std::underlying_type<E>::type>::value 

o definire il proprio tratto:

#include <type_traits> 

template <typename T> 
struct identity { using type = T; }; 

template <typename T> 
struct is_signed 
    : std::is_signed<typename std::conditional<std::is_enum<T>::value 
              , std::underlying_type<T> 
              , identity<T>>::type::type> {}; 

DEMO