Exponenta Banner

MISRA C++:2008 Rule 3-2-4

Идентификатор с внешним рычажным устройством должен иметь точно одно определение

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

Описание

Это средство проверки деактивировано в Polyspace по умолчанию® как Вы Анализ кода . Смотрите Средства проверки, Деактивированные в Polyspace, когда Вы Кодируете Анализ По умолчанию.

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

Идентификатор с внешним рычажным устройством должен иметь точно одно определение.

Объяснение

Если идентификатор имеет повторные определения или никакие определения, он может привести к неопределенному поведению.

Реализация Polyspace

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

  • Неинстанцированные шаблоны

  • Невостребованный static или extern функции

  • Невостребованные и неопределенные локальные функции

  • Неиспользованные типы и переменные

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

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

Этот пример использует два файла:

  • file1.cpp:

    typedef signed   int          int32_t;

namespace NS {
	extern int32_t a;

	void foo(){
		a = 0;
		
	}
};

  • file2.cpp:

    typedef signed   int          int32_t;
typedef signed   long long         int64_t;

namespace NS {
	extern int64_t a; //Noncompliant
	void bar(){
		++a;
		
	}
};

Тот же идентификатор a задан в обоих файлах.

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

Группа: фундаментальные понятия
Категория: необходимый

Вопросы совместимости

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

Не рекомендуемый запуск в R2021b

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

Темы

Введенный в R2013b

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

Поддержка