c - 使用 `union` 在整数和数组之间输入双关语？

Question

在整数和整数数组之间进行类型双关是否合法？

具体代码:

#include <nmmintrin.h>
#include <stdint.h>

union   Uint128 {
    __uint128_t uu128;
    uint64_t    uu64[2];
};

static inline   uint_fast8_t    popcnt_u128 (__uint128_t n)
{
    const union Uint128 n_u     = {.uu128 = n};
    const uint_fast8_t  cnt_a   = _mm_popcnt_u64(n_u.uu64[0]);
    const uint_fast8_t  cnt_b   = _mm_popcnt_u64(n_u.uu64[1]);
    const uint_fast8_t  cnt     = cnt_a + cnt_b;

    return  cnt;
}

Answer 1

是的，C 标准明确预见了通过 union 在所有数据类型之间进行类型双关。没有针对阵列的特殊规定会禁止这样做。