Aviso C26810

O tempo de vida da variável capturada 'var' pode terminar no momento em que a co-rotina for retomada.

Comentários

O aviso C26810 é acionado quando uma variável pode ser usada após o término de sua vida útil em uma co-rotina retomada.

Nome da análise de código: COROUTINES_USE_AFTER_FREE_CAPTURE

Exemplo

O código a seguir gera 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();
}

Para corrigir esse aviso, considere usar argumentos por valor em vez de capturas:

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);
}

Como alternativa, se a corrotina tiver a garantia de viver mais curta que o objeto lambda, use gsl::suppress para suprimir o aviso e documentar os contratos de tempo de vida em um comentário.

Confira também

C26811