# 公共函數庫 本文中所提供的公共函數位于application\\extra\\function.php 1. 生產序列號 ``` create_guid($namespace = '') { } ``` 參數： string $namespace:非必須，序列號的前綴 返回值： string 生成的序列號 2\. 獲取指定的數據表的下一個自動編號值 ``` get_next_increment($table){} ``` 參數： string $table:數據庫表名稱 返回值：int 指定的表的下一個自動編號值 1. 格式化數值 ``` format_number($number,$decimals=2){} ``` 參數： double $number:需要格式化的數值 intger $decimals:保留的小數位數 返回值： string 返回字符串格式的保留指定小數位數的數值 1. 格式化字符串，并用指定的字符填充不夠的位置 ``` format_string($value,$len=8,$prefix='',$replace='0'){} ``` 參數： mixed $value:值，可以是數值或字符串 intger $len:格式化后字符串的長度，默認為8個字符 string $prefix:前綴 string $replace:長度不夠時中間位置的缺省替代字符，默認為0 返回值：string,格式化后的定長的字符串 1. 獲取當前服務器的主機名 ``` get_host_name(){} ``` 返回值：string,帶協議和端口號的主機名 1. 判斷給定的號碼是否為有效的11位手機號 ``` boolean is_mobile($mobile){} ``` 1. 判斷給定的郵箱地址是否為合法的郵箱地址 ``` boolean is_email($email){} ``` 1. 判斷給定的是否為合法的座機號，支持的格式為(+86)-區號-座機號-分機號其中國家代碼，區號及分機號為非必須 ``` boolean is_phone($phone){} ``` 1. 判斷當前訪問的設備是否為手機設備 ``` boolean is_mobile_device(){} ``` 1. 判斷當前是否為微信內置瀏覽器訪問 ``` boolean is_wechat(){} ``` 1. 判斷當前是否為網絡爬蟲 ``` boolean is_crawler(){} ```