Exponenta Banner

MISRA C:2012 Rule 8.13

Указатель должен указать на квалифицированный к const тип, когда это возможно,

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

Описание

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

Указатель должен указать на квалифицированный к const тип, когда это возможно.

Объяснение

Это правило гарантирует, что вы непреднамеренно не используете указатели, чтобы изменить объекты.

Реализация Polyspace

Средство проверки правила отмечает указатель на non-const параметр функции, если указатель не изменяет обращенный объект. Предположение - то, что указатель не предназначен, чтобы изменить объект и так должен указать на const- квалифицированный тип.

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

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

Примеры

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

#include <string.h>

typedef unsigned short uint16_t;

uint16_t ptr_ex(uint16_t *p) {      /* Non-compliant */
    return *p;
}

char last_char(char * const s){     /* Non-compliant */
    return s[strlen(s) - 1u];
}

uint16_t first(uint16_t a[5]){      /* Non-compliant */
    return a[0];
}

Этот пример показывает три различных несовместимых параметра указателя.

  • В ptr_ex функция, p не изменяет объект. Однако тип, к который p точками не является const- квалифицированный, таким образом, это несовместимо.

  • В last_char, указатель s const- квалифицированный, но тип это указывает на, не. Этот параметр несовместим потому что s не изменяет объект.

  • Функциональный first не изменяет элементы массива a. Однако типом элемента не является const- квалифицированный, таким образом, a также несовместимо.

Коррекция — использует const Ключевые слова

Одна возможная коррекция должна добавить const спецификаторы к определениям.

#include <string.h>

typedef unsigned short uint16_t;

uint16_t ptr_ex(const uint16_t *p){     /* Compliant */
    return *p;
}

char last_char(const char * const s){   /* Compliant */
    return s[strlen( s ) - 1u];
}

uint16_t first(const uint16_t a[5]) {   /* Compliant */
    return a[0];
}

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

Группа: объявления и определения
Категория: консультация
Категория AGC: консультация

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

Темы

Введенный в R2014b

Документация Polyspace Code Prover

Поддержка