Kann eine Aufzählungsklasse in den zugrunde liegenden Typ konvertiert werden?

112

Gibt es eine Möglichkeit, ein enum classFeld in den zugrunde liegenden Typ zu konvertieren ? Ich dachte, das wäre automatisch, aber anscheinend nicht.

enum class my_fields : unsigned { field = 1 };

unsigned a = my_fields::field;

Diese Abtretung wird von GCC abgelehnt. error: cannot convert 'my_fields' to 'unsigned int' in assignment.

edA-qa mort-ora-y
quelle
4
Wenn Sie in einen zugrunde liegenden Typ konvertieren möchten, verwenden Sie enum.
Pubby
1
Zu Ihrer Information, diese Regel ist in definiert [C++11: 7.2/9].
Leichtigkeitsrennen im Orbit
5
@Pubby Leider verschmutzt 'enum' den äußeren Bereich mit allen Aufzählern. Leider gibt es nicht das Beste aus beiden Welten (ohnehin ab C ++ 14), das den Bereich sauber verschachtelt und gleichzeitig implizit in den Basistyp konvertiert (was ziemlich inkonsistent mit der Art und Weise ist, wie C ++ mit der Vererbung anderer Klassen umgeht, wenn Sie einen abgeleiteten Typ übergeben Wert oder Verweis auf eine Funktion, die einen Basistyp annimmt).
Dwayne Robinson
2
@WayneRobinson Ja, das gibt es. Stecken Sie eine nicht gespeicherte Aufzählung in eine Struktur oder (bevorzugter) einen Namespace. Somit ist es Gültigkeitsbereich und hat immer noch die implizite int-Konvertierung. (Obwohl ich sicher zweimal darüber nachdenken würde, warum Sie in ein int konvertieren müssen und vielleicht überlegen, ob es einen besseren Ansatz gibt.)
Pharap

Antworten:

177

Ich denke, Sie können std :: zugrunde liegender_Typ verwenden , um den zugrunde liegenden Typ zu kennen, und dann cast verwenden:

#include <type_traits> //for std::underlying_type

typedef std::underlying_type<my_fields>::type utype;

utype a = static_cast<utype>(my_fields::field);

Damit müssen Sie den zugrunde liegenden Typ nicht annehmen oder ihn in der Definition des enum classGleichen enum class my_fields : int { .... }oder so nicht erwähnen .

Sie können sogar eine generische Konvertierungsfunktion schreiben , die in den zugrunde liegenden Integraltyp konvertieren kann :enum class

template<typename E>
constexpr auto to_integral(E e) -> typename std::underlying_type<E>::type 
{
   return static_cast<typename std::underlying_type<E>::type>(e);
}

dann benutze es:

auto value = to_integral(my_fields::field);

auto redValue = to_integral(Color::Red);//where Color is an enum class!

Und da die Funktion als deklariert ist constexpr, können Sie sie verwenden, wenn ein konstanter Ausdruck erforderlich ist:

int a[to_integral(my_fields::field)]; //declaring an array

std::array<int, to_integral(my_fields::field)> b; //better!
Nawaz
quelle
Jetzt, wo wir in der Zukunft sind:template <typename T> auto to_integral(T e) { return static_cast<std::underlying_type_t<T>>(e); }
Ryan Haining
1
@ RyanHaining: Danke. (Übrigens haben Sie constexprauch in der Zukunft; in der Tat viel mächtiger als das, was ich 2013 hatte: P)
Nawaz
41

Sie können es nicht implizit konvertieren , aber eine explizite Besetzung ist möglich:

enum class my_fields : unsigned { field = 1 };

// ...

unsigned x = my_fields::field; // ERROR!
unsigned x = static_cast<unsigned>(my_fields::field); // OK

Beachten Sie auch, dass das Semikolon in der Definition Ihrer Aufzählung nach der geschlossenen geschweiften Klammer stehen sollte, nicht vorher.

Andy Prowl
quelle
0

Ich finde die folgende Funktion underlying_castnützlich, wenn Enum-Werte korrekt serialisiert werden müssen.

namespace util
{

namespace detail
{
    template <typename E>
    using UnderlyingType = typename std::underlying_type<E>::type;

    template <typename E>
    using EnumTypesOnly = typename std::enable_if<std::is_enum<E>::value, E>::type;

}   // namespace util.detail


template <typename E, typename = detail::EnumTypesOnly<E>>
constexpr detail::UnderlyingType<E> underlying_cast(E e) {
    return static_cast<detail::UnderlyingType<E>>(e);
}

}   // namespace util

enum SomeEnum : uint16_t { A, B };

void write(SomeEnum /*e*/) {
    std::cout << "SomeEnum!\n";
}

void write(uint16_t /*v*/) {
    std::cout << "uint16_t!\n";
}

int main(int argc, char* argv[]) {
    SomeEnum e = B;
    write(util::underlying_cast(e));
    return 0;
}
James
quelle
0

Wie andere bereits betont haben, gibt es keine implizite Besetzung, aber Sie können eine explizite verwenden static_cast. Ich verwende die folgenden Hilfsfunktionen in meinem Code, um in einen Aufzählungstyp und dessen zugrunde liegende Klasse zu konvertieren.

    template<typename EnumType>
    constexpr inline decltype(auto) getIntegralEnumValue(EnumType enumValue)
    {
        static_assert(std::is_enum<EnumType>::value,"Enum type required");
        using EnumValueType = std::underlying_type_t<EnumType>;
        return static_cast<EnumValueType>(enumValue);
    }

    template<typename EnumType,typename IntegralType>
    constexpr inline EnumType toEnum(IntegralType value)
    {
        static_assert(std::is_enum<EnumType>::value,"Enum type required");
        static_assert(std::is_integral<IntegralType>::value, "Integer required");
        return static_cast<EnumType>(value);
    }

    template<typename EnumType,typename UnaryFunction>
    constexpr inline void setIntegralEnumValue(EnumType& enumValue, UnaryFunction integralWritingFunction)
    {
        // Since using reinterpret_cast on reference to underlying enum type is UB must declare underlying type value and write to it and then cast it to enum type
        // See discussion on /programming/19476818/is-it-safe-to-reinterpret-cast-an-enum-class-variable-to-a-reference-of-the-unde

        static_assert(std::is_enum<EnumType>::value,"Enum type required");

        auto enumIntegralValue = getIntegralEnumValue(enumValue);
        integralWritingFunction(enumIntegralValue);
        enumValue = toEnum<EnumType>(enumIntegralValue);
    }

Verwendungscode

enum class MyEnum {
   first = 1,
   second
};

MyEnum myEnum = MyEnum::first;
std::cout << getIntegralEnumValue(myEnum); // prints 1

MyEnum convertedEnum = toEnum(1);

setIntegralEnumValue(convertedEnum,[](auto& integralValue) { ++integralValue; });
std::cout << getIntegralEnumValue(convertedEnum); // prints 2
GameSalutes
quelle