# 内置规则
系统内置了一些常用的验证规则，可以完成大部分场景的验证需求，包括：
- [格式验证类](#_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
- 单元测试
- 安全和性能
- 安全建议
- 优化建议
- 附录
- 助手函数
- 升级指导
- 更新日志