Привет, вопрос по корутинам. Есть простой код: struct bar { std::unique_ptr<int>

Question

Привет, вопрос по корутинам. Есть простой код: struct bar { std::unique_ptr<int>

value; };

boost::asio::awaitable<void> f(bar by_value) { co_return; }

// где-то далее
co_await f(bar{ std::make_unique<int>(5) }); // double free

Баг в коде или в компиляторе? Использую gcc-10.2, получаю double free в деструкторе unique_ptr. При этом:
1. С той же версией компилятора и флагами сборки на godbolt не воспроизводится :(
2. Если bar сделать локальной переменной, а только потом мувнуть в f - всё будет ок.
3. Воспроизводится и для std::string вместо std::unique_ptr.

Полный пример: https://godbolt.org/z/479YWKjbz

#c++ #embedded #programming #russian

0

26.03.2021

13 ответов

20 просмотров

Alexander Karaev Автор вопроса

При этом код после компиляции очень похож на bar temp{ .value = std::make_unique<int>(5); auto result = f(copy_not_move(temp)); // здесь вызывается деструктор temp, который был ранее побитово скопирован (!) в f

0

26.03.2021

Alexander Karaev Автор вопроса

Egor Pugin
на годболте даблфри не покажет во время запуска?

godbolt показывает, что программа отработала корректно

0

26.03.2021

disba1ancer

А почему у awaitable есть promise_type?

0

26.03.2021

disba1ancer

А ты пробовал как либо запретить аргументу шаблона у f выводится в ссылку?

0

26.03.2021

Alexander Karaev Автор вопроса

disba1ancer
А ты пробовал как либо запретить аргументу шаблона...

Там нет ссылок. Шаблон можно убрать (сейчас уберу, чтобы не смущал), эффект прежний.

0

26.03.2021

disba1ancer

Alexander Karaev
Там нет ссылок. Шаблон можно убрать (сейчас уберу,...

Хотя да, обычные правила вывода типа

0

26.03.2021

Vladimir

воспроизводится только с другим компилятором https://godbolt.org/z/33x16M3s1

0

27.03.2021

Alexander Karaev Автор вопроса

Vladimir
воспроизводится только с другим компилятором https...

Спасибо! Но всё же остаётся загадкой, почему на моём gcc-10.2 и на годболтовском разные результаты. При этом на github actions тоже воспроизводится..

0

27.03.2021

Vladimir

Alexander Karaev
Спасибо! Но всё же остаётся загадкой, почему на мо...

template <class T> boost::asio::awaitable<void> f(T&& by_value) { co_return; } boost::asio::awaitable<void> g() { auto val = bar{ std::make_unique<int>(5) }; co_await f(std::move(val)); // bug } вот так правильно

0

27.03.2021

Alexander Karaev Автор вопроса

Vladimir
template <class T> boost::asio::awaitable<void> f(...

правильно = не воспроизводится?

0

27.03.2021

Vladimir

Alexander Karaev
правильно = не воспроизводится?

да

0

27.03.2021