Exponenta Banner

AUTOSAR C++14 Rule A2-7-1

Символ \не должен происходить, как комментирует последний знак C++

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

Описание

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

Символ \не должен происходить, как комментирует последний знак C++.

Объяснение

Если ваш код имеет символ \в конце однострочного комментария, следующая строка кода становится продолжением комментария. Окончание однострочных комментариев при помощи символа \может непреднамеренно прокомментировать разделы кода.

Реализация Polyspace

Polyspace проверяет, является ли символ \последним знаком комментария C++.

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

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

Примеры

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

#include <cstdint>

void foo()
{
  int32_t idx = 0;
  int32_t limit = 20;
  int32_t count = 20;
  ++idx; // Incrementing index before the loop starts// Requirement X\\
  for(;idx<limit;++idx)
  {
     --count;
  }
}

for определение цикла прокомментировано, потому что однострочный комментарий заканчивается символом \. В результате count постепенно уменьшается только однажды, возможно, непреднамеренно. Средство проверки отмечает эту проблему путем выделения символа \в однострочном комментарии.

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

Группа: Лексические соглашения
Категория: необходимый, автоматизированный

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

Темы

Введенный в R2020a

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

Поддержка