C语言：如何声明任意字节大小的对象类型以实现无类型遍历数组？

问题描述 #

希望以类型无关的方式遍历数组，将void*转换为任意字节大小的对象数组。已知数组长度和元素大小，但不清楚元素的具体类型，是否存在安全且可移植的实现方式？

目前想到的方案是创建一个结构体，其唯一成员为指定大小的char数组，但不确定该方案的安全性与可移植性，担心存在对齐问题及其他未考虑到的隐患。示例代码如下：

void myFunc(void * arrV, int len, size_t arrSize, size_t itemSize) {
  // type definition, for array item of size itemSize
  struct xxxx {char[itemSize];};
  struct xxxx * arr = (struct xxxx *) arrV;
  for (int i = 0; i < len; i++) {
    if (i == 100) {
      struct xxxx arrItem = arr[i];
      // do something with arrItem;
    }
  }
}

你的方案存在的问题 #

你的结构体方案不可移植且存在安全隐患，主要问题有两点：

1. 结构体大小可能被编译器填充：不同编译器或编译选项下，结构体的大小可能不等于itemSize。例如当itemSize=3时，部分编译器会将结构体对齐到4字节，导致sizeof(struct xxxx)=4，此时遍历数组的步长错误，会访问到错误的内存区域，触发未定义行为。
2. 对齐不匹配风险：如果原数组元素的对齐要求高于char数组的对齐要求（比如原元素是int，需要4字节对齐），将结构体实例赋值给局部变量后，该变量的存储可能无法满足原类型的对齐要求，后续若转换为原类型指针会导致未定义行为。

安全可移植的实现方式 #

直接使用unsigned char*进行字节级别的指针运算和访问，这是符合C标准的做法——C标准允许任何对象的指针转换为字符类型指针，且通过字符指针访问对象的字节表示是严格别名规则的例外情况。

示例代码 #

#include <string.h>

void myFunc(void *arrV, int len, size_t itemSize) {
    unsigned char *arrBytes = (unsigned char *)arrV;
    
    for (int i = 0; i < len; i++) {
        if (i == 100) {
            // 计算第i个元素的起始地址
            unsigned char *itemAddr = arrBytes + i * itemSize;
            
            // 方式1：直接通过itemAddr访问元素的字节内容
            // 例如打印第一个字节：printf("%02x", itemAddr[0]);
            
            // 方式2：复制元素到局部变量（C99及以后支持变长数组）
            // 注意：若itemSize过大，变长数组可能导致栈溢出，建议改用动态分配
            unsigned char itemCopy[itemSize];
            memcpy(itemCopy, itemAddr, itemSize);
            
            // 对itemCopy进行操作...
        }
    }
}

关键说明 #

• 指针运算安全：unsigned char的对齐要求是1，转换void*到unsigned char*不会有对齐问题，通过i * itemSize计算的元素起始地址完全准确，不会出现步长错误。
• 避免对齐问题：使用memcpy复制元素时，不关心目标内存的对齐情况，仅逐字节复制，能安全处理任意对齐要求的元素。
• 栈溢出防护：如果元素大小itemSize较大，不要使用变长数组，改用malloc动态分配内存，使用完成后记得free：

  unsigned char *itemCopy = malloc(itemSize);
  if (itemCopy != NULL) {
      memcpy(itemCopy, itemAddr, itemSize);
      // 操作元素...
      free(itemCopy);
  }
  

内容的提问来源于stack exchange，提问作者Theo d'Or