Описание
Флаги средства проверки правила:
Объекты, которые задаются в осциллографе файла без спецификатора static
, но используются только в одном файле.
Функции, которые заданы без спецификатора static
, но названы только в одном файле.
Если вы намереваетесь использовать объект или функцию в одном файле только, объявите его статичный.
Объекты, которые задаются в осциллографе файла без спецификатора static
, но используются только в одном файле.
Функции, которые заданы без спецификатора static
, но названы только в одном файле.
Polyspace® Bug Finder™ и Polyspace Code Prover™ проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
Риск
Соответствие с этим правилом избегает беспорядка между вашим идентификатором и идентичным идентификатором в другом модуле перевода или библиотеке. Если вы ограничиваете или уменьшаете видимость объекта путем предоставления ему внутренней связи или никакой связи, вас, или кто-то еще, менее вероятно, получит доступ к объекту непреднамеренно.
Пример - переменная с внешней связью, используемой в одном файле
Заголовочный файл:
/* file.h */
extern int var;
Первый исходный файл:
/* file1.c */
#include "file.h"
int var; /* Compliant */
int var2; /* Non compliant */
static int var3; /* Compliant */
void reset(void);
void reset(void) {
var = 0;
var2 = 0;
var3 = 0;
}
Второй исходный файл:
/* file2.c */
#include "file.h"
void increment(int var2);
void increment(int var2) {
var++;
var2++;
}
В этом примере:
Объявление var
совместимо, потому что var
объявляется с внешней связью и используется в нескольких файлах.
Объявление var2
несовместимо, потому что var2
объявляется с внешней связью, но используется в одном файле только.
Может казаться, что var2
задан в обоих файлах. Однако во втором файле, var2
является параметром без связи и не является тем же самым как var2
в первом файле.
Объявление var3
совместимо, потому что var3
объявляется с внутренней связью (со спецификатором static
) и используется в одном файле только.
Пример - функционирует с внешней связью, используемой в одном файле
Заголовочный файл:
/* file.h */
extern int var;
extern void increment1 (void);
Первый исходный файл:
/* file1.c */
#include "file.h"
int var;
void increment2(void);
static void increment3(void);
void func(void);
void increment2(void) { /* Non compliant */
var+=2;
}
static void increment3(void) { /* Compliant */
var+=3;
}
void func(void) {
increment1();
increment2();
increment3();
}
Второй исходный файл:
/* file2.c */
#include "file.h"
void increment1(void) { /* Compliant */
var++;
}
В этом примере:
Определение increment1
совместимо, потому что increment1
задан с внешней связью и назван в различном файле.
Объявление increment2
несовместимо, потому что increment2
задан с внешней связью, но назван в том же файле и больше нигде.
Объявление increment3
совместимо, потому что increment3
задан с внутренней связью (со спецификатором static
) и назван в том же файле и больше нигде.