C语言中实浮点类型可别名复浮点类型吗？指针转换访问是否违反严格别名？

根据C标准规定：每种复数类型的表示和对齐要求与包含恰好两个对应实类型元素的数组类型相同；第一个元素等于复数的实部，第二个元素等于虚部。

基于上述标准描述，能否安全地将_Complex float *转换为float *，并通过float *访问复数的实部和虚部？这种操作是否会违反严格别名规则，进而引发未定义行为？

示例代码：

_Complex float c;

((float *)&c)[0] = 1;
((float *)&c)[1] = 2;

c; // 1 + 2i

结论：该操作安全，不违反严格别名规则 #

C标准已明确复数类型的内存布局与对应实类型的双元素数组完全一致，对齐要求也相同，且元素与实部、虚部的对应关系清晰。

虽然严格别名规则通常限制用不同类型指针访问同一内存，但针对复数类型的特殊定义，这种访问方式是被允许的——标准直接绑定了复数对象的存储结构与双元素实数组，因此通过float*访问_Complex float的内存内容符合标准规定，不属于未定义行为。

主流编译器（如GCC、Clang）均支持该写法，不会产生异常优化或运行行为问题。

内容的提问来源于stack exchange，提问作者CPlus