Categoria
Articoli tecnici organizzati per gruppo funzionale.
Invocare 'shared_from_this()' all'interno del costruttore di una classe derivata da 'std::enable_shared_from_this' fallisce perché la gestione tramite 'std::shared_ptr' non è ancora stata completata dal chiamante esterno.
L'eccezione viene sollevata quando si tenta di costruire un 'std::shared_ptr' a partire da un 'std::weak_ptr' il cui oggetto sottostante è già stato distrutto (expired).
Invocare 'std::move(ptr)' trasferisce la proprietà esclusiva della risorsa a un altro smart pointer, reimpostando l'oggetto originale su 'nullptr'; dereferenziarlo successivamente provoca crash immediato.
I container che utilizzano allocatori polimorfici (PMR) dipendono dalla durata di vita del buffer di memoria sottostante (es. 'std::pmr::monotonic_buffer_resource'); se il resource esce dallo scope prima del container, qualsiasi deallocazione o ridimensionamento va in crash.
Similmente a string_view, 'std::span<T>' non estende la durata di vita del container sottostante: passargli un vettore temporaneo ('std::span<int> s = get_vector();') lascia lo span con un puntatore a memoria non più valida.
È il meccanismo classico di SFINAE: quando la condizione booleana passata a 'std::enable_if<cond>' è falsa, la struttura non definisce il membro 'type' escludendo la funzione dal set di candidati dell'overload.
Passare un template come parametro (es. 'template<template<typename> class Container>') a una classe che richiede argomenti aggiuntivi (come 'std::vector' che accetta due parametri: tipo e allocatore) fallisce a meno di usare template template variadici.
Il compilatore tenta di dedurre i tipi dei parametri di un template dai parametri passati alla funzione ma trova incongruenze (es. deducendo T=int e T=double contemporaneamente) o fallisce la sostituzione nei concetti/SFINAE.