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

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];
    }
}