Exponenta Banner

Lambda used as typeid operand

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

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

Описание

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

Риск

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

typeid возвращает тип данных своего операнда. Обычно оператор используется для сравнения типов двух переменных. Для образца:

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

Зафиксировать

Избегайте использования 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)) 
     {
     // ...
     }
 }

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

Группа: Объектно-ориентированная
Язык: C++
По умолчанию: On для рукописного кода, off для сгенерированного кода
Синтаксис командной строки : LAMBDA_TYPE_MISUSE
Влияние: Низкое

См. также

Темы

Введенный в R2019b

Документация Polyspace Bug Finder

Поддержка