PHP实现的带超时功能get_headers函数

代码比较多，但是比较简单，一眼就看穿的，so，文字尽量少写了。
因为众所周知的网络原因，gavatar也开始越来越慢，写了一个小东西来解决这个问题，过程中遇到了get_headers这个函数，甚是忧伤，记录下来，以免后来人踩坑。
更新记录，函数稍微改了一下，返回值基本和之前序列化后的结果一致，暂时没考虑支持子项也支持数组等（考虑细节性能，还想把没用的http头砍掉….）
需求很简单：获取图片的head信息。
调试程序的时候发现这个函数的调用很缓慢，即使绑定ip，有时候都能蹦到20多秒。
寻思这个事情还是该加个超时吧，但是看官方文档，给出的导出函数接口如下：
代码如下:
array get_headers(string$url[,int$format=0])

你没有看错，这个东西没有超时接口…
上github翻看源码，期望可以用他的底层实现来重新实现一套：
地址 https://github.com/php/php-src/blob/88ca46d92bc1c426e7c7f7313f0fd2b7dcc33cf6/ext/standard/url.c#L710

代码如下:
/* {{{ proto array get_headers(string url[, int format])
   fetches all the headers sent by the server in response to a HTTP request */
PHP_FUNCTION(get_headers)
{
char*url;
size_t url_len;
php_stream_context*context;
php_stream*stream;
zval*prev_val,*hdr=NULL,*h;
HashTable*hashT;
zend_long format=0;
               
if(zend_parse_parameters(ZEND_NUM_ARGS()TSRMLS_CC,"s|l",&url,&url_len,&format)==FAILURE){
return;
}
 
/** 省略其他一堆... **/
}
/* }}} */

但是很不幸的是，zend_parse_parameters 和 ZEND_NUM_ARGS也都没有PHP版的导出函数。
于是造轮子开始：
代码如下:
functionget_url_headers($url,$timeout=10)
{
    $ch=curl_init();
 
    curl_setopt($ch,CURLOPT_URL,$url);
    curl_setopt($ch,CURLOPT_HEADER,true);
    curl_setopt($ch,CURLOPT_NOBODY,true);
    curl_setopt($ch,CURLOPT_RETURNTRANSFER,true);
    curl_setopt($ch,CURLOPT_TIMEOUT,$timeout);
 
    $data=curl_exec($ch);
    $data=preg_split('//n/',$data);
 
    $data=array_filter(array_map(function($data){
        $data=trim($data);
        if($data){
            $data=preg_split('/:/s/',trim($data),2);
            $length=count($data);
            switch($length){
                case2: