函数指针和另一种类型之间的转换 [MISRA 2012 规则 11.1，需要] | pclint 9074

问题描述

我使用如下的函数指针数组来避免代码中出现 switch 语句。

void E_func1(void);
void E_func2(void);
void E_func3(void);

void (*pfGetVal[3])() = {
      E_func1,E_func2,E_func3
}; 

但是在运行 misra (pclint) 时，我收到以下错误：

函数指针和另一种类型之间的转换 [MISRA 2012 规则 11.1，必需]

我需要使用 typedef 吗？

我尝试过如下但没有成功。

void (*pfGetVal[3])();  
pfGetVal[0] = E_func1;
pfGetVal[1] = E_func2;
pfGetVal[2] = E_func3;

解决方法

空参数列表void func ()不是意味着一个函数不接受任何参数，而是一个接受任何参数的函数。在 C 中，() 形式已过时，不应使用。

不要与 void func () 和 void func (void) 相同的 C++ 混淆。

一些编译器允许从 () 到 (void) 样式函数指针的隐式转换，但严格来说它们是不同的类型，并且在类型安全方面，MISRA-C 检查器比主流编译器更加迂腐。

通过将函数指针列表声明为 void (*pfGetVal[3])(void) 来解决此问题。或者更好：

typedef void GetVal (void);

GetVal* const pfGetVal[3] = 
{
  E_func1,E_func2,E_func3
}; 

,

pfGetVal 的正确定义是：

void (*pfGetVal[3])(void) = {
      E_func1,E_func3
};

除非你打算在程序执行过程中修改这个数组，否则你应该将它定义为常量数据：

void (* const pfGetVal[3])(void) = {
      E_func1,E_func3
};