FFI::free

(PHP 7 >= 7.4.0, PHP 8)

FFI::freeLibera 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 devuelve ningún valor.