Exponenta Banner

AUTOSAR C++14 Rule A2-13-4

Строковые литералы не должны быть присвоены непостоянным указателям

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

Описание

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

Строковые литералы не должны быть присвоены непостоянным указателям.

Объяснение

Это правило предотвращает присвоения строковых литералов к указателям, которые указывают на не const объекты. Такие присвоения позволяют более позднюю модификацию строкового литерала.

Попытка изменить строковый литерал может привести к неопределенному поведению. Например, некоторые реализации могут сохранить строковые литералы в постоянной памяти. Попытка изменить строковый литерал может привести к исключению или катастрофическому отказу.

Более поздние стандарты C++ требуют предупреждения компилятора для таких модификаций. Правило существует для ситуаций, когда вы подавляете предупреждения компилятора (и C++ AUTOSAR 14 правил, сопоставленных с теми предупреждениями).

Реализация Polyspace

Средство проверки правила отмечает присвоение строковых литералов к указателям кроме указателей на const объекты.

Средство проверки не отмечает присвоение строковых литералов к non-const массивы. Средство проверки для AUTOSAR C++ 14 Rule A18-1-1 запрещает прямое использование массивов C-стиля и предотвращает эти присвоения.

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

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

Примеры

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

char *str1 = "xxxxxx";            // Non-Compliant 
const char *str2 = "xxxxxx";      // Compliant 

void checkSystem1(char*);
void checkSystem2(const char*);

void main() {
 checkSystem1("xxxxxx");    // Non-Compliant 
 checkSystem2("xxxxxx");    // Compliant 
}

В этом примере не нарушено правило, когда строковые литералы присвоены const char* указатели, или непосредственно или через копию аргументов функции. Правило нарушено только когда const спецификатор не используется.

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

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

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

Темы

Введенный в R2019a

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

Поддержка