系统内置了一些常用的验证规则，可以完成大部分场景的验证需求，包括：
[TOC=2,2]
>[danger] 验证规则严格区分大小写
## 格式验证类
格式验证类的验证规则如果在使用静态方法调用的时候需要加上`is`（以`number`验证为例，需要使用 `isNumber()`）。
>[info]### require
验证某个字段必须，例如：
~~~
'name'=>'require'
~~~
>[danger] 如果验证规则没有添加`require`就表示没有值的话不进行验证
>[danger] 由于`require`属于PHP保留字，所以在使用方法验证的时候必须使用`isRequire`或者`must`方法调用。
>[info]### number
验证某个字段的值是否为纯数字（采用`ctype_digit`验证，不包含负数和小数点），例如：
~~~
'num'=>'number'
~~~
>[info]### integer
验证某个字段的值是否为整数（采用`filter_var`验证），例如：
~~~
'num'=>'integer'
~~~
>[info]### float
验证某个字段的值是否为浮点数字（采用`filter_var`验证），例如：
~~~
'num'=>'float'
~~~
>[info]### boolean 或者 bool
验证某个字段的值是否为布尔值（采用`filter_var`验证），例如：
~~~
'num'=>'boolean'
~~~
>[info]### email
验证某个字段的值是否为email地址（采用`filter_var`验证），例如：
~~~
'email'=>'email'
~~~
>[info]### array
验证某个字段的值是否为数组，例如：
~~~
'info'=>'array'
~~~
>[info]### accepted
验证某个字段是否为为 yes, on, 或是 1。这在确认"服务条款"是否同意时很有用，例如：
~~~
'accept'=>'accepted'
~~~
>[info]### date
验证值是否为有效的日期，例如：
~~~
'date'=>'date'
~~~
会对日期值进行`strtotime`后进行判断。
>[info]### alpha
验证某个字段的值是否为纯字母，例如：
~~~
'name'=>'alpha'
~~~
>[info]### alphaNum
验证某个字段的值是否为字母和数字，例如：
~~~
'name'=>'alphaNum'
~~~
>[info]### alphaDash
验证某个字段的值是否为字母和数字，下划线`_`及破折号`-`，例如：
~~~
'name'=>'alphaDash'
~~~
>[info]### chs
验证某个字段的值只能是汉字，例如：
~~~
'name'=>'chs'
~~~
>[info]### chsAlpha
验证某个字段的值只能是汉字、字母，例如：
~~~
'name'=>'chsAlpha'
~~~
>[info]### chsAlphaNum
验证某个字段的值只能是汉字、字母和数字，例如：
~~~
'name'=>'chsAlphaNum'
~~~
>[info]### chsDash
验证某个字段的值只能是汉字、字母、数字和下划线_及破折号-，例如：
~~~
'name'=>'chsDash'
~~~
>[info]### cntrl
验证某个字段的值只能是控制字符（换行、缩进、空格），例如：
~~~
'name'=>'cntrl'
~~~
>[info]### graph
验证某个字段的值只能是可打印字符（空格除外），例如：
~~~
'name'=>'graph'
~~~
>[info]### print
验证某个字段的值只能是可打印字符（包括空格），例如：
~~~
'name'=>'print'
~~~
>[info]### lower
验证某个字段的值只能是小写字符，例如：
~~~
'name'=>'lower'
~~~
>[info]### upper
验证某个字段的值只能是大写字符，例如：
~~~
'name'=>'upper'
~~~
>[info]### space
验证某个字段的值只能是空白字符（包括缩进，垂直制表符，换行符，回车和换页字符），例如：
~~~
'name'=>'space'
~~~
>[info]### xdigit
验证某个字段的值只能是十六进制字符串，例如：
~~~
'name'=>'xdigit'
~~~
>[info]### activeUrl
验证某个字段的值是否为有效的域名或者IP，例如：
~~~
'host'=>'activeUrl'
~~~
>[info]### url
验证某个字段的值是否为有效的URL地址（采用`filter_var`验证），例如：
~~~
'url'=>'url'
~~~
>[info]### ip
验证某个字段的值是否为有效的IP地址（采用`filter_var`验证），例如：
~~~
'ip'=>'ip'
~~~
支持验证ipv4和ipv6格式的IP地址。
>[info]### dateFormat:format
验证某个字段的值是否为指定格式的日期，例如：
~~~
'create_time'=>'dateFormat:y-m-d'
~~~
>[info]### mobile
验证某个字段的值是否为有效的手机，例如：
~~~
'mobile'=>'mobile'
~~~
>[info]### idCard
验证某个字段的值是否为有效的身份证格式，例如：
~~~
'id_card'=>'idCard'
~~~
>[info]### macAddr
验证某个字段的值是否为有效的MAC地址，例如：
~~~
'mac'=>'macAddr'
~~~
>[info]### zip
验证某个字段的值是否为有效的邮政编码，例如：
~~~
'zip'=>'zip'
~~~
## 长度和区间验证类
>[info]### in
验证某个字段的值是否在某个范围，例如：
~~~
'num'=>'in:1,2,3'
~~~
>[info]### notIn
验证某个字段的值不在某个范围，例如：
~~~
'num'=>'notIn:1,2,3'
~~~
>[info]### between
验证某个字段的值是否在某个区间，例如：
~~~
'num'=>'between:1,10'
~~~
>[info]### notBetween
验证某个字段的值不在某个范围，例如：
~~~
'num'=>'notBetween:1,10'
~~~
>[info]### length:num1,num2
验证某个字段的值的长度是否在某个范围，例如：
~~~
'name'=>'length:4,25'
~~~
或者指定长度
~~~
'name'=>'length:4'
~~~
> 如果验证的数据是数组，则判断数组的长度。
> 如果验证的数据是File对象，则判断文件的大小。
>[info]### max:number
验证某个字段的值的最大长度，例如：
~~~
'name'=>'max:25'
~~~
> 如果验证的数据是数组，则判断数组的长度。
> 如果验证的数据是File对象，则判断文件的大小。
>[info]### min:number
验证某个字段的值的最小长度，例如：
~~~
'name'=>'min:5'
~~~
> 如果验证的数据是数组，则判断数组的长度。
> 如果验证的数据是File对象，则判断文件的大小。
>[info]### after:日期
验证某个字段的值是否在某个日期之后，例如：
~~~
'begin_time' => 'after:2016-3-18',
~~~
>[info]### before:日期
验证某个字段的值是否在某个日期之前，例如：
~~~
'end_time' => 'before:2016-10-01',
~~~
>[info]### expire:开始时间,结束时间
验证当前操作（注意不是某个值）是否在某个有效日期之内，例如：
~~~
'expire_time' => 'expire:2016-2-1,2016-10-01',
~~~
>[info]### allowIp:allow1,allow2,...
验证当前请求的IP是否在某个范围，例如：
~~~
'name' => 'allowIp:114.45.4.55',
~~~
该规则可以用于某个后台的访问权限，多个IP用逗号分隔
>[info]### denyIp:allow1,allow2,...
验证当前请求的IP是否禁止访问，例如：
~~~
'name' => 'denyIp:114.45.4.55',
~~~
多个IP用逗号分隔
## 字段比较类
>[info]### confirm
验证某个字段是否和另外一个字段的值一致，例如：
~~~
'repassword'=>'require|confirm:password'
~~~
支持字段自动匹配验证规则，如`password`和`password_confirm`是自动相互验证的，只需要使用
~~~
'password'=>'require|confirm'
~~~
会自动验证和`password_confirm`进行字段比较是否一致，反之亦然。
>[info]### different
验证某个字段是否和另外一个字段的值不一致，例如：
~~~
'name'=>'require|different:account'
~~~
>[info]### eq 或者 = 或者 same
验证是否等于某个值，例如：
~~~
'score'=>'eq:100'
'num'=>'=:100'
'num'=>'same:100'
~~~
>[info]### egt 或者 >=
验证是否大于等于某个值，例如：
~~~
'score'=>'egt:60'
'num'=>'>=:100'
~~~
>[info]### gt 或者 >
验证是否大于某个值，例如：
~~~
'score'=>'gt:60'
'num'=>'>:100'
~~~
>[info]### elt 或者 <=
验证是否小于等于某个值，例如：
~~~
'score'=>'elt:100'
'num'=>'<=:100'
~~~
>[info]### lt 或者 <
验证是否小于某个值，例如：
~~~
'score'=>'lt:100'
'num'=>'<:100'
~~~
>[info]### 字段比较
验证对比其他字段大小（数值大小对比），例如：
~~~
'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',
~~~
## 上传验证
>[info]### file
验证是否是一个上传文件
>[info]### image:width,height,type
验证是否是一个图像文件，width height和type都是可选，width和height必须同时定义。
>[info]### fileExt:允许的文件后缀
验证上传文件后缀
>[info]### fileMime:允许的文件类型
验证上传文件类型
>[info]### fileSize:允许的文件字节大小
验证上传文件大小
## 其它验证
>[info] ### token:表单令牌名称
表单令牌验证
>[info]### 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'],
~~~
>[info]### requireIf:field,value
验证某个字段的值等于某个值的时候必须，例如：
~~~
// 当account的值等于1的时候 password必须
'password'=>'requireIf:account,1'
~~~
>[info]### requireWith:field
验证某个字段有值的时候必须，例如：
~~~
// 当account有值的时候password字段必须
'password'=>'requireWith:account'
~~~
>[info]### requireWithout:field
验证某个字段没有值的时候必须，例如：
~~~
// mobile和phone必须输入一个
'mobile' => 'requireWithout:phone',
'phone' => 'requireWithout:mobile'
~~~
>[info]### 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访问
- 容器和依赖注入
- 服务
- 门面
- 中间件
- 事件
- 路由
- 路由定义
- 变量规则
- 路由地址
- 路由参数
- 路由中间件
- 路由分组
- 资源路由
- 注解路由
- 路由绑定
- 域名路由
- MISS路由
- 跨域请求
- URL生成
- 控制器
- 控制器定义
- 基础控制器
- 空控制器
- 资源控制器
- 控制器中间件
- 请求
- 请求对象
- 请求信息
- 输入变量
- 请求类型
- HTTP头信息
- 伪静态
- 参数绑定
- 请求缓存
- 响应
- 响应输出
- 响应参数
- 重定向
- 文件下载
- 数据库
- 连接数据库
- 分布式数据库
- 查询构造器
- 查询数据
- 添加数据
- 更新数据
- 删除数据
- 查询表达式
- 链式操作
- where
- table
- alias
- field
- strict
- limit
- page
- order
- group
- having
- join
- union
- distinct
- lock
- cache
- cacheAlways
- comment
- fetchSql
- force
- partition
- failException
- sequence
- replace
- extra
- duplicate
- procedure
- 聚合查询
- 分页查询
- 时间查询
- 高级查询
- 视图查询
- JSON字段
- 子查询
- 原生查询
- 获取查询参数
- 查询事件
- 获取器
- 事务操作
- 存储过程
- 数据集
- 数据库驱动
- 模型
- 定义
- 模型字段
- 新增
- 更新
- 删除
- 查询
- 查询范围
- JSON字段
- 获取器
- 修改器
- 搜索器
- 数据集
- 自动时间戳
- 只读字段
- 软删除
- 类型转换
- 模型输出
- 模型事件
- 模型关联
- 一对一关联
- 一对多关联
- 远程一对多
- 远程一对一
- 多对多关联
- 多态关联
- 关联预载入
- 关联统计
- 关联输出
- 虚拟模型
- 视图
- 模板变量
- 视图过滤
- 模板渲染
- 模板引擎
- 视图驱动
- 错误和日志
- 异常处理
- 日志处理
- 调试
- 调试模式
- Trace调试
- SQL调试
- 变量调试
- 远程调试
- 验证
- 验证器
- 验证规则
- 错误信息
- 验证场景
- 路由验证
- 内置规则
- 表单令牌
- 注解验证
- 杂项
- 缓存
- Session
- Cookie
- 多语言
- 上传
- 命令行
- 启动内置服务器
- 查看版本
- 自动生成应用目录
- 创建类库文件
- 清除缓存文件
- 生成数据表字段缓存
- 生成路由映射缓存
- 输出路由定义
- 自定义指令
- Debug输出级别
- 扩展库
- 数据库迁移工具
- Workerman
- think助手工具库
- 验证码
- Swoole
- 附录
- 助手函数
- 升级指导
- 更新日志