Exponenta Banner

MISRA C++:2008 Rule 0-2-1

Объект не должен быть присвоен перекрывающемуся объекту

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

Описание

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

Объект не должен быть присвоен перекрывающемуся объекту.

Объяснение

Когда вы присваиваете объект другому объекту с перекрывающейся памятью, поведение не определено.

Исключения:

  • Вы присваиваете объект другому объекту с точно перекрывающейся памятью и совместимым типом.

  • Вы копируете один объект в другого с memmove.

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

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

Примеры

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

void func (void) {
    union {
        short i;
        int j;
    } a = {0}, b = {1};
    
    a.j = a.i;   //Noncompliant
    a = b;       //Compliant
}

В этом примере правило нарушено когда a.i присвоен a.j потому что эти две переменные имеют перекрывающиеся области памяти.

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

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

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

Темы

Введенный в R2017b

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

Поддержка