MISRA C:2012 Rule 11.5

A conversion should not be performed from pointer to void into pointer to object

全页展开

描述

规则定义

A conversion should not be performed from pointer to void into pointer to object ¹ .

理由

如果将指向 void 的指针转换为指向对象的指针，则结果指针可能会对齐错误。不正确的对齐会导致未定义的行为。但是，有时这种转换是必要的，例如在使用内存分配函数时。

Polyspace 实现

从 NULL 或 (void*)0 进行的显式转换或隐式转换不会触发警告。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

从指针转换为 `void`

void foo(void) {

    unsigned int  u32a = 0;
    unsigned int  *p32 = &u32a;
    void          *p;
    unsigned int  *p16;

    p   = p32;                /* Compliant - pointer to uint32_t 
                               *            into pointer to void */
    p16 = p;                  /* Non-compliant */

    p   = (void *) p16;       /* Compliant */  
    p32 = (unsigned int *) p; /* Non-compliant */  
}

在此示例中，当类型为 void* 的指针 p 被转换为其他类型的指针时，则违反了该规则。

当将指向非 void 类型的指针 p16 和 p32 强制转换为 void* 时，该规则未被违反。

检查信息

组：指针类型转换

类别：建议

AGC 类别：建议

版本历史记录

在 R2014b 中推出

全部展开

R2024b: 当 `void*` 空指针常量转换为对象指针时，不再报告违规

Polyspace^® 不再报告将具有 void* 类型的空指针常量转换为对象指针时出现的违规情况。请参考以下代码：

void foo(void) {
	int *ptr = (void *)0;    // No violation
}

表达式 (void *)0 评估为一个类型为 void* 的空指针常量。然后，该指针被隐式转换为 int*。Polyspace 不再报告此代码的违规情况。

另请参阅

MISRA C:2012 Rule 11.2 | MISRA C:2012 Rule 11.3 | 检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.