Qui:cos'è una funzione 'valida' std ::?
http://en.cppreference.com/w/cpp/utility/functional/function
operator bool è descritto: "Verifica se l'oggetto callable memorizzata è valida".
Presumibilmente un valore predefinito std::function non è valido ma è l'unico caso?
Inoltre, come viene verificato se è valido?
È il caso in cui operator() solleva std::bad_function_call esattamente nel caso in cui l'oggetto non sia valido?
È mal scritto così com'è, la tua confusione è giustificata. Con "valido" significano "ha un obiettivo".
A std::function "ha un obiettivo" quando è stata assegnata una funzione:
std::function<void()> x; // no target
std::function<void()> y = some_void_function; // has target
x = some_other_void_function; // has target
y = nullptr; // no target
x = y; // no target
dovrebbero avere sia definito "valido", prima hanno usato, o semplicemente bloccato con la dicitura ufficiale.
Il linguaggio standard dice
explicit operator bool() const noexcept;Restituisce: vero se * questo ha un obiettivo, altrimenti false.
Significa che lo function ha qualcosa da chiamare. Ovviamente il default costruito function no.
OK, quindi il controllo di validità è solo il controllo del tipo e chiamare un predefinito costruito 'std :: funzione' è esattamente il caso in cui' std :: bad_function_call' è sollevato, sì? – dpj
@ user710408: Non so cosa intendi per "il controllo di validità è solo il controllo del tipo". La validità (ora assumendo la definizione "ha un obiettivo") è determinata in fase di esecuzione, il controllo dei tipi avviene in fase di compilazione. E la chiamata a una funzione errata si verifica quando la funzione non è valida (non ha una destinazione), sia quella di default o assegnata esplicitamente a 'nullptr'. – GManNickG
Non penso di sapere cosa volevo dire! Grazie :) – dpj