c - 函数指针和另一种类型之间的转换 [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) 时，我收到以下错误：

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

我需要使用typedef吗？

我尝试如下，但没有奏效。

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

score 6 · Accepted Answer

空参数列表void func ()并不意味着函数不接受参数，而是函数接受任何参数。在 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
};

score 1 · Accepted Answer

的正确定义pfGetVal是：

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

除非您打算在程序执行期间修改此数组，否则应将其定义为常量数据：

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

2 回答 2