php常用函数库

/** *  获取执行时间 *  例如:$t1 = ExecTime(); *       在一段内容处理之后: *       $t2 = ExecTime(); *  我们可以将2个时间的差值输出:echo $t2-$t1; * *  @return    int */if ( ! function_exists('ExecTime')){    function ExecTime()    {        $time = explode(" ", microtime());        $usec = (double)$time[0];        $sec = (double)$time[1];        return $sec + $usec;    }}/** *  获取用户真实地址 * * @return    string  返回用户ip */if ( ! function_exists('GetIP')){    function GetIP()    {        static $realip = NULL;        if ($realip !== NULL)        {            return $realip;        }        if (isset($_SERVER))        {            if (isset($_SERVER['HTTP_X_FORWARDED_FOR']))            {                $arr = explode(',', $_SERVER['HTTP_X_FORWARDED_FOR']);                /* 取X-Forwarded-For中第x个非unknown的有效IP字符? */                foreach ($arr as $ip)                {                    $ip = trim($ip);                    if ($ip != 'unknown')                    {                        $realip = $ip;                        break;                    }                }            }            elseif (isset($_SERVER['HTTP_CLIENT_IP']))            {                $realip = $_SERVER['HTTP_CLIENT_IP'];            }            else            {                if (isset($_SERVER['REMOTE_ADDR']))                {                    $realip = $_SERVER['REMOTE_ADDR'];                }                else                {                    $realip = '0.0.0.0';                }            }        }        else        {            if (getenv('HTTP_X_FORWARDED_FOR'))            {                $realip = getenv('HTTP_X_FORWARDED_FOR');            }            elseif (getenv('HTTP_CLIENT_IP'))            {                $realip = getenv('HTTP_CLIENT_IP');            }            else            {                $realip = getenv('REMOTE_ADDR');            }        }        preg_match("/[\d\.]{7,15}/", $realip, $onlineip);        $realip = ! empty($onlineip[0]) ? $onlineip[0] : '0.0.0.0';        return $realip;    }}/** *  获得当前的脚本网址 * * @return    string */if ( ! function_exists('GetCurUrl')){    function GetCurUrl()    {        if(!empty($_SERVER["REQUEST_URI"]))        {            $scriptName = $_SERVER["REQUEST_URI"];            $nowurl = $scriptName;        }        else        {            $scriptName = $_SERVER["PHP_SELF"];            if(empty($_SERVER["QUERY_STRING"]))            {                $nowurl = $scriptName;            }            else            {                $nowurl = $scriptName."?".$_SERVER["QUERY_STRING"];            }        }        return $nowurl;    }}