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

У меня есть API с общедоступной структурой A и внутренней структурой B, и мне нужно иметь возможность преобразовать структуру B в структуру A. Является ли следующий код законным и четко определенное поведение в C99 (и VS 2010 / C89) и C ++ 03 / C ++ 11? Если это так, пожалуйста, объясните, что делает его четко определенным. Если это не так, что является наиболее эффективным и кроссплатформенным средством для преобразования между двумя структурами?

struct A {
uint32_t x;
uint32_t y;
uint32_t z;
};

struct B {
uint32_t x;
uint32_t y;
uint32_t z;
uint64_t c;
};

union U {
struct A a;
struct B b;
};

int main(int argc, char* argv[]) {
U u;
u.b.x = 1;
u.b.y = 2;
u.b.z = 3;
u.b.c = 64;

/* Is it legal and well defined behavior when accessing the non-write member of a union in this case? */
DoSomething(u.a.x, u.a.y, u.a.z);

return 0;
}

ОБНОВИТЬ

Я упростил пример и написал два разных приложения. Один основан на memcpy, а другой использует объединение.

Союз:

struct A {
int x;
int y;
int z;
};

struct B {
int x;
int y;
int z;
long c;
};

union U {
struct A a;
struct B b;
};

int main(int argc, char* argv[]) {
U u;
u.b.x = 1;
u.b.y = 2;
u.b.z = 3;
u.b.c = 64;
const A* a = &u.a;
return 0;
}

тетср:

#include <string.h>

struct A {
int x;
int y;
int z;
};

struct B {
int x;
int y;
int z;
long c;
};

int main(int argc, char* argv[]) {
B b;
b.x = 1;
b.y = 2;
b.z = 3;
b.c = 64;
A a;
memcpy(&a, &b, sizeof(a));
return 0;
}

Профилированная сборка [DEBUG] (Xcode 6.4, компилятор C ++ по умолчанию):

Вот соответствующая разница в сборке для режима отладки. Когда я профилировал сборку релиза, в сборке не было никакой разницы.

Союз:

movq     %rcx, -48(%rbp)

тетср:

movq    -40(%rbp), %rsi
movq    %rsi, -56(%rbp)
movl    -32(%rbp), %edi
movl    %edi, -48(%rbp)

Предостережение:

Пример кода, основанного на union, выдает предупреждение о том, что переменная ‘a’ не используется. Поскольку профилированная сборка является отладочной, я не знаю, есть ли какое-либо влияние.