Risorse
PHP Manual
PHP Manual»Tipi di dati»Risorse

Una resource è una variabile speciale, che contiene un riferimento ad una risorsa esterna. Le risorse vengono create e utilizzate da funzioni speciali. Vedere l'appendice per un elenco di tutte queste funzioni e i relativi tipi di resource.

Vedere anche la funzione get_resource_type().

Conversione in resource

Poiché le variabili resource contengono handle speciali verso file aperti, connessioni a database, aree canvas di immagini e simili, la conversione in una resource non ha senso.

Liberare le risorse

Grazie al sistema di conteggio dei riferimenti che fa parte di Zend Engine, una resource senza più riferimenti viene rilevata automaticamente e liberata dal garbage collector. Per questo motivo, è raramente necessario liberare la memoria manualmente.

Nota: Le connessioni persistenti al database sono un'eccezione a questa regola. Esse non vengono distrutte dal garbage collector. Vedere la sezione sulle connessioni persistenti per maggiori informazioni.

To Top