Categoria
Articoli tecnici organizzati per gruppo funzionale.
Se la funzione passata a 'std::call_once(flag, fn)' lancia un'eccezione, la registrazione dell'inizializzazione non viene considerata completata; la successiva invocazione di call_once rieseguirà la funzione, provocando doppie inizializzazioni parziali.
La chiamata al metodo '.get_future()' su un'istanza di 'std::promise' o 'std::packaged_task' può essere effettuata una sola volta; ripeterla solleva l'eccezione 'future_already_retrieved'.
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.