Casting zu int oder float je nach is_integer

Question

Ich habe eine Art T, und in einigen Fällen kann es, zum Beispiel char, aber ich möchte seinen Integralwert, nicht das Zeichen ausgeben. Dazu ist haben die folgenden:

typedef (std::numeric_limits<T>::is_integer ? int : float) FormatType; 
os << static_cast<FormatType>(t); 

jedoch, dies zu kompilieren schlägt fehl, die besagt, „error C2275: 'int' : illegal use of this type as an expression“. Prefixing int und float mit typename dreht sich nicht um das Problem. Was fehlt mir hier?

Die folgenden, die ich glaube, äquivalent ist, funktioniert:

if(std::numeric_limits<T>::is_integer) 
{ 
    os << static_cast<int>(t); 
} 
else 
{ 
    os << static_cast<float>(t); 
} 

Answer 1

Was fehlt mir hier?

Sie versuchen, Typen als Ausdrücke zu verwenden. C++ lässt dies einfach nicht zu. Sie können stattdessen über Metaprogrammierung die sogenannte "Kompilierzeit if" verwenden. Zum Beispiel, ich glaube Boost-folgendes bietet:

typedef if_<std::numeric_limits<T>::is_integer, int, double>::type FormatType; 

os << static_cast<FormatType>(t); 

Auf der anderen Hand, Ihre zweite Lösung funktioniert gut, und der Compiler wird herausfinden, dass einer des Zweiges nie wahr sein kann, und es zu beseitigen. Die Leistung wird also in beiden Fällen gleich sein (tatsächlich sollte der exakt gleiche Code generiert werden).

Answer 2

Versuchen ganzheitliche Förderung mit:

os << +t; 

Sie werden eine int aus ihm heraus für einen integralen Typ erhalten, oder Ihre ursprünglicher Gleitkommatyp, wenn es einer war.

Answer 3

gcc akzeptiert es, nicht über andere sicher:

template<bool Expression, typename TrueResult, typename FalseResult> 
    class conditional_type; 

template<typename TrueResult, typename FalseResult> 
class conditional_type<1, TrueResult, FalseResult> { 
public: 
    typedef TrueResult R; 
}; 

template<typename TrueResult, typename FalseResult> 
class conditional_type<0, TrueResult, FalseResult> { 
public: 
    typedef FalseResult R; 
}; 

typedef conditional_type<std::numeric_limits<T>::is_integer,int,float>::R FormatType;