FFI::free

(PHP 7 >= 7.4.0, PHP 8)

FFI::free — Libera una estructura de datos no gestionada

Descripción

public static FFI::free(FFI\CData &$ptr): void

Libera manualmente una estructura de datos no gestionada creada previamente.

Parámetros

ptr
El gestor del puntero no gestionado de una estructura de datos C.

Valores devueltos

No se retorna ningún valor.