Sök…


Anmärkningar

Fackföreningar är mycket användbara verktyg, men har några viktiga varningar:

  • Det är odefinierat beteende, enligt C ++ -standarden, att få åtkomst till ett element i en union som inte var den senaste modifierade medlemmen. Även om många C ++ -kompilatorer tillåter denna åtkomst på väldefinierade sätt, är detta tillägg och kan inte garanteras över kompilatorer.

    En std::variant (eftersom C ++ 17) är som en union, bara den berättar vad den för närvarande innehåller (en del av dess synliga tillstånd är typen av värdet den har vid ett givet ögonblick: det tvingar fram tillgång till värde som bara sker till den typen).

  • Implementeringar anpassar inte nödvändigtvis medlemmar i olika storlekar till samma adress.

Grundläggande unionsfunktioner

Fackföreningar är en specialiserad struktur inom vilken alla medlemmar har överlappande minne.

union U {
    int a;
    short b;
    float c;
};
U u;

//Address of a and b will be equal
(void*)&u.a == (void*)&u.b;
(void*)&u.a == (void*)&u.c;

//Assigning to any union member changes the shared memory of all members
u.c = 4.f;
u.a = 5;
u.c != 4.f;

Typisk användning

Fackföreningar är användbara för att minimera minnesanvändningen för exklusiva data, till exempel vid implementering av blandade datatyper.

struct AnyType {
    enum {
        IS_INT,
        IS_FLOAT
    } type;
    
    union Data {
        int as_int;
        float as_float;
    } value;

    AnyType(int i) : type(IS_INT) { value.as_int = i; }
    AnyType(float f) : type(IS_FLOAT) { value.as_float = f; }

    int get_int() const {
        if(type == IS_INT)
            return value.as_int;
        else
            return (int)value.as_float;
    }
    
    float get_float() const {
        if(type == IS_FLOAT)
            return value.as_float;
        else
            return (float)value.as_int;
    }
};

Odefinierat beteende

union U {
    int a;
    short b;
    float c;
};
U u;

u.a = 10;
if (u.b == 10) {
   // this is undefined behavior since 'a' was the last member to be
   // written to. A lot of compilers will allow this and might issue a
   // warning, but the result will be "as expected"; this is a compiler
   // extension and cannot be guaranteed across compilers (i.e. this is
   // not compliant/portable code).
}


Modified text is an extract of the original Stack Overflow Documentation
Licensierat under CC BY-SA 3.0
Inte anslutet till Stack Overflow