FFI::free

    (PHP 7 >= 7.4.0, PHP 8)

    FFI::free — Libère une structure de données non gérée

    Description

    publicstaticFFI::free(FFI\CData&$ptr): void

    Libère manuellement une structure de données non gérée créée précédemment.

    Liste de paramètres

    ptr

    Le gestionnaire du pointeur non géré d'une structure de données C.

    Valeurs de retour

    Aucune valeur n'est retournée.

    To Top