警告 C26811

パラメーター 'var' によって参照されるメモリの有効期間は、コルーチンが再開されるまでに終了する可能性があります。

解説

警告 C26811 は、再開されたコルーチンで有効期間が終了した後に変数が使用される可能性がある場合にトリガーされます。

コード分析名: COROUTINES_USE_AFTER_FREE_PARAM

例

次のコードでは C26811 が生成されます。

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

using namespace std::experimental;

// 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() {}
};

coroutine_handle<> g_suspended_coro;

std::future<void> async_coro(int &a)
{
  co_await ManualControl{g_suspended_coro};   // @expected(26811), Lifetime of 'a' might end by the time this coroutine is resumed.
  ++a;
}

この警告を修正するには、引数を値で受け取ることを検討してください。

std::future<void> async_coro(int a)
{
  co_await ManualControl{g_suspended_coro};
  ++a;
}

または、コルーチンの a 有効期間を上回る有効期間が保証されている場合は、コードの有効期間コントラクトを使用して gsl::suppress 警告を抑制し、文書化します。

関連項目

C26810