AUTOSAR C++14 Rule A2-10-4

Имя идентификатора объекта лица, не являющегося членом какой-либо организации, со статической продолжительностью хранения или статической функцией не должно быть снова использовано в пространстве имен

расширьте все на странице

Описание

Управляйте определением

Объяснение

Вы используете пространства имен, чтобы сузить осциллограф идентификаторов, которые вы объявляете в этих пространствах имен. Это препятствует тому, чтобы эти идентификаторы были ошибочны с идентичными идентификаторами в других осциллографах. Если вы снова используете идентификатор со статической продолжительностью хранения в том же пространстве имен через исходные файлы, вы можете перепутать один идентификатор для другого.

Реализация Polyspace

Когда вы снова используете идентификаторы, Polyspace^® отмечает последнее использование идентификатора, если они находятся в том же модуле перевода. Если идентификаторы находятся в отдельных файлах, идентификатор в последнем пути к файлу алфавитным порядком отмечается.
Однако, если вы снова используете идентификатор, но объявляете только один экземпляр идентификатора с ключевым словом static, тот идентификатор отмечается независимо от порядка, в котором объявляются идентификаторы.
Polyspace не повышает нарушения, если вы объявляете идентификатор в пространстве имен, и вы снова используете тот идентификатор в том же пространстве имен, но во вложенном или встроенном пространстве имен. Например, никакое нарушение не повышено на reusedVar в этом фрагменте кода.
```
//file1.cpp
namespace foo {
  static int reusedVar; //resuedVar has static storage duration
}

//file2.cpp
 namespace foo {
  void func();
  namespace nested_foo { 
    float reusedVar;
  }
  inline namespace inlined_foo {
    char reusedVar;
  }
}
    
```

Средство проверки не повышено на неиспользованном коде такой как

Неинстанцированные шаблоны
Невостребованный static или extern функции
Невостребованные и неопределенные локальные функции
Неиспользованные типы и переменные

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

развернуть все

Повторное использование идентификатора в пространстве имен

file1.cpp

#include <cstdint>

namespace first_namespace
{
	static std::int32_t global_var; //Compliant- Reused in global namespace
	static std::int32_t reusedVar1;  //Noncompliant
	void reusedVar2();
	static std::int32_t reusedVar3; //Noncompliant
	void use(){
		++reusedVar1;
		reusedVar2();
		++reusedVar3;
	}
}
static std::int32_t file_var = 10; //Compliant - identifier not reused

file2.cpp

#include <cstdint>



static std::int32_t global_var; //Compliant - Reused in global namespace



namespace first_namespace
{
	std::int32_t reusedVar1;
	static std::int32_t reusedVar2;  //Noncompliant
	void f()
	{
		float reusedVar3;
		++reusedVar3;
	}
	void otherUse() {
		++reusedVar2;
	}
}



namespace second_namespace
{
	std::int32_t reusedVar1; //Compliant - Reused in different namespace
}

В этом примере Polyspace отмечает повторное использование resusedVar1, reusedVar2, и reusedVar3 в том же пространстве имен в обоих файлах. Polyspace не отмечает повторное использование reusedVar1 в различном пространстве имен в file2.cpp. Обратите внимание на то, что, когда только один экземпляр снова использованного идентификатора объявляется с ключевым словом static, Polyspace отмечает тот экземпляр. Идентификатор global_var не отмечается, потому что это объявляется в различных пространствах имен, глобальном пространстве имен и first_namespace.

Проверяйте информацию

Группа: Лексические соглашения

Категория: необходимый, автоматизированный

Смотрите также

Check AUTOSAR C++ 14 (-autosar-cpp14)

Темы

Проверяйте на кодирование стандартных нарушений

Введенный в R2020b

Документация