[async_scope] __future_opstate touches incomplete __future_state members when STDEXEC_ENABLE_EXTRA_TYPE_CHECKING=ON

Aperta

#2,272 aperta il 19/9/2026 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà: 3/5
Tempo stimato: 1-2 giorni
Idoneità per principianti: 74/100

Tipo di issue: Bug
Chiarezza: Specificata chiaramente
Stato di attività: Attiva
Stack tecnologico: cpp
Ambito: backend

Direzione di ricerca

Inizia con include/exec/async_scope.hpp e ispeziona il modo in cui __future_opstate accede a __future_state incompleto. Configura e compila test/test_type_async_scope.cpp con STDEXEC_ENABLE_EXTRA_TYPE_CHECKING=1 per riprodurre il fallimento. Il lavoro è completo quando il test async_scope viene compilato correttamente su main intatto con il flag abilitato.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Requested by @ericniebler in #2271 — follow-up found while verifying that PR with -DSTDEXEC_ENABLE_EXTRA_TYPE_CHECKING=ON. Fails on pristine main, so it is separate from the fix in #2271.

Description

With -DSTDEXEC_ENABLE_EXTRA_TYPE_CHECKING=ON, building test/test_type_async_scope.cpp fails in include/exec/async_scope.hpp: __future_opstate accesses members of __future_state while that type is still incomplete. The debug machinery forces earlier instantiation of queries/members than a normal build does, exposing the incomplete type.

Reproduction

Configure/build the async_scope tests with the flag enabled (e.g. a TU including exec/async_scope.hpp compiled with -DSTDEXEC_ENABLE_EXTRA_TYPE_CHECKING=1). Reproduces on pristine main.

Suggested fix direction

Forward-declare what __future_opstate needs, or move the accessed members into a base class defined before __future_opstate, so the debug build's earlier instantiation point is valid.

Lingua principale: C++
Stelle: 2.4k
Fork: 270
Merge medio: 3g 6h
PR unite (30g): 39

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

Leggi tutta la issue e poi la guida ai contributi del progetto.
Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
Fai un fork del repository e lavora su un branch.
Apri una pull request che faccia riferimento al numero della issue.