# 內置規則
系統內置了一些常用的驗證規則,可以完成大部分場景的驗證需求,包括:
- [格式驗證類](#_6)
- [長度和區間驗證類](#_183)
- [字段比較類](#_284)
- [filter驗證](#filter_354)
- [正則驗證](#_360)
- [上傳驗證](#_395)
- [行為驗證](#_417)
- [其它驗證](#_424)
> 驗證規則嚴格區分大小寫
## 格式驗證類
格式驗證類在使用靜態方法調用的時候支持兩種方式調用(以`number`驗證為例,可以使用`number()` 或者 `isNumber()`)。
> ### require
驗證某個字段必須,例如:
```
'name'=>'require'
```
> 如果驗證規則沒有添加`require`就表示沒有值的話不進行驗證
> 由于`require`屬于PHP保留字,所以在使用方法驗證的時候必須使用`isRequire`或者`must`方法調用。
> ### number
驗證某個字段的值是否為數字,例如:
```
'num'=>'number'
```
> ### integer
驗證某個字段的值是否為數字(采用`filter_var`驗證),例如:
```
'num'=>'integer'
```
> ### float
驗證某個字段的值是否為浮點數字(采用`filter_var`驗證),例如:
```
'num'=>'float'
```
> ### boolean 或者 bool
驗證某個字段的值是否為布爾值(采用`filter_var`驗證),例如:
```
'num'=>'boolean'
```
> ### email
驗證某個字段的值是否為email地址(采用`filter_var`驗證),例如:
```
'email'=>'email'
```
> ### array
驗證某個字段的值是否為數組,例如:
```
'info'=>'array'
```
> ### accepted
驗證某個字段是否為為 yes, on, 或是 1。這在確認"服務條款"是否同意時很有用,例如:
```
'accept'=>'accepted'
```
> ### date
驗證值是否為有效的日期,例如:
```
'date'=>'date'
```
會對日期值進行`strtotime`后進行判斷。
> ### alpha
驗證某個字段的值是否為字母,例如:
```
'name'=>'alpha'
```
> ### alphaNum
驗證某個字段的值是否為字母和數字,例如:
```
'name'=>'alphaNum'
```
> ### alphaDash
驗證某個字段的值是否為字母和數字,下劃線`_`及破折號`-`,例如:
```
'name'=>'alphaDash'
```
> ### chs
驗證某個字段的值只能是漢字,例如:
```
'name'=>'chs'
```
> ### chsAlpha
驗證某個字段的值只能是漢字、字母,例如:
```
'name'=>'chsAlpha'
```
> ### chsAlphaNum
驗證某個字段的值只能是漢字、字母和數字,例如:
```
'name'=>'chsAlphaNum'
```
> ### chsDash
驗證某個字段的值只能是漢字、字母、數字和下劃線\_及破折號-,例如:
```
'name'=>'chsDash'
```
> ### activeUrl
驗證某個字段的值是否為有效的域名或者IP,例如:
```
'host'=>'activeUrl'
```
> ### url
驗證某個字段的值是否為有效的URL地址(采用`filter_var`驗證),例如:
```
'url'=>'url'
```
> ### ip
驗證某個字段的值是否為有效的IP地址(采用`filter_var`驗證),例如:
```
'ip'=>'ip'
```
支持驗證ipv4和ipv6格式的IP地址。
> ### dateFormat:format
驗證某個字段的值是否為指定格式的日期,例如:
```
'create_time'=>'dateFormat:y-m-d'
```
> ### mobile
驗證某個字段的值是否為有效的手機,例如:
```
'mobile'=>'mobile'
```
> ### idCard
驗證某個字段的值是否為有效的身份證格式,例如:
```
'id_card'=>'idCard'
```
> ### macAddr
驗證某個字段的值是否為有效的MAC地址,例如:
```
'mac'=>'macAddr'
```
> ### zip
驗證某個字段的值是否為有效的郵政編碼,例如:
```
'zip'=>'zip'
```
## 長度和區間驗證類
> ### in
驗證某個字段的值是否在某個范圍,例如:
```
'num'=>'in:1,2,3'
```
> ### notIn
驗證某個字段的值不在某個范圍,例如:
```
'num'=>'notIn:1,2,3'
```
> ### between
驗證某個字段的值是否在某個區間,例如:
```
'num'=>'between:1,10'
```
> ### notBetween
驗證某個字段的值不在某個范圍,例如:
```
'num'=>'notBetween:1,10'
```
> ### length:num1,num2
驗證某個字段的值的長度是否在某個范圍,例如:
```
'name'=>'length:4,25'
```
或者指定長度
```
'name'=>'length:4'
```
> 如果驗證的數據是數組,則判斷數組的長度。
> 如果驗證的數據是File對象,則判斷文件的大小。
> ### max:number
驗證某個字段的值的最大長度,例如:
```
'name'=>'max:25'
```
> 如果驗證的數據是數組,則判斷數組的長度。
> 如果驗證的數據是File對象,則判斷文件的大小。
> ### min:number
驗證某個字段的值的最小長度,例如:
```
'name'=>'min:5'
```
> 如果驗證的數據是數組,則判斷數組的長度。
> 如果驗證的數據是File對象,則判斷文件的大小。
> ### after:日期
驗證某個字段的值是否在某個日期之后,例如:
```
'begin_time' => 'after:2016-3-18',
```
> ### before:日期
驗證某個字段的值是否在某個日期之前,例如:
```
'end_time' => 'before:2016-10-01',
```
> ### expire:開始時間,結束時間
驗證當前操作(注意不是某個值)是否在某個有效日期之內,例如:
```
'expire_time' => 'expire:2016-2-1,2016-10-01',
```
> ### allowIp:allow1,allow2,...
驗證當前請求的IP是否在某個范圍,例如:
```
'name' => 'allowIp:114.45.4.55',
```
該規則可以用于某個后臺的訪問權限,多個IP用逗號分隔
> ### denyIp:allow1,allow2,...
驗證當前請求的IP是否禁止訪問,例如:
```
'name' => 'denyIp:114.45.4.55',
```
多個IP用逗號分隔
## 字段比較類
> ### confirm
驗證某個字段是否和另外一個字段的值一致,例如:
```
'repassword'=>'require|confirm:password'
```
支持字段自動匹配驗證規則,如`password`和`password_confirm`是自動相互驗證的,只需要使用
```
'password'=>'require|confirm'
```
會自動驗證和`password_confirm`進行字段比較是否一致,反之亦然。
> ### different
驗證某個字段是否和另外一個字段的值不一致,例如:
```
'name'=>'require|different:account'
```
> ### eq 或者 = 或者 same
驗證是否等于某個值,例如:
```
'score'=>'eq:100'
'num'=>'=:100'
'num'=>'same:100'
```
> ### egt 或者 >=
驗證是否大于等于某個值,例如:
```
'score'=>'egt:60'
'num'=>'>=:100'
```
> ### gt 或者 >
驗證是否大于某個值,例如:
```
'score'=>'gt:60'
'num'=>'>:100'
```
> ### elt 或者 <=
驗證是否小于等于某個值,例如:
```
'score'=>'elt:100'
'num'=>'<=:100'
```
> ### lt 或者 <
驗證是否小于某個值,例如:
```
'score'=>'lt:100'
'num'=>'<:100'
```
> ### 字段比較
驗證對比其他字段大小(數值大小對比),例如:
```
'price'=>'lt:market_price'
'price'=>'<:market_price'
```
## filter驗證
支持使用`filter_var`進行驗證,例如:
```
'ip'=>'filter:validate_ip'
```
## 正則驗證
支持直接使用正則驗證,例如:
```
'zip'=>'\d{6}',
// 或者
'zip'=>'regex:\d{6}',
```
如果你的正則表達式中包含有`|`符號的話,必須使用數組方式定義。
```
'accepted'=>['regex'=>'/^(yes|on|1)$/i'],
```
也可以實現預定義正則表達式后直接調用,例如在驗證器類中定義regex屬性
```
namespace app\index\validate;
use think\Validate;
class User extends Validate
{
protected $regex = [ 'zip' => '\d{6}'];
protected $rule = [
'name' => 'require|max:25',
'email' => 'email',
];
}
```
然后就可以使用
```
'zip' => 'regex:zip',
```
## 上傳驗證
> ### file
驗證是否是一個上傳文件
> ### image:width,height,type
驗證是否是一個圖像文件,width height和type都是可選,width和height必須同時定義。
> ### fileExt:允許的文件后綴
驗證上傳文件后綴
> ### fileMime:允許的文件類型
驗證上傳文件類型
> ### fileSize:允許的文件字節大小
驗證上傳文件大小
## 行為驗證
使用行為驗證數據,例如:
```
'data'=>'behavior:\app\index\behavior\Check'
```
## 其它驗證
> ### unique:table,field,except,pk
驗證當前請求的字段值是否為唯一的,例如:
```
// 表示驗證name字段的值是否在user表(不包含前綴)中唯一
'name' => 'unique:user',
// 驗證其他字段
'name' => 'unique:user,account',
// 排除某個主鍵值
'name' => 'unique:user,account,10',
// 指定某個主鍵值排除
'name' => 'unique:user,account,10,user_id',
```
如果需要對復雜的條件驗證唯一,可以使用下面的方式:
```
// 多個字段驗證唯一驗證條件
'name' => 'unique:user,status^account',
// 復雜驗證條件
'name' => 'unique:user,status=1&account='.$data['account'],
```
> ### requireIf:field,value
驗證某個字段的值等于某個值的時候必須,例如:
```
// 當account的值等于1的時候 password必須
'password'=>'requireIf:account,1'
```
> ### requireWith:field
驗證某個字段有值的時候必須,例如:
```
// 當account有值的時候password字段必須
'password'=>'requireWith:account'
```
> ### requireCallback:callable
驗證當某個callable為真的時候字段必須,例如:
```
// 使用check_require方法檢查是否需要驗證age字段必須
'age'=>'requireCallback:check_require|number'
```
用于檢查是否需要驗證的方法支持兩個參數,第一個參數是當前字段的值,第二個參數則是所有的數據。
```
function check_require($value, $data){
if(empty($data['birthday'])){
return true;
}
}
```
只有check\_require函數返回true的時候age字段是必須的,并且會進行后續的其它驗證。
- 序言
- 基礎
- 安裝
- 開發規范
- 目錄結構
- 配置
- 架構
- 架構總覽
- 入口文件
- URL訪問
- 模塊設計
- 命名空間
- 容器和依賴注入
- Facade
- 鉤子和行為
- 中間件
- 路由
- 路由定義
- 變量規則
- 路由地址
- 閉包支持
- 路由參數
- 路由緩存
- 跨域請求
- 注解路由
- 路由分組
- MISS路由
- 資源路由
- 快捷路由
- 路由別名
- 路由綁定
- 域名路由
- URL生成
- 控制器
- 控制器定義
- 前置操作
- 跳轉和重定向
- 空操作和空控制器
- 分層控制器
- 資源控制器
- 請求
- 請求對象
- 請求信息
- 輸入變量
- 請求類型
- HTTP頭信息
- 偽靜態
- 參數綁定
- 請求緩存
- 響應
- 響應輸出
- 響應參數
- 重定向
- 數據庫
- 連接數據庫
- 查詢構造器
- 查詢數據
- 添加數據
- 更新數據
- 刪除數據
- 查詢表達式
- 鏈式操作
- 聚合查詢
- 時間查詢
- 高級查詢
- 視圖查詢
- JSON字段
- 子查詢
- 原生查詢
- 查詢事件
- 事務操作
- 監聽SQL
- 存儲過程
- 數據集
- 分布式數據庫
- 模型
- 定義
- 新增
- 更新
- 刪除
- 查詢
- JSON字段
- 獲取器
- 修改器
- 自動時間戳
- 只讀字段
- 軟刪除
- 類型轉換
- 數據完成
- 查詢范圍
- 模型輸出
- 模型事件
- 模型關聯
- 一對一關聯
- 一對多關聯
- 遠程一對多
- 多對多關聯
- 多態關聯
- 關聯預載入
- 關聯統計
- 關聯輸出
- 視圖
- 視圖渲染
- 視圖賦值
- 視圖過濾
- 模板引擎
- 模板
- 變量輸出
- 使用函數
- 運算符
- 原樣輸出
- 模板注釋
- 模板布局
- 模板繼承
- 包含文件
- 輸出替換
- 標簽庫
- 內置標簽
- 循環標簽
- 比較標簽
- 條件判斷
- 資源文件加載
- 標簽嵌套
- 原生PHP
- 定義標簽
- 標簽擴展
- 錯誤和日志
- 異常處理
- 日志處理
- 調試
- 調試模式
- Trace調試
- 性能調試
- SQL調試
- 變量調試
- 遠程調試
- 驗證
- 驗證器
- 驗證規則
- 錯誤信息
- 驗證場景
- 路由驗證
- 內置規則
- 獨立驗證
- 靜態調用
- 表單令牌
- 雜項
- 緩存
- Session
- Cookie
- 多語言
- 分頁
- 上傳
- 命令行
- 啟動內置服務器
- 自動生成目錄結構
- 創建類庫文件
- 生成類庫映射文件
- 清除緩存文件
- 生成配置緩存文件
- 生成數據表字段緩存
- 生成路由映射緩存
- 自定義指令
- 擴展庫
- 驗證碼
- 圖像處理
- Time
- 數據庫遷移工具
- Workerman
- MongoDb
- 單元測試
- 安全和性能
- 安全建議
- 優化建議
- 附錄
- 助手函數
- 升級指導
- 更新日志