MISRA C:2023 Rule 11.3

R2026b

A conversion shall not be performed between a pointer to object type and a pointer to a different object type

自 R2024a 起

全页展开

描述

A conversion shall not be performed between a pointer to object type and a pointer to a different object type 1 .

理由

如果将指向某个对象的指针转换为指向其他对象的指针，得到的指针可能不会正确对齐。对齐不正确会导致未定义行为。

即使转换后生成的指针是正确对齐的，如果使用该指针访问对象，其行为仍可能未定义。

作为例外，MISRA C:2023 标准允许将指向非限定对象类型的指针转换为指向以下类型之一的指针：

  • char

  • signed char

  • unsigned char

Polyspace 实现

如果使用与对象类型不同的类型来访问对象，Polyspace® 会报告违规。当指针类型与所指向对象的类型在类型限定符（例如 const）上存在差异时，也会报告违规。

故障排除

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

示例

全部展开

signed   char *p1;
unsigned int *p2;

void foo(void){ 
  p2 = ( unsigned int * ) p1;     /* Non-compliant */				
}

在此示例中，p1 可以指向 signed char 对象。但是，p1 强制转换为指向更宽类型对象（即 unsigned int）的指针。

extern unsigned int read_value ( void );
extern void display ( unsigned int n );

void foo ( void ){
  unsigned int u = read_value ( );
  unsigned short *hi_p = ( unsigned short * ) &u;    /* Non-compliant  */	
  *hi_p = 0;                                         
  display ( u );                                     
}

在此示例中，u 是一个 unsigned int 变量。&u 强制转换为指向更窄类型对象（即 unsigned short）的指针。

在 big-endian 计算机上，*hi_p = 0 语句尝试清除 &u 所指向的内存位置的高位。但是，从 display(u) 的结果来看，您可能会发现高位没有被清除。

typedef struct {
	int iNum1;
}A;

typedef struct {
	int iNum2;
}B;

void bar(A*);

void foo() {
	B wrappedNum2;
	bar(&wrappedNum2); /* Noncompliant*/

}

在此示例中，在调用 bar 时，B 类型的 struct 对象 wrappedNum2 隐式强制转换为 A 类型的 struct 对象。Polyspace 标记出了该隐式强制转换。

const short *p;
const volatile short *q;
void foo (void){
  q = ( const volatile short * ) p;  /* Compliant */								
}

在此示例中，p 和 q 都指向 short 对象。它们之间的强制转换只添加了一个 volatile 限定符，因此是合规的。

检查信息

组：指针类型转换
类别：必需
AGC 类别：必需
PQL 名称：std.misra_c_2023.R11_3

版本历史记录

在 R2024a 中推出

全部展开

另请参阅

| | |

主题

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.