Предупреждение C26810

  • Статья

Время существования захваченной переменной var может завершиться к моменту возобновления корутины.

Замечания

Предупреждение C26810 активируется, когда переменная может использоваться после окончания его существования в возобновленной корутине.

Имя анализа кода: COROUTINES_USE_AFTER_FREE_CAPTURE

Пример

Следующий код создает C26810.

#include <experimental/generator>
#include <future>

using namespace std::experimental;

coroutine_handle<> g_suspended_coro;

// Simple awaiter to allows to resume a suspended coroutine
struct ManualControl
{
  coroutine_handle<>& save_here;

  bool await_ready() { return false; }
  void await_suspend(coroutine_handle<> h) { save_here = h; }
  void await_resume() {}
};

void bad_lambda_example1()
{
  int x = 5;
  auto bad = [x]() -> std::future<void> {
    co_await ManualControl{g_suspended_coro};  // @expected(26810), Lifetime of capture 'x' might end by the time this coroutine is resumed.
    printf("%d\n", x);
  };
  bad();
}

Чтобы устранить это предупреждение, рекомендуется использовать аргументы по значению вместо записей:

void bad_lambda_example1()
{
  int x = 5;
  auto good = [](int x) -> std::future<void> {
    co_await ManualControl{g_suspended_coro};
    printf("%d\n", x);
  };
  good(x);
}

Кроме того, если корутин гарантировано жить короче лямбда-объекта, используйте gsl::suppress для подавления предупреждения и документирования контрактов времени существования в комментарии.

См. также

C26811