Exponenta Banner

AUTOSAR C++14 Rule 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 Bug Finder

Поддержка