【MISRA C 2012】Rule 5.1 外部标识符应该是不同的

本文主要是介绍【MISRA C 2012】Rule 5.1 外部标识符应该是不同的，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

1. 规则

1.1 原文

Rule 5.1 External identifiers shall be distinct
Category Required
Analysis Decidable, System
Applies to C90, C99

1.2 分类

规则5.1：外部标识符应该是不同的
Required必须类规范。

2. 关键描述

该规则要求不同的外部标识符在实现所施加的限制内是不同的。

distinct的定义取决于正在使用的C语言的实现和版本:

•在C90中，最低要求是外部标识符的前6个字符是重要的，但它们的大小写不需要是重要的;

•在C99中，最低要求是外部标识符的前31个字符是有效的，每个通用字符或相应的扩展源字符占用6到10个字符。

在实践中，许多实现提供了更大的限制。例如，C90中的外部标识符通常是区分大小写的，并且至少前31个字符是有效的

如果两个标识符仅在非重要字符上不同，则行为未定义。如果考虑可移植性，则使用标准中指定的最小限制来应用此规则将是谨慎的。长标识符可能会损害代码的可读性。虽然许多自动代码生成系统会生成较长的标识符，但将标识符长度保持在远低于此限制的水平是有充分理由的。注意:在C99中，如果扩展源字符出现在外部标识符中，并且该字符没有对应的通用字符，则标准没有指定它占用多少字符。

3. 代码实例

例1，规范中例程：
在下面的示例中，所有定义都出现在同一个翻译单元中。所讨论的实现在外部标识符中支持31个重要的区分大小写的字符

/* 1234567890123456789012345678901********* Characters */
int32_t engine_exhaust_gas_temperature_raw;
int32_t engine_exhaust_gas_temperature_scaled; /* Non-compliant */
/* 1234567890123456789012345678901********* Characters */
int32_t engine_exhaust_gas_temp_raw;
int32_t engine_exhaust_gas_temp_scaled; /* Compliant */

例2，
在下面的不兼容示例中，该实现在外部标识符中支持6个不区分大小写的重要字符。两个翻译单元中的标识符不同，但其有效字符并不明显

/* file1.c */
int32_t abc = 0;
/* file2.c */
int32_t ABC = 0;

这篇关于【MISRA C 2012】Rule 5.1 外部标识符应该是不同的的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---