(PHP 7 >= 7.4.0, PHP 8)
FFI::free — Libère une structure de données non gérée
Libère manuellement une structure de données non gérée créée précédemment.
ptr
Le gestionnaire du pointeur non géré d'une structure de données C.
Aucune valeur n'est retournée.