Сообщение Re[6]: Про красивость работы с std::vector от 15.03.2025 9:10
Изменено 15.03.2025 9:27 rg45
Re[6]: Про красивость работы с std::vector
Здравствуйте, T4r4sB, Вы писали:
S>>
S>>А вот так если записать?
TB>Тогда будет RVO
TB>Но этот код эквивалентен
TB>
Не будет здесь никакого RVO. Чтобы был RVO, нужно, чтоб выражение под return относилось к категории prvalue и тип этого выражения должен совпадать с типом возращаемого значения функции. Выражение std::move(data) принадлежит к категори xvalue. Вариат же, предложенный Shmj и вовсе не скомпилируется, поскольку выражение temp относится к категории lvalue и не может быть связано с rvalue сылкой.
S>>
S>>std::vector<uint8_t>&& takeData()
S>>{
S>> std::vector<uint8_t>&& temp = std::move(data); // temp - rvalue-ссылка на data
S>> return temp;
S>>}
S>>
S>>А вот так если записать?
TB>Тогда будет RVO
TB>Но этот код эквивалентен
TB>
TB>return std::move(data)
TB>
Не будет здесь никакого RVO. Чтобы был RVO, нужно, чтоб выражение под return относилось к категории prvalue и тип этого выражения должен совпадать с типом возращаемого значения функции. Выражение std::move(data) принадлежит к категори xvalue. Вариат же, предложенный Shmj и вовсе не скомпилируется, поскольку выражение temp относится к категории lvalue и не может быть связано с rvalue сылкой.
Re[6]: Про красивость работы с std::vector
Здравствуйте, T4r4sB, Вы писали:
S>>
S>>А вот так если записать?
TB>Тогда будет RVO
TB>Но этот код эквивалентен
TB>
Не будет здесь никакого RVO. Чтобы был RVO (aka guaranteed copy elision), нужно, чтоб выражение под return относилось к категории prvalue и тип этого выражения должен совпадать с типом возращаемого значения функции. Выражение std::move(data) принадлежит к категори xvalue. Вариат же, предложенный Shmj и вовсе не скомпилируется, поскольку выражение temp относится к категории lvalue и не может быть связано с rvalue сылкой.
S>>
S>>std::vector<uint8_t>&& takeData()
S>>{
S>> std::vector<uint8_t>&& temp = std::move(data); // temp - rvalue-ссылка на data
S>> return temp;
S>>}
S>>
S>>А вот так если записать?
TB>Тогда будет RVO
TB>Но этот код эквивалентен
TB>
TB>return std::move(data)
TB>
Не будет здесь никакого RVO. Чтобы был RVO (aka guaranteed copy elision), нужно, чтоб выражение под return относилось к категории prvalue и тип этого выражения должен совпадать с типом возращаемого значения функции. Выражение std::move(data) принадлежит к категори xvalue. Вариат же, предложенный Shmj и вовсе не скомпилируется, поскольку выражение temp относится к категории lvalue и не может быть связано с rvalue сылкой.