从传递给符合MISRA规则17.4的函数的void指针参数访问所有数组元素

Question

只嵌入C.

我需要一个函数将无符号数据从每个字节的4字节数组字节复制到输出参数(两者都作为参考传递).函数应该符合MISRA 17.4并且应该支持输出参数的不同无符号整数数据类型(考虑输入将始终具有填充输出的无符号字节的确切数量)

所以我的代码是:

static void copy_array(const void * src, void * dest, const uint8_t lenght_bytes)
{
    uint8_t i;
    const uint8_t * src_8 = (const uint8_t*)src;
    uint8_t * dest_8 = (uint8_t*)dest;
    for (i = 0u; i < lenght_bytes; i++)
    {
        *(dest_8 + i) = *(src_8 + i);
    }
}

static void func(void)
{
    uint8_t data[] = {0xEFu, 0xCDu, 0x0u, 0x0u};
    uint16_t dest_16;
    uint32_t dest_32;

    copy_array(data, &dest_16, sizeof(dest_16));

    data[0] = 0xEFu;
    data[1] = 0xCDu;
    data[2] = 0xABu;
    data[3] = 0x89u;

    copy_array(data, &dest_32, sizeof(dest_32));
}

因此,MISRA仅将指针算术运算限制为数组索引,因此,我的函数不兼容.是否有任何智能方法可以避免规则或执行相同操作但符合MISRA标准？

Answer 1

首先,这不是有效的C:

uint8_t data[4] = {0xEFu, 0xCDu, NULL, NULL};

由于NULL可能是表单的空指针常量(void*)0.替换NULL在0这里.

至于旧的MISRA-C:2004关于阵列索引的要求是唯一允许的形式,它主要是无意义的,并已在当前的MISRA-C:2012中得到修复.话虽如此,您的代码中不需要显式指针算法,因此该规则在这里是有意义的.

只需修复这个功能:

static void copy_array(const void* src, void* dest, const uint8_t lenght_bytes)
{
    uint8_t i;
    const uint8_t* src_8 = src;
    uint8_t* dest_8 = dest;

    for (i = 0u; i < lenght_bytes; i++)
    {
        dest_8[i] = src_8[i];
    }
}