(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.
ptrLe gestionnaire du pointeur non géré d'une structure de données C.
Aucune valeur n'est retournée.