DP
Что строка сразу после co_await выполняется сразу
await_suspend или где-там надо я не помню, я вызову context.post(continuation_handler). continuation_handler это и будет код после co_await. Так я представляю себе как это работаетSize: a a a
2020 July 31
ПК
В
АК
co_await f();примерно эквивалентно
g();
...
f().then([&]{
g();
...
});DP
then отработает только после окончания f
DP
Правда же
ПК
co_await f();примерно эквивалентно
g();
...
f().then([&]{
g();
...
});или так, да, если then нотация, а не как в асио
DP
Тем не менее
ПК
then отработает только после окончания f
Нет
ПК
Иначе в этом не было бы смысла!
DP
Пруф, что выполняется строчка сразу после co_await до окончания awaitable
АК
увы, но да
ПК
увы, но да
А, я не так прочитал
DP
co_await f();примерно эквивалентно
g();
...
f().then([&]{
g();
...
});Даже тут видно что до окончания f() никакой then работать не будет
ПК
Короче, я запутался слегка, но мой аргумент остаётся в силе:
awaitable<void> do_some(int& param) {
foo();
co_await bar();
cout << param;
}ПК
Тут UB если param протух
ПК
f().then([&]{
g();
...
});ПК
И здесь тоже если мы захватываем по ссылке, то в колбеке могут быть dangling reference
DP
Короче, я запутался слегка, но мой аргумент остаётся в силе:
awaitable<void> do_some(int& param) {
foo();
co_await bar();
cout << param;
}не могут
int i{};
co_await do_some(i);
и даже при наличии N потоков i переживает do_someDP
это условный аналог
int i{};
auto v = std::async(..., &i);
v.wait();ПК
не могут
int i{};
co_await do_some(i);
и даже при наличии N потоков i переживает do_someТакой может и переживает, а
Уже не факт
co_await do_some(get_some_object().get_some_reference_to_int());
Уже не факт