exponenta event banner

Правило AUTOSAR C++ 14 M3-9-1

Типы, используемые для объекта, возвращаемого типа функции или параметра функции, должны быть token-for-token идентичными во всех объявлениях и повторных объявлениях.

Описание

Определение правила

Типы, используемые для объекта, возвращаемого типа функции или параметра функции, должны быть идентичными token-for-token во всех объявлениях и повторных объявлениях.

Объяснение

Если повторное объявление не является маркером для маркера, идентичным предыдущему объявлению, из визуальной проверки не ясно, какой объект или функция повторно объявляется.

Внедрение Polyspace

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

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Примеры

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

typedef int* intptr;

int* map;
extern intptr map; //Noncompliant

intptr table;
extern intptr table; //Compliant

В этом примере переменная map объявляется дважды. Во втором объявлении используется typedef который принимает тип первого объявления. Из-за typedefвторое объявление не является token-for-token идентичным первому.

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

Группа: Основные понятия
Категория: Обязательно, Автоматизировано
Представлен в R2019a