Exponenta Banner

MISRA C ++:2008 правил 0-1-11

Не должно быть никаких неиспользованных параметров (названы или без имени) в невиртуальных функциях

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

Описание

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

Не должно быть никаких неиспользованных параметров (названы или без имени) в невиртуальных функциях.

Объяснение

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

Неиспользованные параметры составляют ненужные издержки. Можно также непреднамеренно вызвать функцию с различным количеством аргументов, вызывающих несоответствие параметра.

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

Не должно быть никаких неиспользованных параметров (названы или без имени) в невиртуальных функциях.

Функциональный funcName имеет неиспользованные параметры.

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

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

Примеры

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

typedef int (*callbackFn) (int a, int b);

int callback_1 (int a, int b) { //Compliant
    return a+b;
}

int callback_2 (int a, int b) { //Noncompliant
    return a;
}

int callback_3 (int, int b) { //Compliant - flagged by Polyspace
    return b;
}

int getCallbackNumber();
int getInput();

void main() {
    callbackFn ptrFn;
    int n = getCallbackNumber();
    int x = getInput(), y = getInput();
    switch(n) {
        case 0: ptrFn = &callback_1; break;
        case 1: ptrFn = &callback_2; break;
        default: ptrFn = &callback_3; break;
    }
    
    (*ptrFn)(x,y);
}

В этом примере три функции callback_1, callback_2 и callback_3 используются в качестве функций обратного вызова. Одна из трех функций вызвана через указатель функции в зависимости от значения, полученного во время выполнения.

  • Функциональный callback_1 использует все свои параметры и не нарушает правило.

  • Функциональный callback_2 не использует свой параметр a и нарушает это правило.

  • Функциональный callback_3 также не использует свой первый параметр, но он не нарушает правило, потому что параметр без имени. However, Polyspace® отмечает неиспользованный параметр, как правило, нарушение. Если вы видите нарушение этого вида, выравниваете по ширине нарушение с комментариями. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии.

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

Группа: независимые от языка проблемы
Категория: необходимый

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

Темы

Введенный в R2017b

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