//打印

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;

}