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

Question

我正在使用下面的函数指针数组来避免代码中的 switch 语句。

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

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

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

conversion between a pointer to function and another type [MISRA 2012 Rule 11.1, required]

我需要使用 typedef 吗？

我试过如下但没有成功。

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

Answer 1

空参数列表 void func () 不是表示函数不带参数，而是接受 any 参数的函数。在 C 中，() 形式是过时的样式，永远不应使用。

不要与 C++ 混淆，其中 void func () 和 void func (void) 相同。

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

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

typedef void GetVal (void);

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

Answer 2

pfGetVal 的正确定义是：

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

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

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

conversion between a pointer to function and another type [MISRA 2012 Rule 11.1, required] | pclint 9074