Идентификатор, который, как объявляют, был объектом или типом, должен быть задан в блоке, который минимизирует его видимость.
Идентификатор, который, как объявляют, был объектом или типом, должен быть задан в блоке, который минимизирует его видимость.
Определение переменных с минимальной возможной областью действия блока уменьшает возможность, что к ним можно позже получить доступ непреднамеренно.
Например, если объект предназначается, чтобы быть полученным доступ в одной функции только, объявите объектную локальную переменную к функции.
Средство проверки правила определяет, используется ли объект в одном блоке только. Если объект используется в одном блоке, но задается вне блока, средство проверки повышает нарушение.
Когда вы объявляете переменную вне основанного на области значений for
цикл и использование это только в блоке цикла, Polyspace® отмечает переменную. Если вы не можете объявить переменную в блоке цикла, выровняйте по ширине этот результат с помощью комментариев в результате или кода. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Выравнивания.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
Группа: фундаментальные понятия |