Exponenta Banner

Lambda used as decltype or typeid operand

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

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

Описание

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

Риск

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

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

  • Присвойте тип другой переменной. Например:

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

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

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

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

Фиксация

Избегайте использования decltype или typeid оператор на лямбда-выражениях.

Примеры

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

#include <cstdint>
 
 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>

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

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

Информация о результате

Группа: объектно-ориентированный
Язык: C++
Значение по умолчанию: на
Синтаксис командной строки: LAMBDA_TYPE_MISUSE
Удар: высоко

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

Темы

Введенный в R2019b

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