Exponenta Banner

Правило 9.3 MISRA C:2012

Массивы не должны быть частично инициализированы

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

Описание

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

Массивы не должны быть частично инициализированы.

Объяснение

Обеспечение явной инициализации для каждого элемента массива проясняет, что каждый элемент был рассмотрен.

Обменивайтесь сообщениями в отчете

Массивы не должны быть частично инициализированы.

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

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

Примеры

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

void func(void) {
    int x[3] = {0,1,2};               /* Compliant */
    int y[3] = {0,1};                 /* Non-compliant */
    int z[3] = {0};                   /* Compliant - exception */
    int a[30] = {[1] = 1,[15]=1};     /* Compliant - exception */
    int b[30] = {{1} = 1, 1};         /* Non-compliant */
    char c[20] = "Hello World";       /* Compliant - exception */
}

В этом примере не нарушено правило, когда каждый элемент массива явным образом инициализируется.

Правило нарушено, когда некоторые элементы массива неявно инициализируются. Исключения включают следующее:

  • Инициализатор имеет форму {0}, который инициализирует все элементы, чтобы обнулить.

  • Инициализатор массивов состоит только из обозначенных инициализаторов. Как правило, вы используете этот подход для разреженной инициализации.

  • Массив инициализируется с помощью строкового литерала.

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

Группа: инициализация
Категория: необходимый
Категория AGC: удобочитаемость
Язык: C90, C99

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

Темы

Введенный в R2014b

Документация Polyspace Code Prover
Поддержка