Categoria
Articoli tecnici organizzati per gruppo funzionale.
Sollevata dal sottosistema di threading quando un thread tenta di acquisire nuovamente un 'std::mutex' non ricorsivo che si trova già nel suo possesso, violando la consistenza dei lock.
Il distruttore di 'std::thread' invoca 'std::terminate()' se l'oggetto thread viene distrutto mentre è ancora in esecuzione (joinable == true) senza che sia stato chiamato esplicitamente 'join()' o 'detach()'.
Invocare 'std::async(func)' senza specificare la policy consente al runtime di scegliere 'std::launch::deferred', rimandando l'esecuzione fino a quando non viene invocato esplicitamente '.get()'; se il programma attende solo la notifica senza chiamare get(), il task non viene mai avviato.
La classe 'std::jthread' introdotta in C++20 supporta la cancellazione cooperativa tramite 'std::stop_token'; se il ciclo interno del thread non verifica periodicamente 'stoken.stop_requested()', il thread non si fermerà alla richiesta di stop.
La classe 'std::atomic_ref<T>' introdotta in C++20 richiede che l'indirizzo di memoria dell'oggetto referenziato sia rigorosamente allineato a 'std::atomic_ref<T>::required_alignment'; referenziare membri packed non allineati scatena crash hardware o UB.
Le coroutine C++20 che sospendono l'esecuzione allocano il proprio frame sullo heap; se la coroutine non raggiunge la fine o la promise non invoca 'handle.destroy()' quando il chiamante la abbandona, l'intero frame di variabili locali rimane allocato indefinitamente.
Definire macro con argomenti senza racchiudere i parametri e l'intera espressione tra parentesi (es. '#define SQUARE(x) x * x' anziché '((x)*(x))') produce calcoli errati quando viene passata un'espressione come 'SQUARE(2 + 3)'.
L'espressione costante valutata in una direttiva condizionale '#if (MY_CONST / 0)' contiene un'operazione di divisione per zero aritmetica, bloccando la fase di preprocessing.