本页翻译不是最新的。点击此处可查看最新英文版本。

MISRA C:2012 Rule 5.8

Identifiers that define objects or functions with external linkage shall be unique

描述

默认 Polyspace® as You Code 分析中反激活了此检查项。请参阅Checkers Deactivated in Polyspace as You Code Analysis (Polyspace Access)。

规则定义

Identifiers that define objects or functions with external linkage shall be unique 1 .

理由

外部标识符是用全局作用域或存储类 extern 声明的标识符。开发人员可能因为重用外部标识符名称产生疑惑。

在函数内定义的标识符具有较小的作用域。即使这类标识符的名称不唯一，它们也不太可能引起混淆。

报告中的补充消息

  • 对象 XX 与对象名称 YY 冲突。

  • 函数 XX 与函数名称 YY 冲突。

故障排除

如果您预计存在违规，但未看到该违规，请参阅Diagnose Why Coding Standard Violations Do Not Appear as Expected。

检查信息

组：标识符
类别：必需
AGC 类别：必需

版本历史记录

在 R2014b 中推出

另请参阅

|

主题

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++:2008

  • MISRA C++:2023

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