PHP - Manual: 资源类型
2024-12-21
One resource type is defined by this extension: a file descriptor returned by dio_open().
官方地址:https://www.php.net/manual/en/dio.resources.php