MISRA C:2023 Rule 11.5

R2026b

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

自 R2024a 起

全页展开

描述

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 类别：建议

PQL 名称：std.misra_c_2023.R11_5

版本历史记录

在 R2024a 中推出

全部展开

R2026a: 改进了对从指向 void 的指针显式强制转换为指向对象的指针的检测

规则检查项能够更准确地识别将指向 void 的指针显式强制转换为指向对象的指针的情形。例如：

typedef struct
{
    int x1;
    int x2;
    int x3;
} hidden_data_t;

void process(void) {

    hidden_data_t instance = {0};
    unsigned short *alias = (unsigned short *)(void *)&instance;  // Noncompliant

}

Polyspace 对 (unsigned short *)(void *)&instance 的显式强制转换报告违规。

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

当 Polyspace^® 类型的空指针常量转换为指向对象的指针时，void* 不再报告违规。请参考以下代码：

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

表达式 (void *)0 的计算结果为一个 void* 类型的空指针常量。随后，该指针隐式转换为 int*。Polyspace 不再报告此代码违规。

另请参阅

检查 MISRA C:2023 (-misra-c-2023) | MISRA C:2023 Rule 11.2 | MISRA C:2023 Rule 11.3

主题

检查并审查编码标准违规

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:2025
MISRA C++:2008
MISRA C++:2023

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