MISRA C:2012 Rule 8.6

An identifier with external linkage shall have exactly one external definition

描述

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

An identifier with external linkage shall have exactly one external definition ¹ .

如果您使用一个在不同文件中存在多个定义或根本不存在定义的标识符，则行为是未定义的。

即使各个定义相同，此规则也不允许在不同文件中存在多个定义。

仅当多个定义出现在不同文件中时，该检查项才会将这些定义标记出来。

该检查项不会将暂定的定义视为定义。例如，以下代码没有违反该规则：

int val;
int val=1;

如果一个函数根本没有定义，但采用外部链接形式进行声明并在源代码中被调用，则该检查项不会显示违规。

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

第一个源文件：


/* file1.c */
extern int var = 1; /* Non compliant */

第二个源文件：


/* file2.c */
int var = 0;

在此示例中，全局变量 var 被多次定义。除非显式使用 static 限定符进行定义，否则这些变量具有外部链接。

头文件：


/* file.h */
int func(int param);

第一个源文件：


/* file1.c */
#include "file.h"

int func(int param) { /* Non compliant */
    return param+1;
}

第二个源文件：


/* file2.c */
#include "file.h"

int func(int param) {  
    return param-1;
}

在此示例中，函数 func 被多次定义。除非显式使用 static 限定符进行定义，否则这些函数具有外部链接。

组：声明和定义

类别：必需

AGC 类别：必需

在 R2014b 中推出

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

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