Exponenta Banner
exponenta event banner

Правило AUTOSAR C++ 14 A5-1-8

Лямбда-выражения не должны определяться в другом лямбда-выражении

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

Описание

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

Лямбда-выражения не должны определяться в другом лямбда-выражении.

Объяснение

Разработчики могут использовать лямбда-выражения для записи анонимных объектов функций, содержащих несколько строк кода. Вложение лямбда-выражения снижает читаемость кода, поскольку тело лямбда-выражения обычно находится в строке, где оно используется. Например, find_if алгоритм принимает унарный предикат в качестве одного из своих аргументов. Разработчик может использовать лямбда-выражение для определения предикатного условия в объявлении find_if. В этом фрагменте кода find_if алгоритм возвращает первый член вектора целых чисел, который больше 2 и является четным.

std::vector<int> v = { 1, 2, 3, 4 };
std::find(v.begin(), v.end(),
    [](int val) { return val>2 && val%2==0;});

Внедрение Polyspace

Polyspace ® помечает лямбда-выражения, определенные в другом лямбда-выражении. Polyspace также выделяет ближайшее вложенное лямбда-выражение.

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

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

Примеры

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

#include<iostream>
#include<vector>
#include<algorithm>

int main()
{

    using namespace std;

    vector<int> v {1, 2, 3, 4};


    vector<int>::iterator it = v.begin();
    while (it != v.end()) {
        auto evenGreater2 = [](int val) {

            return [](int val2) { //Noncompliant
                return val2 % 2 == 0;
            }(val)&& (val) > 2;

        }(*it);


        if (evenGreater2) {
            cout << *it << endl;
            break;
        }
        ++it;
    }

}

В этом примере Polyspace помечает лямбда-выражение, которое проверяет, является ли значение четным ([](int val2) { return val2 % 2 ==0; }), поскольку оно вложено в другое лямбда-выражение, которое также проверяет, больше ли значение 2.

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

Группа: Выражения
Категория: Консультации, Автоматизированные

См. также

Темы

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

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

Поддержка