下面是部分tp5内置的验证规则：
格式验证类：
'name'=>'require'
验证某个字段的值是否为数字（采用filter_var验证），例如：
number 或者 integer
'name'=>'number'
验证某个字段的值是否为浮点数字（采用filter_var验证），例如：
float
'name'=>'float'
验证某个字段的值是否为布尔值（采用filter_var验证），例如：
boolean
'boolean'=>'boolean'
验证某个字段的值是否为email地址（采用filter_var验证），例如：
'email'=>'email'
验证某个字段的值是否为数组，例如：
array
'info'=>'array'
验证某个字段是否为为 yes, on, 或是 1。这在确认"服务条款"是否同意时很有用，例如：
accepted
'accept'=>'accepted'
验证值是否为有效的日期，例如：
注：会对日期值进行strtotime后进行判断。
date
'date'=>'date'
验证某个字段的值是否为字母，例如：
alpha
'name'=>'alpha'
验证某个字段的值是否为字母和数字，例如：
alphaNum
'name'=>'alphaNum'
验证某个字段的值是否为字母和数字，下划线_及破折号-，例如：
alphaDash
'name'=>'alphaDash'
验证某个字段的值是否为有效的域名或者IP，例如：
activeUrl
'host'=>'activeUrl'
验证某个字段的值是否为有效的URL地址（采用filter_var验证），例如：
url
'url'=>'url'
验证某个字段的值是否为有效的IP地址（采用filter_var验证），例如：
注：支持验证ipv4和ipv6格式的IP地址。
ip
'ip'=>'ip'
验证某个字段的值是否为指定格式的日期，例如：
dateFormat:format
'create_time'=>'dateFormat:y-m-d'
长度和区间验证类
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'
验证某个字段的值的最大长度，例如：
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',
验证当前请求的IP是否在某个范围，例如：
allowIp:allow1,allow2,...
'name' =>'allowIp:114.45.4.55',
注：该规则可以用于某个后台的访问权限
验证当前请求的IP是否禁止访问，例如：
denyIp:allow1,allow2,...
'name' =>'denyIp:114.45.4.55',
字段比较类
验证某个字段是否和另外一个字段的值一致
confirm
'repassport'=>'require|confirm:passport'
验证某个字段是否和另外一个字段的值不一致
different
'name'=>'require|different:account'
验证是否大于等于某个值，例如：
egt 或者 >=
'score'=>'egt:60' || 'num'=>'>=:100'
验证是否大于某个值，例如：
gt 或者 >
'score'=>'gt:60' || 'num'=>'>:100'
验证是否小于等于某个值，例如：
elt 或者 <=
'score'=>'elt:100' || 'num'=>'<=:100'
验证是否小于某个值，例如：
lt 或者 <
'score'=>'lt:100'|| 'num'=>'<:100'
验证是否等于某个值，例如：
eq 或者 = 或者 same
'score'=>'eq:100'|| 'num'=>'=:100'|| 'num'=>'same:100'
filter验证
支持使用filter_var进行验证，例如：
'ip'=>'filter:validate_ip'
正则验证
支持直接使用正则验证，例如：
'zip'=>'\d{6}'
或者
'zip'=>'regex:\d{6}',
如果你的正则表达式中包含有|符号的话，必须使用数组方式定义。
'accepted'=>['regex'=>'/^(yes|on|1)$/i'],
上传验证
验证是否是一个上传文件
file
验证是否是一个图像文件，width height和type都是可选，width和height必须同时定义。
image:width,height,type
验证上传文件后缀
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'