ptr_read_string()
function ptr_read_string(pointer $pointer, int $length): string
Copies raw bytes from a pointer into a PHP string of the given length.
Parameters:
$pointer(pointer)$length(int)
Returns: string
No examples yet — check examples/ and showcases/ for usage patterns.
Internals
For how ptr_read_string is implemented in the compiler, see the internals page.