位域是否总是与联合成员具有相同的值？

Question

假设我们有以下联合

union {
        struct {
                unsigned a : 3;
                unsigned b : 10;
                unsigned c : 3;
        } s;
        unsigned i;
} u;

如果 u.i 具有某个值 u.s 或者此实现是否已定义，您能否依赖 u.s = { .a = A, .b = B, .c = C } 始终具有相同的值？