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

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

1 个答案: