如何按MISRA规范正确转换NULL？MISRA 10.5规则合规咨询

问题核心 #

MISRA 10.5禁止将表达式的值转换为不适当的基本类型，直接用(char *)NULL或char *msg = NULL触发规则的原因是：C标准中NULL可能被定义为0或(void*)0，当它是0时，整数直接转指针属于不适当的类型转换，违反规则。

正确处理方式 #

1. 显式通过void*转换 #

先把NULL转为void*再转目标指针类型，完全符合MISRA对指针转换的要求：

char *msg = (char *)(void *)NULL;

函数传参场景同理：

func((char *)(void *)NULL);

2. 自定义类型安全的空指针宏 #

如果项目中频繁使用，可自定义宏简化操作：

#define NULL_CHAR_PTR ((char *)(void *)NULL)
// 使用示例
char *msg = NULL_CHAR_PTR;

3. 直接用整数0初始化（不推荐） #

MISRA允许指针直接初始化为0，但这种方式可读性差，远不如显式转换清晰：

char *msg = 0;

合规原因 #

MISRA允许void*与其他指针类型的合法转换，通过(void*)NULL将空指针标准化为void*类型，再转目标指针，避免了整数到指针的直接转换，完全满足10.5规则的要求。

内容的提问来源于stack exchange，提问作者Imtiaz Kabir