能否用单个C函数合法序列化任意维度float数组而不触发UB？

可以明确地说：完全可以写出符合C标准、无UB的通用序列化函数，不需要为每个维度单独写实现，有两种合规的方案可以选择：

方案1：通过unsigned char指针逐字节遍历（最通用、100%合规） #

C标准明确规定任何对象都可以通过unsigned char类型的指针遍历其对象表示，多维数组的内存布局本身就是连续按行优先排列的，所以我们可以直接把数组的首地址转成unsigned char*，按总字节数遍历输出即可，完全不涉及数组越界访问的UB问题。

示例实现代码：

#include <stdio.h>

void serializeNfloatarray(FILE *stream, const void *arr, size_t ndims, const size_t *dims) {
    if (ndims == 0 || arr == NULL || dims == NULL) return;
    // 先输出维度信息
    fprintf(stream, "%zu ", ndims);
    size_t num_items = 1;
    for (size_t i = 0; i < ndims; i++) {
        fprintf(stream, "%zu ", dims[i]);
        num_items *= dims[i];
    }
    // 按字节遍历整个数组的内存，逐个输出float值
    const unsigned char *base = (const unsigned char *)arr;
    for (size_t i = 0; i < num_items; i++) {
        const float *curr = (const float *)(base + i * sizeof(float));
        fprintf(stream, "%f ", *curr);
    }
}

调用方式非常简单，直接传数组首地址即可：

size_t dim1[] = {5};
serializeNfloatarray(stdout, a, 1, dim1);

size_t dim2[] = {4,4};
serializeNfloatarray(stdout, b, 2, dim2);

size_t dim4[] = {7,2,4,5};
serializeNfloatarray(stdout, c, 4, dim4);

这种方案完全符合C标准的规定，不存在任何UB。

方案2：使用memcpy批量读取（写法更简洁） #

如果觉得逐元素遍历麻烦，也可以直接把整个数组的内容批量拷贝到临时一维数组再输出，C标准同样保证memcpy对连续内存的对象复制是合法的：

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

void serializeNfloatarray(FILE *stream, const void *arr, size_t ndims, const size_t *dims) {
    if (ndims == 0 || arr == NULL || dims == NULL) return;
    fprintf(stream, "%zu ", ndims);
    size_t num_items = 1;
    for (size_t i = 0; i < ndims; i++) {
        fprintf(stream, "%zu ", dims[i]);
        num_items *= dims[i];
    }
    // 动态分配临时一维数组，拷贝后输出
    float *buf = malloc(num_items * sizeof(float));
    if (buf) {
        memcpy(buf, arr, num_items * sizeof(float));
        for (size_t i = 0; i < num_items; i++) {
            fprintf(stream, "%f ", buf[i]);
        }
        free(buf);
    }
}

这种方案的性能和你原来的写法几乎没有差异，同样100%合规。

补充说明：你之前的写法虽然在几乎所有编译器上都能正常运行，但确实不符合C标准对数组指针边界的规定，本质上属于UB，用上面两种方案替换后就可以完全规避这个问题，不需要为每个维度单独编写函数。

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