c语言指针不匹配,关于指针：为什么此代码不符合MISRA-C 2012规则11.3

我很难理解以下代码为什么给我两个关于规则11.3的错误

#define NUM_TASKS 3

typedef struct

{

void (*TaskFunc)(void);

uint32_t     Periodicity;

uint32_t     StartOffset;

} TaskConfig_t;

typedef enum

{

IDLE,

RUNNING

} TaskStatus_t;

typedef struct

{

uint32_t ExecTime;

uint32_t MinExecTime;

uint32_t MaxExecTime;

} TaskMetrics_t;

typedef struct

{

uint32_t TimeToRun;

uint8_t OverrunCnt;

TaskStatus_t Status;

TaskMetrics_t Metrics;

} TaskParam_t;

typedef struct

{

uint32_t *CpuUtilizationPercent;

uint32_t *Counter;

TaskParam_t *Params;

TaskConfig_t *Tasks;

uint8_t NumTasks;

} PPTS_Config_t;

static uint32_t PPTS_CpuUtilizationPercent;

static uint32_t PPTS_Counter;

static TaskParam_t TaskParams[NUM_TASKS];

static TaskConfig_t TaskConfig[NUM_TASKS];

const PPTS_Config_t CnfPPTS =

{

&PPTS_CpuUtilizationPercent,

&PPTS_Counter,

TaskParams,  /* MISRA-C rule 11.3 violation */

TaskConfig,   /* MISRA-C rule 11.3 violation */

NUM_TASKS

};

在这两种情况下，错误均为：在对象类型的指针与其他对象类型的指针之间不应执行强制转换

这里的问题是TaskParams和TaskConfig都是相同类型的指针，分别是结构元素Params和Tasks。 我不明白为什么我不能将TaskParams分配给* Params如果它们具有完全相同的类型。 我放错了什么吗？

非常感谢您的帮助，我希望这可以得到解释，因为我真的很沮丧。

编辑：如果有帮助，我已包括所有相关的数据类型。

问候。

如前所述，数组不是指针。以下工作正常吗：&TaskParams[0]？ @Olaf，不确定您是说TaskParams不可写，还是其内容不可写。

@Kupiakos：对不起，我不清楚。数组的名称/地址是不可写的，当然数组的内容是可写的。

＆TaskParams [0]也不起作用。

请引用您得到的确切错误消息。

这是确切的引号：违反MISRA-C规则11.3：[R]不得在对象类型的指针和其他对象类型的指针之间执行强制转换

您的合规检查器可能有故障。它的实现质量不存在。什么...您是说我不能在不同的指针类型之间转换，并且您没有在命名这些类型？好吧，您必须在汽车行业工作！

尝试指定的初始化程序。并检查检查工具的更新/勘误(不是第一个报告误报的工具)。

我不知道，维基百科列出了一堆，尝试那些免费评估的。我不知道它们中的任何一个是否好，我不相信MISRA-C，幸运的是我没有被迫使用它。

@ n.m .：是的，用于汽车行业，是在这里强制执行。另外，检查器也适用于Altium制造的工具，因此我认为有很多错误。是TriCore Eclipse IDE v5.0r2

在发布的代码中的任何地方都没有执行强制转换。我相信11.3在没有显式提供类型转换运算符(通常称为" cast")的情况下不可能适用。

上面的精确代码段是否会产生错误，还是您提供了尚未通过该工具实际运行的代码的简化视图？您是否可以实际提供一个最小的可编译示例，该示例也会产生错误？

@jxh：那是完全相同的代码片段，我什至没有更改名称。

您可以向我们展示TaskParam_t和TaskConfig_t的typedef吗？虽然没关系，但这不是违反。

@Veriloud：Ive包含了所有相关的数据类型。我不知道，MISRA规则检查就像使用klockwork进行错误检查一样。

@ m4l490n，是的，在更新的示例中没有什么奇怪的，这不是违反规定，n.m。是正确的(尽管不相信MISRA是错误的；-)

@ m4l490n：几天前您遇到类似的问题，因此我强烈建议您相信自己的智慧而不是工具。遇到下一个错误时，请先将供应商踢入bu **。如果以后证明是错误的，则不会造成任何伤害。

我看到的一个强制转换是从int32_t(NUM_TASKS不是未签名的)到uint8_t(uint8_t NumTasks)。不知道您的misra工具是如何发现的。

MISRA-C 2004 6.10.7暗示强制类型转换是显式类型转换，并以(type)value的形式给出了大量示例。 这与该术语的通用定义是一致的。 我相信我们可以使用此定义来讨论MISRA-C合规性。

在发布的代码中的任何地方都没有执行强制转换。 11.3说了一些有关在不同类型之间进行转换的内容。 我认为11.3无论所涉及的类型是什么，都不能适用于没有上述定义的强制转换的情况。

我得出的结论是，检查程序存在错误，而那是一个严重错误。

n.m. 是正确的，我和我的工具都找不到完全违反11.3的理由。

另外，是的，与常规一样，" MISRA-C：2012 C.1.2显式转换"中定义了强制类型转换。