Exponenta Banner

AUTOSAR C++ 14 правил A0-1-2

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

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

Описание

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

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

Объяснение

Неиспользованное возвращаемое значение может указать на ошибку кодирования или контроль.

Перегруженные операторы исключены из этого правила, потому что их использование должно эмулировать встроенные операторы, которые не могут использовать их возвращаемое значение.

Реализация Polyspace

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

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

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

Примеры

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

#include <iostream>
#include <new>

int assignMemory(int * ptr){
     int res = 1;
     ptr = new (std::nothrow) int;
     if(ptr==NULL) {
         res = 0;
     }
     return res;
}

void main() {
    int val;
    int status;
    
    assignMemory(&val);   //Noncompliant
    status = assignMemory(&val); //Compliant
    (void)assignMemory(&val); //Compliant
    
}

Первый вызов функционального assignMemory несовместим, потому что возвращаемое значение не используется. Вторые и третьи вызовы используют возвращаемое значение. Возвращаемое значение от второго вызова присвоено локальной переменной.

Возвращаемое значение от третьего вызова брошено к void. Бросок к void указывает на преднамеренное неиспользование возвращаемого значения и не может быть контролем кодирования.

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

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

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

Темы

Введенный в R2019a

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