Incorrect value forwarding

Перенаправленный объект может быть неожиданно изменен

Описание

Этот дефект возникает, когда:

Вы используете std:move переадресация ссылки на функцию, включая объекты типа auto &&.
Вы используете std:forward чтобы переслать ссылку rvalue на функцию.

Можно эффективно передать объект в функцию, приведя объект в rvalue и воспользовавшись семантикой перемещения.

Polyspace^® не помечает использование std:move или std:forward если переадресация на функцию не выполняется. Например, в этом фрагменте кода не возникает дефекта при использовании std:move с ссылкой на пересылку b2 и использование std:forward с ссылкой перезначения b1.

template <typename T1, typename T2>
void func(T1& b1, T2&& b2)
{
    const T1& b10 = std::forward<B>(b1);
    const T2& b20 = std::forward<B>(b2);
    const T1& b11 = std::move(b1);
    const T2& b21 = std::move(b2);
}

Риск

Использование std:move с переадресацией ссылок может привести к неожиданному изменению значения lvalue. Использование std:forward с rvalue ссылки возможны, но это подвержено ошибкам и может увеличить сложность вашего кода.

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

Если вы пересылаете ссылку rvalue на функцию, используйте std:move чтобы привести объект к значению rvalue.
Если вы пересылаете ссылку на переадресацию (или универсальную ссылку) в функцию, используйте std:forward чтобы привести объект к значению rvalue тогда и только тогда, когда объект связан с значением rvalue. Ссылка на пересылку может быть связана с rvalue или lvalue. Объекты с типом auto && рассматриваются как ссылки на пересылку.

Примеры

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

Значения, пересылаемые неправильно

#include <cstdint>
#include <string>
#include <utility>


class A
{
public:
    explicit A(std::string&& s)
        : str(std::move(s)) 
    {
    }

private:
    std::string str;
};

template <typename ...T>
void f1(T...t);



template <typename T1, typename T2>
void func(T1&& t1, T2& t2)
{
    f1(std::move(t1));            
    f1(std::forward<T1>(t1));     

    f1(std::forward<T2>(t2));     
    f1(std::move(t2));            
}

void func_auto(A& var)
{
    auto&& var1 = var;
    f1(std::move(var1));                    
    f1(std::forward<decltype(var1)>(var1)); 
}

void main()
{
    int32_t i;
    func(0, i);
}

В этом примере функция шаблона func пересылает параметры t1 и t2 для функционирования f1. Polyspace помечает использование std::forward с t2 поскольку этот параметр является ссылкой rvalue (тип T&).

Polyspace также помечает использование std::move с t1 поскольку этот параметр является ссылкой на пересылку (тип T&&). Если t1 инициализируется с помощью lvalue, перемещение может привести к неожиданному изменению параметра. Точно так же Polyspace помечает использование std::move в func_auto из-за объектов типа auto&& рассматриваются как ссылки на пересылку.

Для каждого дефекта предлагаемая коррекция показана на следующей линии.

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

Группа: Программирование

Язык: C++

По умолчанию: On для рукописного кода, off для сгенерированного кода

Синтаксис командной строки : INCORRECT_VALUE_FORWARDING

Влияние: Высокий

См. также

Find defects (-checkers)

Темы

Введенный в R2020b

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