C++ неограниченного союза обходного

Question

#include <stdio.h> 

struct B { int x,y; }; 

struct A : public B { 
    // This whines about "copy assignment operator not allowed in union" 
    //A& operator =(const A& a) { printf("A=A should do the exact same thing as A=B\n"); } 
    A& operator =(const B& b) { printf("A = B\n"); } 
}; 

union U { 
    A a; 
    B b; 
}; 

int main(int argc, const char* argv[]) { 
    U u1, u2; 
    u1.a = u2.b; // You can do this and it calls the operator = 
    u1.a = (B)u2.a; // This works too 
    u1.a = u2.a; // This calls the default assignment operator >:@ 
} 

Есть ли обходной путь, чтобы быть в состоянии сделать это последнюю строку u1.a = u2.a с точно таким же синтаксисом, но это называют operator = (не волнует, если это = (B &) или = (A &)) вместо того, чтобы просто копировать данные? Или неограниченные союзы (не поддерживаемые даже в Visual Studio 2010) - единственный вариант?

Answer 1

C++ does not allow for a data member to be any type that has a full fledged constructor/destructor and/or copy constructor, or a non-trivial copy assignment operator.

Это означает, что структура A может иметь только оператор присваивания копии по умолчанию (сгенерированный компилятором) или не иметь его вообще (объявлен как частный, без определения).

Вы сбиваете с толку copy assignment operator vs assignment operator здесь. Оператор присваивания копии является особым случаем. В вашем примере A& operator =(const B & b) не классифицируется как оператор присваивания копий, это просто оператор присваивания, а C++ не ограничивает вас тем, что он в классе помещается в объединение. Но когда объект присваивается копированием, оператор вызова копирования (который вы назвали оператором назначения по умолчанию ) все равно будет вызываться.

Существует не обходное решение, позволяющее создать пользовательский оператор присваивания копий. Первое решение, которое приходит на ум, состоит в том, чтобы этот оператор был свободной функцией, но это тоже не допускается.

Так что вам нужно придумать альтернативную функцию вместо назначения. Ближе всего было бы использовать какой-то другой оператор, например <<:

выхода

#include <stdio.h> 

struct B { int x, y; }; 

struct A : B 
{ 
    A& operator =(const B& b) { printf("A = B\n"); return *this; } 
}; 

union U { 
    A a; 
    B b; 
}; 

A & operator << (A & lhs, const B & rhs) 
{ 
    printf ("A & operator << (const A & lhs, const B & rhs)\n"); 
    return lhs = rhs; 
} 

int 
main() 
{ 
    U u1, u2; 
    u1.a << u2.b; 
    u1.a << u2.a; 
} 

Это будет следующее:

$ ./test 
A & operator << (const A & lhs, const B & rhs) 
A = B 
A & operator << (const A & lhs, const B & rhs) 
A = B 

На всяком случае, есть unrestricted unions in C++0x.

Надеюсь, это поможет.