//打印
function p($res,$exit = 0){
    echo ‘<pre>‘;
    print_r($res);
    echo ‘</pre>‘;
    if($exit){
        exit();
    }
}

// 是否正整数
function is_positive_integer($num = 0) {  
    return is_numeric($num) && $num == (int) $num && $num > 0;
}

// 是否非空字符串
function is_not_empty_string($str = ‘‘) {
    return is_string($str) && $str != ‘‘;
}

// 是否非空数组
function is_not_empty_array($arr = array()) {
    return is_array($arr) && !empty($arr);
}

/** 
* 计算两组经纬度坐标 之间的距离 
* params ：lat1 纬度1； lng1 经度1； lat2 纬度2； lng2 经度2； len_type （1:m or 2:km); 
* return int m or km 
*/ 
function getDistance($lat1, $lng1, $lat2, $lng2, $len_type = 1, $decimal = 2) {
    $EARTH_RADIUS    = 6378.137;
    $PI                = 3.1415926;
    $radLat1 = $lat1 * $PI / 180.0;
    $radLat2 = $lat2 * $PI / 180.0;
    $a = $radLat1 - $radLat2;
    $b = ($lng1 * $PI / 180.0) - ($lng2 * $PI / 180.0);
    $s = 2 * asin(sqrt(pow(sin($a/2),2) + cos($radLat1) * cos($radLat2) * pow(sin($b/2),2)));
    $s = $s * $EARTH_RADIUS;
    $s = round($s * 1000);
    if ($len_type > 1)
    {
        $s /= 1000;
    }
    return round($s, $decimal);
}

//是否是微信端
function is_weixin(){ 
   if ( strpos($_SERVER[‘HTTP_USER_AGENT‘], ‘MicroMessenger‘) !== false ) {
      return true;
   }else{
      return false;
   }
       
}

//合并两个二维索引数组
function mergeByCId(&$a,&$b){
    $c=array();
    foreach($a as $e)    $c[$e[‘cid‘]]=$e;
    foreach($b as $e)    $c[$e[‘cid‘]]=isset($c[$e[‘cid‘]])? $c[$e[‘cid‘]]+$e : $e;
    return $c;
}

//追加log日志
function add_file_log($txt = ‘‘,$del = false) {
  if($del) unlink(‘log_info.txt‘);
    file_put_contents(‘log_info.txt‘, $txt."\r\n", FILE_APPEND);
}