MISRA 2004规则8.3：澄清

Question

我想在我的代码中使用它之前澄清以下是否违反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的typedef为unit8，Dem_ASR42_EventIdType为unsigned short。

那么，是否会违反MISRA 8.3？我怎么能阻止它？

Answer 1

此规则与调用函数无关。

MISRA-C：2004规则8.3是关于定义和声明函数，而不是调用它们。它要求声明和定义相同，声明必须采用原型格式（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：2004规则10.1，因为它包含隐式类型转换。

注意：这个问题也在（官方）MISRA Forum

上进行讨论

虽然转换应解决问题，但最好理解变量的基础类型，并（如果适用）更改定义以协调它们。