C语言全float成员结构体遍历校验赋值遗漏字段问题咨询

• 指针自增时机错误：现有代码在while条件中先执行FirstAddres++再做赋值/校验操作，直接跳过了结构体的第一个float成员，导致第一个字段永远不会被初始化为MAX_FLOAT，也不会被校验逻辑检测。
• 指针运算类型错误：计算LastAddres时直接用XApcInputs*类型的指针做加法，C语言指针加法的步长是指针指向类型的大小，也就是说APC_input + N等价于地址偏移N * sizeof(XApcInputs)，而不是你想要的N个float的偏移，会导致遍历范围完全越界，访问非法内存。
• 结构体填充风险：C标准允许编译器在结构体成员之间插入填充字节用于地址对齐，虽然当前结构体全是float成员大概率不会有填充，但一旦后续组件更新结构体新增不同类型成员、或者编译器配置修改，这种遍历方式就会出错，属于非标准用法。
• 浮点数初始值冲突风险：如果业务逻辑中MAX_FLOAT可能作为合法参数值存在，会出现误判，建议更换为业务不可能用到的特殊值作为初始化标记。

#include <stdint.h>
#include <stdbool.h>
#include <math.h>
// 这里用NAN作为初始标记比MAX_FLOAT更稳妥，业务不会用到非数作为合法参数
#define INIT_MARK NAN

void Apc_InterfaceIterInitStruct(XApcInputs *APC_input)
{
    // 先转为float*类型再做指针运算
    float* cur = (float*)APC_input;
    uint32_t member_cnt = sizeof(XApcInputs) / sizeof(float);
    for(uint32_t i = 0; i < member_cnt; i++)
    {
        cur[i] = INIT_MARK;
    }
}

bool Apc_InterfaceIterValidStruct(XApcInputs *APC_input)
{
    float* cur = (float*)APC_input;
    uint32_t member_cnt = sizeof(XApcInputs) / sizeof(float);
    for(uint32_t i = 0; i < member_cnt; i++)
    {
        if(isnan(cur[i]))
            return false;
    }
    return true;
}

如果想要完全规避结构体对齐带来的风险，建议放弃遍历实现，改为显式给每个成员赋值初始化。这种方式在后续组件更新结构体新增字段时，编译阶段就能发现未初始化的字段，不会出现运行时遍历的隐藏问题。

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