内置规则

TP框架内置了一些常用的验证规则，可以完成大部分场景的验证需求：

1、格式验证类
格式验证类的验证规则如果在使用静态方法调用的时候需要加上is（以number验证为例，需要使用 isNumber()）。

require验证某个字段必须，例如：

'name'=>'require'

如果验证规则没有添加require就表示没有值的话不进行验证
由于require属于PHP保留字，所以在使用方法验证的时候必须使用isRequire或者must方法调用。

number验证某个字段的值是否为纯数字（采用ctype_digit验证，不包含负数和小数点），例如：

'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'

cntrl验证某个字段的值只能是控制字符（换行、缩进、空格），例如：

'name'=>'cntrl'

graph验证某个字段的值只能是可打印字符（空格除外），例如：

'name'=>'graph'

print验证某个字段的值只能是可打印字符（包括空格），例如：

'name'=>'print'

lower验证某个字段的值只能是小写字符，例如：

'name'=>'lower'

upper验证某个字段的值只能是大写字符，例如：

'name'=>'upper'

space验证某个字段的值只能是空白字符（包括缩进，垂直制表符，换行符，回车和换页字符），例如：

'name'=>'space'

xdigit验证某个字段的值只能是十六进制字符串，例如：

'name'=>'xdigit'

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'

2、长度和区间验证类

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用逗号分隔

3、字段比较类
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'

4、字段比较

验证对比其他字段大小（数值大小对比），例如：

'price'=>'lt:market_price'
'price'=>'<:market_price'

filter验证，支持使用filter_var进行验证，例如：

'ip'=>'filter:validate_ip'

5、正则验证

支持直接使用正则验证，例如：

'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',

6、上传验证

file验证是否是一个上传文件
image:width,height,type验证是否是一个图像文件，width height和type都是可选，width和height必须同时定义。

fileExt:允许的文件后缀，验证上传文件后缀

fileMime:允许的文件类型，验证上传文件类型

fileSize:允许的文件字节大小，验证上传文件大小

7、其它验证

token:表单令牌名称，表单令牌验证

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'

requireWithout:field验证某个字段没有值的时候必须，例如：

// mobile和phone必须输入一个
'mobile' => 'requireWithout:phone',
'phone'  => 'requireWithout:mobile'

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字段是必须的，并且会进行后续的其它验证。