MISRA 2004规则8.3:澄清

Question

在我的代码中使用MISRA之前，我只想澄清以下是否违反了MISRA。我从一个文件中调用一个函数，如下所示：

(void)Dem_SetEventStatus((Dem_EventIdType)(dtcFlt_t.dtc[dtcIndex]),DEM_EVENT_STATUS_FAILED);

在这里，Dem_SetEventStatus在一个头部中定义如下：

 extern FUNC(Std_ReturnType, RTE_CODE) Dem_SetEventStatus (Dem_ASR42_EventIdType EventId, Dem_ASR42_EventStatusType EventStatus);

这里Dem_EventIdType是unit8的类型定义，Dem_ASR42_EventIdType是unsigned short。

那么，会有违反MISRA 8.3的行为吗？我怎样才能防止它呢？

Answer 1

此规则与调用函数无关。

MISRA-C:2004规则8.3是关于定义和声明函数，而不是调用它们。它要求声明和定义是相同的，并且声明必须是prototype格式(8.1)，所有指定的参数类型和给定的名称(16.3)。

这里真正的问题是:如果您知道函数需要Dem_ASR42_EventIdType，那么为什么还要强制转换为不同的类型？这说不通。如果使用强制转换来屏蔽最低的字节，那么应该分几个步骤编写代码：

Dem_EventIdType event_id = (Dem_EventIdType)dtcFlt_t.dtc[dtcIndex];
(void)Dem_SetEventStatus((Dem_ASR42_EventIdType)event_id, DEM_EVENT_STATUS_FAILED);

这不是MISRA要求的，而是常识所要求的。

Answer 2

正如Lundin建议的那样，MISRA-C:2004规则8.3要求声明和定义是相同的……因此，该示例并不违反规则8.3

然而，函数的调用(如图所示)违反了MISRA-C:2004Rule 10.1，因为它包含隐式类型转换。

注意:这个问题也在(官方) MISRA Forum上讨论。

虽然强制转换应该解决这个问题，但最好了解变量的底层类型，并(如果合适)更改定义以协调它们。