Exponenta Banner
exponenta event banner

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

Лямбда не должна быть операндом для decltype или typeid

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

Описание

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

Лямбда не должна быть операндом для decltype или typeid.

Объяснение

Согласно стандарту C++, тип лямбда-выражения является уникальным, безымянным типом класса. Поскольку тип уникален, другая переменная или выражение не могут иметь тот же тип. Использование decltype или typeid лямбда-выражение указывает, что ожидается, что вторая переменная или выражение будет иметь тот же тип, что и лямбда-выражение операнда.

Оба decltype и typeid возвращает тип данных операндов. Как правило, операторы используются для:

  • Назначьте тип другой переменной. Например:

    decltype(var1) var2;
    создает переменную var2 с тем же типом, что и var1.

  • Сравните типы двух переменных. Например:

    (typeid(var1) == typeid(var2))
    сравнивает типы var1 и var2.

Эти применения не применяются к лямбда-выражению, которое имеет уникальный тип.

Внедрение Polyspace

Флаги средства проверки правил используют decltype и typeid с лямбда-выражениями.

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

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

Примеры

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

#include <cstdint>
#include <typeinfo>
 
 void func()
 {
 auto lambdaFirst = []() -> std::int8_t { return 1; };
 auto lambdaSecond = []() -> std::int8_t { return 1; };

 if (typeid(lambdaFirst) == typeid(lambdaSecond))  
     {
     // ...
     }
 }

Использование typeid лямбда-выражения могут привести к неожиданным результатам. Сравнение выше является ложным, даже если lambdaFirst и lambdaSecond похоже, имеет одно и то же тело.

Исправление - назначение лямбда-выражения объекту функции перед использованием typeid

Одной из возможных корректировок является назначение лямбда-выражения объекту функции, а затем использование typeid на объектах функции для сравнения.

#include <cstdint>
#include <functional>
#include <typeinfo>

 void func()
 {
 std::function<std::int8_t()> functionFirst = []() { return 1; };
 std::function<std::int8_t()> functionSecond = []() { return 1; };

 if (typeid(functionFirst) == typeid(functionSecond)) 
     {
     // ...
     }
 }

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

Группа: Лексические конвенции
Категория: Обязательно, Автоматизировано

См. также

Темы

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

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

Поддержка