C语言中如何用字符数组初始化结构体的数值字段？

原写法的核心问题 #

你尝试的(uint64_t)((uint8_t[8]){'T','T','T','T','T','T','T','T'})这种写法，本质是违反C标准的：C语言不允许将数组类型（哪怕是复合字面量数组）直接强制转换为标量类型（如uint64_t、uint16_t）。

你看到uint64_t能编译，是因为部分编译器（比如GCC）提供了非标准扩展，允许这种不合规的转换，但这属于未定义行为——字节序、对齐规则、编译器优化都可能导致结果完全不符合预期。而uint16_t编译报错，大概率是你的编译选项（如-pedantic）触发了更严格的标准合规检查，或是编译器对小标量类型的扩展支持有限。

正确的初始化方式 #

以下两种方法均符合C标准，能可靠实现ASCII字符到数值字段的字节映射：

方法1：用Union实现内存共享 #

Union的所有成员共享同一块内存空间，是实现字节级映射最直观的方式：

#include <stdio.h>
#include <stdint.h>

// 分别定义对应数值类型的Union
union Uint64Bytes {
    uint64_t num;
    uint8_t chars[8];
};

union Uint16Bytes {
    uint16_t num;
    uint8_t chars[2];
};

// 目标结构体
typedef struct {
    union Uint64Bytes field64;
    union Uint16Bytes field16;
} MyStruct;

int main() {
    MyStruct s = {
        .field64.chars = {'T','T','T','T','T','T','T','T'},
        .field16.chars = {'A','B'}
    };

    // 逐字节打印结构体内存
    char *ptr = (char*)&s;
    for (size_t i = 0; i < sizeof(MyStruct); i++) {
        printf("%c ", ptr[i]);
    }
    printf("\n");

    // 验证数值字段（可选）
    printf("field64数值: 0x%lx\n", s.field64.num);
    printf("field16数值: 0x%hx\n", s.field16.num);

    return 0;
}

这种方式直接对应内存布局，无编译器依赖，结果完全可控。

方法2：用memcpy手动拷贝字节 #

如果不想使用Union，可通过memcpy直接将字符数组拷贝到数值字段：

#include <stdio.h>
#include <stdint.h>
#include <string.h>

typedef struct {
    uint64_t field64;
    uint16_t field16;
} MyStruct;

int main() {
    MyStruct s = {0}; // 先初始化零值

    // 初始化uint64_t字段
    uint8_t chars64[8] = {'T','T','T','T','T','T','T','T'};
    memcpy(&s.field64, chars64, sizeof(s.field64));

    // 初始化uint16_t字段
    uint8_t chars16[2] = {'A','B'};
    memcpy(&s.field16, chars16, sizeof(s.field16));

    // 逐字节打印
    char *ptr = (char*)&s;
    for (size_t i = 0; i < sizeof(MyStruct); i++) {
        printf("%c ", ptr[i]);
    }
    printf("\n");

    return 0;
}

注意：编译器可能会在结构体字段间插入填充字节以满足对齐要求，打印时会包含这些填充字节（通常为0）。

两种类型编译差异的原因 #

你遇到的uint64_t可编译、uint16_t报错的情况，本质是编译器非标准扩展的行为差异：

• 部分编译器对较大的标量类型（如uint64_t）宽松处理，允许数组到标量的强制转换，但这完全是编译器私有扩展，不具备可移植性。
• 对于uint16_t，要么你的编译选项开启了严格标准检查（如-pedantic），要么编译器对小标量类型的扩展支持有限，因此直接抛出合规性错误。

无论哪种情况，这种强制转换的写法都不可靠，必须摒弃。

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