MISRA C:2012 Rule 11.2

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

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

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

Объяснение

Неполный тип является типом, который не содержит достаточную информацию, чтобы определить ее размер. Например, оператор struct s; описывает неполный тип потому что поля s не заданы. Размер переменной типа s не может быть определен.

Преобразования в или от указателя до неполного типа приводят к неопределенному поведению. Как правило, указатель на неполный тип используется, чтобы скрыть полное представление объекта. Эта инкапсуляция повреждается, если другой указатель неявно или явным образом брошен к такому указателю.

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

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

Примеры

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

Броски от неполного типа

#include <stdio.h> 
struct s *sp;
struct t *tp;
short  *ip;
struct ct *ctp1;
struct ct *ctp2;


void foo(void) {

    ip = (short *) sp;            /* Non-compliant */
    sp = (struct s *) 1234;       /* Non-compliant */
    tp = (struct t *) sp;         /* Non-compliant */
    ctp1 = (struct ct *) ctp2;    /* Compliant */

    /* You can convert a null pointer constant to 
     * a pointer to an incomplete type */
    sp = NULL;                    /* Compliant - exception  */

    /* A pointer to an incomplete type may be converted into void */
    struct s *f(void);
    (void) f();                   /* Compliant - exception  */

}

В этом примере, s типовT и ct являются неполными. Правило нарушено когда:

Переменная sp с неполным типом брошен к основному типу.
Переменная sp с неполным типом брошен к различному неполному типу t.

Правило не нарушено когда:

Переменная ctp2 с неполным типом брошен к тому же неполному типу.
NULL указатель брошен к переменной sp с неполным типом.
Возвращаемое значение f с неполным типом брошен к void.

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

Группа: преобразования типа указателя

Категория: необходимый

Категория AGC: необходимый

Вопросы совместимости

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

Используя Code Prover, чтобы проверять на кодирование нарушений правила не рекомендуется

Не рекомендуемый запуск в R2021b

Проверка кодирование нарушений правила и вычислительных метрик кода при помощи Code Prover не рекомендуется. Этот рабочий процесс будет удален в будущем релизе. Чтобы проверять на кодирование нарушений правила и вычислить метрики кода, используйте Bug Finder. Смотрите Перемещают Рабочие процессы Code Prover для Проверки Стандартов Кодирования и Метрик Кода к Bug Finder. Чтобы видеть, как Bug Finder проверяет это правило, смотрите MISRA C:2012 Rule 11.2.

Темы

Введенный в R2014b

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