Exponenta Banner
exponenta event banner

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

Используются стандартные макросы библиотеки, например: assert и errno как объекты

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

Описание

Этот дефект возникает при использовании определенных идентификаторов способом, требующим наличия базового объекта. Эти идентификаторы определяются как макросы. Стандарт C не позволяет переопределять их как объекты. Идентификаторы используются таким образом, что макро-расширение идентификаторов невозможно.

Например, имеется ссылка на внешнюю переменную. errno:

extern int errno;
Однако errno встречается не как переменная, а как макрос.

Дефект относится к следующим макросам: assert, errno, math_errhandling, setjmp, va_arg, va_copy, va_end, и va_start. Средство проверки ищет дефект только в исходных файлах (а не в заголовках).

Риск

Стандарт C11 (раздел 7.1.4) позволяет переопределить большинство макросов в качестве объектов. Чтобы получить доступ к объекту, а не к макросу в исходном файле, выполните одно из следующих действий.

  • Повторно обозначить идентификатор как внешнюю переменную или функцию.

  • Для функциональных макросов заключите имя идентификатора в скобки.

При попытке использовать эти стратегии для макросов, которые не могут быть переопределены как объекты, возникает ошибка.

Зафиксировать

Не используйте идентификаторы таким образом, чтобы макро-расширение было подавлено.

  • Не следует повторно объявлять идентификаторы как внешние переменные или функции.

  • Для функциональных макросов не следует заключать имя макроса в круглые скобки.

Примеры

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

#include<assert.h>
typedef void (*err_handler_func)(int);

extern void demo_handle_err(err_handler_func, int);

void func(int err_code) {
    extern void assert(int);   
    demo_handle_err(&(assert), err_code);
}

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

Коррекция - использование assert как макро

Одной из возможных корректировок является прямое использование assert макро из assert.h. Иная реализация функции demo_handle_err непосредственно использует assert макро вместо того, чтобы брать адрес assert функция.

#include<assert.h>
void demo_handle_err(int err_code) {
    assert(err_code == 0);                   
}

void func(int err_code) {
    demo_handle_err(err_code);          
}

Информация о результатах

Группа: Программирование
Язык: C | C++
По умолчанию: Вкл для рукописного кода, выкл для сгенерированного кода
Синтаксис командной строки: MACRO_USED_AS_OBJECT
Воздействие: Низкий

См. также

|

Темы

Представлен в R2018a

Документация для поиска ошибок Polyspace

Поддержка