返回：唐霜｜书

HelloType使用手册

完全符合ES语法的前端js运行时数据类型检查工具，从此对api返回的数据格式心中有数

前言未经授权，禁止复制转载。

本项目不再维护，基于项目理念，我开发的原创内容，盗版必究。【作者：唐霜】tyshemo 更合理。请使用 tyshemo【原创不易，请尊重版权】。【版权所有】唐霜 www.tangshuang.net
本文版权归作者所有，未经授权不得转载。【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。

HelloType是一款我想强推的前端数【访问 www.tangshuang.net 获取更多精彩内容】本文作者：唐霜，转载请注明出处。据类型检查工具，因为越来越多的数据类型问【访问 www.tangshuang.net 获取更多精彩内容】【版权所有】唐霜 www.tangshuang.net题引起了前端的bug。即使已经有Type原创内容，盗版必究。著作权归作者所有，禁止商业用途转载。Script、Flow等工具，但是还是无【作者：唐霜】【版权所有】唐霜 www.tangshuang.net法解决运行时的数据类型检查，它们都是在编【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】译时进行数据类型检查的工具。特别是在前端【未经授权禁止转载】【未经授权禁止转载】请求后端API，用返回的数据进行下一步操【访问 www.tangshuang.net 获取更多精彩内容】【版权所有，侵权必究】作时，经常遇到由于前端默认认为后端返回的转载请注明出处：www.tangshuang.net【转载请注明来源】数据格式是正确的，就直接进行一些数据遍历著作权归作者所有，禁止商业用途转载。著作权归作者所有，禁止商业用途转载。之类的操作，于是bug就出现了。

转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。【原创不易，请尊重版权】转载请注明出处：www.tangshuang.net

传统解决这类问题的办法是，在用到后端AP【作者：唐霜】【版权所有，侵权必究】I返回的数据之前，对要用到的地方进行数据【转载请注明来源】著作权归作者所有，禁止商业用途转载。类型判断，在业务代码里面反复的去写，去判著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.net断数据类型是否符合我的需要，只有在数据类本文版权归作者所有，未经授权不得转载。【未经授权禁止转载】型满足操作之后，才进行下一步操作。但是，本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】这样反复的在业务代码中写逻辑判断，会让大转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。部分时间都浪费掉，而且最要命的是，你无法著作权归作者所有，禁止商业用途转载。本文作者：唐霜，转载请注明出处。完全做到不遗漏的判断，总有时候会疏忽某个转载请注明出处：www.tangshuang.net【本文受版权保护】检查而导致bug。

我实在不能忍受这种情况的继续发生，所以，【转载请注明来源】本文作者：唐霜，转载请注明出处。我写了HelloType，一方面是解决这【转载请注明来源】【版权所有】唐霜 www.tangshuang.net一现实问题，另一方面也算是自己在js弱数【未经授权禁止转载】【本文受版权保护】据类型下的探索。因此，我希望写一个手册，【原创内容，转载请注明出处】【版权所有，侵权必究】不仅把怎么使用HelloType说清楚，本文版权归作者所有，未经授权不得转载。【版权所有，侵权必究】也希望能把自己在这个过程中的一些思想讲清本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。楚，这也可以为其他开发者提供一些思维上的著作权归作者所有，禁止商业用途转载。未经授权，禁止复制转载。借鉴。

著作权归作者所有，禁止商业用途转载。本文作者：唐霜，转载请注明出处。未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。【未经授权禁止转载】

基础概念原创内容，盗版必究。

HelloType中的“类型”和编程语言转载请注明出处：www.tangshuang.net【本文首发于唐霜的博客】里面的“类型”是有区别的，在HelloT本文作者：唐霜，转载请注明出处。【版权所有】唐霜 www.tangshuang.netype里面的“类型”更多的是指一个容器，未经授权，禁止复制转载。本文版权归作者所有，未经授权不得转载。本质也就是一个js对象实例，这个实例拥有著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.net一些方法，利用这些方法，就可以判断一个变【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。量所存储的数据是不是符合这个类型的要求。

转载请注明出处：www.tangshuang.net【本文首发于唐霜的博客】原创内容，盗版必究。

在js语言中，基本数据类型只有numbe【本文首发于唐霜的博客】【作者：唐霜】r, boolean, string, 【版权所有】唐霜 www.tangshuang.net【版权所有】唐霜 www.tangshuang.netnull, undefined, sym本文版权归作者所有，未经授权不得转载。转载请注明出处：www.tangshuang.netbol这几种，其他所有复杂的数据类型，都本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。是由object这种类型扩展出来的，因此著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.net，js里面只有7种数据类型。但是，js里【作者：唐霜】著作权归作者所有，禁止商业用途转载。面却没有一种方法可以区分出这7种类型，使未经授权，禁止复制转载。本文版权归作者所有，未经授权不得转载。用最多的typeof除了这几种类型外，还原创内容，盗版必究。【版权所有】唐霜 www.tangshuang.net会给出function，而null无法得转载请注明出处：www.tangshuang.net【版权所有】唐霜 www.tangshuang.net到。还有坑是，NaN的数据类型是numb转载请注明出处：www.tangshuang.net【关注微信公众号：wwwtangshuangnet】er。也就是说，在js里面没有绝对的办法【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。确定某个变量的值一定是某个类型。为了解决【关注微信公众号：wwwtangshuangnet】【原创内容，转载请注明出处】这个问题，在HelloType中我重新对未经授权，禁止复制转载。【转载请注明来源】js的数据类型进行规整。

【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。转载请注明出处：www.tangshuang.net

原型 prototype原创内容，盗版必究。

【关注微信公众号：wwwtangshuangnet】本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。【本文首发于唐霜的博客】

和prototype概念一样，所谓原型，【作者：唐霜】本文版权归作者所有，未经授权不得转载。就是一个数据的本质。但是正如前面所说，j【作者：唐霜】著作权归作者所有，禁止商业用途转载。s只有7种，因此我们进行扩展：

Number 数值，不包含NaN和Fin【版权所有】唐霜 www.tangshuang.net著作权归作者所有，禁止商业用途转载。ite

本文版权归作者所有，未经授权不得转载。

【原创内容，转载请注明出处】

著作权归作者所有，禁止商业用途转载。

String 字符串未经授权，禁止复制转载。

未经授权，禁止复制转载。

本文版权归作者所有，未经授权不得转载。

【本文首发于唐霜的博客】

未经授权，禁止复制转载。

【转载请注明来源】

Boolean 逻辑值，只包含true和【原创不易，请尊重版权】【原创不易，请尊重版权】false

未经授权，禁止复制转载。

【本文首发于唐霜的博客】

本文版权归作者所有，未经授权不得转载。

原创内容，盗版必究。

Array 数组著作权归作者所有，禁止商业用途转载。

本文作者：唐霜，转载请注明出处。

著作权归作者所有，禁止商业用途转载。

【访问 www.tangshuang.net 获取更多精彩内容】

Object 对象，不包含其他对obje【版权所有】唐霜 www.tangshuang.net【本文首发于唐霜的博客】ct进行扩展后的对象

本文版权归作者所有，未经授权不得转载。

【关注微信公众号：wwwtangshuangnet】

【访问 www.tangshuang.net 获取更多精彩内容】

本文版权归作者所有，未经授权不得转载。

本文作者：唐霜，转载请注明出处。

Function 函数转载请注明出处：www.tangshuang.net

【访问 www.tangshuang.net 获取更多精彩内容】

【本文受版权保护】

转载请注明出处：www.tangshuang.net

未经授权，禁止复制转载。

RegExp 正则表达式原创内容，盗版必究。

【作者：唐霜】

【本文受版权保护】

本文版权归作者所有，未经授权不得转载。

Symbol 标识符【版权所有】唐霜 www.tangshuang.net

著作权归作者所有，禁止商业用途转载。

转载请注明出处：www.tangshuang.net

未经授权，禁止复制转载。

Null本文版权归作者所有，未经授权不得转载。仅包含null本文版权归作者所有，未经授权不得转载。

【作者：唐霜】

原创内容，盗版必究。

本文版权归作者所有，未经授权不得转载。

【作者：唐霜】

Undefined【转载请注明来源】仅包含undefined著作权归作者所有，禁止商业用途转载。

【本文受版权保护】

著作权归作者所有，禁止商业用途转载。

原创内容，盗版必究。

本文版权归作者所有，未经授权不得转载。

【关注微信公众号：wwwtangshuangnet】

NaN 仅包含NaN【版权所有，侵权必究】

【原创不易，请尊重版权】

【未经授权禁止转载】

未经授权，禁止复制转载。

原创内容，盗版必究。

Infinity 仅包含Infinity

【本文受版权保护】

【作者：唐霜】

【本文受版权保护】

【本文首发于唐霜的博客】

【原创内容，转载请注明出处】

Date 日期【原创不易，请尊重版权】

原创内容，盗版必究。

本文作者：唐霜，转载请注明出处。

本文版权归作者所有，未经授权不得转载。

【未经授权禁止转载】

【访问 www.tangshuang.net 获取更多精彩内容】

Any著作权归作者所有，禁止商业用途转载。可为任意值的原型【版权所有】唐霜 www.tangshuang.net

【作者：唐霜】

著作权归作者所有，禁止商业用途转载。

【本文受版权保护】

上面红色标记的是我扩展出的原型，需要通过import { Null, Undefined, Any } from 'hello-type'引入。除了上面列出来的一些原生的数据原型【原创不易，请尊重版权】【作者：唐霜】，js中其他没有列出来的原型也可以在这个【版权所有】唐霜 www.tangshuang.net【本文受版权保护】列表中，只不过我这里列出了最常见的，其他【版权所有，侵权必究】【转载请注明来源】任何原型都是可以用的，甚至包括Error【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。，Promise等等。另外，我们还可以自本文作者：唐霜，转载请注明出处。原创内容，盗版必究。己创建原型，就跟js里面创建一个带pro原创内容，盗版必究。转载请注明出处：www.tangshuang.nettotype的function，或者直接【本文受版权保护】【版权所有】唐霜 www.tangshuang.net用class声明一个类一样，自己写一个类原创内容，盗版必究。著作权归作者所有，禁止商业用途转载。，然后以这个类为原型，那么基于这个原型的未经授权，禁止复制转载。转载请注明出处：www.tangshuang.net容器，在断言类的实例的时候，是可以通过的【未经授权禁止转载】【作者：唐霜】。

【本文受版权保护】【转载请注明来源】【本文受版权保护】【原创内容，转载请注明出处】【本文首发于唐霜的博客】

容器 Type【关注微信公众号：wwwtangshuangnet】

转载请注明出处：www.tangshuang.net原创内容，盗版必究。【原创不易，请尊重版权】

我们有了原型，并不能直接使用原型和具体的【原创内容，转载请注明出处】本文作者：唐霜，转载请注明出处。某个值进行对比，然后就得出这个值是不是符原创内容，盗版必究。未经授权，禁止复制转载。合这个原型对应的数据类型。我们需要借助一【访问 www.tangshuang.net 获取更多精彩内容】【版权所有】唐霜 www.tangshuang.net个数据类型容器。所谓数据类型容器，其实是【未经授权禁止转载】转载请注明出处：www.tangshuang.net说将原型本身包裹起来，这样，利用容器的统【原创不易，请尊重版权】【转载请注明来源】一方法，就可以进行类型判别（断言）。He未经授权，禁止复制转载。著作权归作者所有，禁止商业用途转载。lloType是怎么做的呢？就是提供了一【转载请注明来源】【原创内容，转载请注明出处】个Type构造器，构造一个容器，例如：

转载请注明出处：www.tangshuang.net原创内容，盗版必究。【原创内容，转载请注明出处】著作权归作者所有，禁止商业用途转载。

const NumberType = new Type(Number)

这样，就用原型Number构造了一个容器本文作者：唐霜，转载请注明出处。【本文受版权保护】NumberType，接下来就可以用这个本文版权归作者所有，未经授权不得转载。【未经授权禁止转载】容器对某个具体的值进行断言：

NumberType.assert(1) // 不会抛出错误
NumberType.assert('1') // 会抛出错误

我这里用了“断言”作为类型校验的动词，主【访问 www.tangshuang.net 获取更多精彩内容】【访问 www.tangshuang.net 获取更多精彩内容】要是因为我认为数据类型校验其实是一个非必转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。须的动作，它不是业务逻辑的必须部分，而是著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。我们附加的逻辑，但是在写代码时又不得不加【未经授权禁止转载】【本文首发于唐霜的博客】入而已。数据类型校验先于所有业务逻辑，期【原创内容，转载请注明出处】未经授权，禁止复制转载。望被校验的数据符合数据类型，当校验不通过【版权所有，侵权必究】转载请注明出处：www.tangshuang.net时，容器可以发出阻断指令，因此，用“断言【未经授权禁止转载】【转载请注明来源】”也比较形象。

本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.net

当然，容器还有其他方法，用以满足不同的数原创内容，盗版必究。本文版权归作者所有，未经授权不得转载。据类型检查需要。下文我会详细介绍容器的各【原创不易，请尊重版权】本文作者：唐霜，转载请注明出处。个方法，这里就暂时做概念的介绍。

【本文首发于唐霜的博客】【原创内容，转载请注明出处】原创内容，盗版必究。【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】

型式 pattern转载请注明出处：www.tangshuang.net

本文作者：唐霜，转载请注明出处。【转载请注明来源】【原创内容，转载请注明出处】未经授权，禁止复制转载。

【原创不易，请尊重版权】转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。

const SomeType = new Type({
  name: String,
  books: [Object],
})

上面红色部分不是原型，但为什么可以传给T【转载请注明来源】【转载请注明来源】ype构造器呢？因为它被我称为型式（pa本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。ttern），它是形式化的数据结构，这个著作权归作者所有，禁止商业用途转载。【版权所有，侵权必究】结构将对数据进行约束。也就是说，如果你用【转载请注明来源】【转载请注明来源】SomeType去校验一个对象，那么对象【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】必须有name、books两个属性，而且【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。books属性值必须是数组。实际上，任何【版权所有，侵权必究】【本文首发于唐霜的博客】被传入Type构造器的都是一个型式，包括【版权所有，侵权必究】转载请注明出处：www.tangshuang.net前面直接传Number，“Number”著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net本身也被认为是一个型式。

规则 Rule本文版权归作者所有，未经授权不得转载。

所谓规则，就是指一个值是否是我们需要的数未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。据类型的确定方式。它跟在某个具体的属性名著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。后面，作为该属性值的校验方式，当然，它也【作者：唐霜】【原创内容，转载请注明出处】可以作为型式传入new Type：

【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。【原创不易，请尊重版权】未经授权，禁止复制转载。【本文受版权保护】

const SomeType = new Type({
  name: String,
  age: IfExists(Number),
})
// String和IfExists(Number)就是name和age的规则

HelloType支持如下规则：【本文受版权保护】

本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。【转载请注明来源】【本文受版权保护】

JS原型：Number，String，A【本文受版权保护】原创内容，盗版必究。rray …

转载请注明出处：www.tangshuang.net

未经授权，禁止复制转载。

【访问 www.tangshuang.net 获取更多精彩内容】

Rule的实例：如new Rule(va转载请注明出处：www.tangshuang.net【本文首发于唐霜的博客】lue => typeof val【版权所有】唐霜 www.tangshuang.net【转载请注明来源】ue ===’object&【本文受版权保护】未经授权，禁止复制转载。#8217;),

原创内容，盗版必究。

【原创不易，请尊重版权】

【本文首发于唐霜的博客】

本文版权归作者所有，未经授权不得转载。

转载请注明出处：www.tangshuang.net

基于Rule的原型：Any，Undefi【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。ned，Null这三个扩展的原型

原创内容，盗版必究。

【关注微信公众号：wwwtangshuangnet】

本文作者：唐霜，转载请注明出处。

基于Rule的内置规则：IfExists未经授权，禁止复制转载。未经授权，禁止复制转载。, InstanceOf, Equal等原创内容，盗版必究。【本文首发于唐霜的博客】（下文介绍）

转载请注明出处：www.tangshuang.net

【访问 www.tangshuang.net 获取更多精彩内容】

【原创内容，转载请注明出处】

Type的实例：如new Type(Nu【原创内容，转载请注明出处】【转载请注明来源】mber)

著作权归作者所有，禁止商业用途转载。

【本文受版权保护】

著作权归作者所有，禁止商业用途转载。

【本文受版权保护】

具体的某个值：当规则为具体的值时，表示要【原创内容，转载请注明出处】著作权归作者所有，禁止商业用途转载。比较的值必须和给定的值相等，如果R【关注微信公众号：wwwtangshuangnet】【版权所有，侵权必究】17;tomy’, 10, 转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。true …

本文作者：唐霜，转载请注明出处。

转载请注明出处：www.tangshuang.net

【转载请注明来源】

HelloType内置了几种基于Rule著作权归作者所有，禁止商业用途转载。【本文首发于唐霜的博客】的规则：

IfExists(rule) 如果该值存【原创不易，请尊重版权】本文作者：唐霜，转载请注明出处。在，就进行必须符合传入的规则

【原创内容，转载请注明出处】

转载请注明出处：www.tangshuang.net

【本文首发于唐霜的博客】

InstanceOf(prototype本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。) 该值是否是某个传入的JS原型的实例

本文作者：唐霜，转载请注明出处。

Equal(value) 该值必须和传入【未经授权禁止转载】本文作者：唐霜，转载请注明出处。的value值相等，value可以为任意本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。可用于比较的值（NaN除外）

本文作者：唐霜，转载请注明出处。

【本文受版权保护】

原创内容，盗版必究。

IfNotMatch(rule, def转载请注明出处：www.tangshuang.net【版权所有】唐霜 www.tangshuang.netaultValue) 如果值不符合传入的原创内容，盗版必究。本文版权归作者所有，未经授权不得转载。规则，那么使用defaultValue替未经授权，禁止复制转载。未经授权，禁止复制转载。换，仅对对象的属性值有效

本文版权归作者所有，未经授权不得转载。

【本文受版权保护】

【作者：唐霜】

【未经授权禁止转载】

【转载请注明来源】

Lambda(paramsType, r【未经授权禁止转载】【原创不易，请尊重版权】eturnType) 值必须是一个函数，【版权所有】唐霜 www.tangshuang.net【未经授权禁止转载】而且函数的参数、返回值必须符合要求，仅对【本文首发于唐霜的博客】【原创不易，请尊重版权】对象的属性值有效

【原创内容，转载请注明出处】

本文版权归作者所有，未经授权不得转载。

const SomeType = new Type({
 name: String,
 age: IfExists(Number), // 当obj.age存在时，它的值必须是一个数字，如果obj.age不存在，则忽略这个检查
})

我们可以利用HelloType提供的构造【转载请注明来源】【未经授权禁止转载】器创建自己的规则：

【访问 www.tangshuang.net 获取更多精彩内容】【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。【未经授权禁止转载】

import { Rule } from 'hello-type'

const SomeRule = new Rule(function(value) {
  if (typeof value !== 'object') {
    return new Error('your passed value is not an object')
  }
})

著作权归作者所有，禁止商业用途转载。【关注微信公众号：wwwtangshuangnet】转载请注明出处：www.tangshuang.net未经授权，禁止复制转载。

小结【本文受版权保护】

本文作者：唐霜，转载请注明出处。【未经授权禁止转载】转载请注明出处：www.tangshuang.net未经授权，禁止复制转载。本文版权归作者所有，未经授权不得转载。

在实际开发中，你根本不需要去思考这些概念【访问 www.tangshuang.net 获取更多精彩内容】【原创不易，请尊重版权】，所有使用都凭着感觉走，只要记住几个禁忌著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net即可，例如记住Lambda仅能用于对象的【转载请注明来源】【原创内容，转载请注明出处】属性值，IfExists只能用于对象属性转载请注明出处：www.tangshuang.net【本文受版权保护】值、数组元素、Tuple的末尾参数。这些著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net禁忌如果可能的话，我会在最后列出来。

快速入门著作权归作者所有，禁止商业用途转载。

包的安装和使用【原创内容，转载请注明出处】

HelloType是一个npm包，你需要原创内容，盗版必究。转载请注明出处：www.tangshuang.net通过npm进行安装：

【作者：唐霜】【原创内容，转载请注明出处】未经授权，禁止复制转载。

npm install --save hello-type

著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net【未经授权禁止转载】【本文受版权保护】著作权归作者所有，禁止商业用途转载。

// ES6
import { Type } from 'hello-type'

// CommonJS
const { Type } = require('hello-type')

// AMD or CMD
define(['hello-type'], function(hello_type) {
  const { Type } = hello_type
})

在HTML中直接使用时，你需要把hell【原创内容，转载请注明出处】转载请注明出处：www.tangshuang.neto-type/dist目录下的hello本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】-type.js文件拷贝到你的本地目录：

著作权归作者所有，禁止商业用途转载。本文作者：唐霜，转载请注明出处。【访问 www.tangshuang.net 获取更多精彩内容】【作者：唐霜】原创内容，盗版必究。

<script src="hello-type/dist/hello-type.js"></script>
<script>
const { Type } = window['hello-type'] // 注意这里的使用方法
</script>

创建类型检查容器【访问 www.tangshuang.net 获取更多精彩内容】

【关注微信公众号：wwwtangshuangnet】【本文受版权保护】转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.net【关注微信公众号：wwwtangshuangnet】

在使用HelloType进行数据校验之前【原创内容，转载请注明出处】【访问 www.tangshuang.net 获取更多精彩内容】，你需要先进行数据类型的规定，通过创建一原创内容，盗版必究。未经授权，禁止复制转载。个容器，把规定固定下来。

const BookType = new Type({
  name: String,
  price: Number,
})

【关注微信公众号：wwwtangshuangnet】【原创内容，转载请注明出处】【本文首发于唐霜的博客】【本文受版权保护】

|-types
|  |-person
|  |-book
|  |  |-book.type.js
|  |-benifit
|-controllers
|  |-shop.controller.js

原创内容，盗版必究。【本文首发于唐霜的博客】【转载请注明来源】【原创不易，请尊重版权】

// book.type.js
import { Type } from 'hello-type'

export const BookType = new Type({
  name: String,
  author: String,
})

// shop.controller.js
import HelloType from 'hello-type'
import { BookType } from '../types/book/book.type.js

export default class ShopController {
  sell(book) {
    // 在所有业务代码运行之前，用HelloType对方法函数的参数类型进行检查
    // 如果别的地方调用sell方法时，传入的book不符合BookType的规定，那么这里会直接抛出错误，方法无法继续执行
    HelloType.expect(book).to.match(BookType)

    // 具体的业务逻辑代码
  }
}

对API数据进行检查【版权所有】唐霜 www.tangshuang.net

转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。

当我们通过ajax到服务器api接口拿到【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】数据之后，并不能确保数据接口返回的结果一【原创内容，转载请注明出处】本文作者：唐霜，转载请注明出处。定是符合预期的，我们得在使用接口数据之前转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。进行类型和结构断言：

转载请注明出处：www.tangshuang.net原创内容，盗版必究。【未经授权禁止转载】本文作者：唐霜，转载请注明出处。

import { Dict, List, IfExists, Type, HelloType } from 'hello-type'

export const NumberType = new Type(Number)
export const BooksType = List([
  IfExists({
    name: String,
    age: Number,
  })
])
export const BooksResType = Dict({
  code: Number,
  data: BooksType,
})

async function getBookDetail(id) {
  HelloType.expect(id).to.match(NumberType) // 对函数的输入进行类型断言
  
  let res = await fetch(apiUrlBase + '/books/' + id)
  let data = await res.json()
  HelloType.expect(data).to.match(BooksResType)
  
  // 由于对api接口返回的数据进行了断言，如果程序能够执行到这里，那么说明api返回的数据符合要求，下面的操作不必有任何担心

  let books = data.data
  books.forEach((book) => {
    // ...
  })

  HelloType.expect(books).to.match(BooksType) // 对函数的返回值进行类型断言
  return books
}

这样就完成了对API返回数据的类型断言，【版权所有】唐霜 www.tangshuang.net转载请注明出处：www.tangshuang.net由于这是一个async函数，因此，当断言本文作者：唐霜，转载请注明出处。【访问 www.tangshuang.net 获取更多精彩内容】中报错时，会阻止程序继续往下执行，并抛出本文作者：唐霜，转载请注明出处。【访问 www.tangshuang.net 获取更多精彩内容】错误，在使用函数时，可以通过catch获【原创内容，转载请注明出处】未经授权，禁止复制转载。取到抛出的错误内容，并对错误内容进行解读转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。（例如上传到监控系统）。

转载请注明出处：www.tangshuang.net【转载请注明来源】未经授权，禁止复制转载。

Type【转载请注明来源】

利用Type可以创建一个容器，它是一个构【本文首发于唐霜的博客】原创内容，盗版必究。造器，也是一个ES6的class，因此在【本文受版权保护】原创内容，盗版必究。使用时要用new去实例化。它没有任何配置【原创内容，转载请注明出处】转载请注明出处：www.tangshuang.net项，每一个传入的值，都是一个型式，型式可本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。以是任意内容，它会按照一定的规则进行型式【访问 www.tangshuang.net 获取更多精彩内容】本文作者：唐霜，转载请注明出处。的格式化，形成规则体现。

constructor【本文受版权保护】

【访问 www.tangshuang.net 获取更多精彩内容】本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。

const NumberType = new Type(Number)

上面这段代码就创建了一个基于Number未经授权，禁止复制转载。转载请注明出处：www.tangshuang.net的类型容器，它用来检查一个值是不是一个数未经授权，禁止复制转载。【关注微信公众号：wwwtangshuangnet】字。由于js的一些坑，例如NaN的typ著作权归作者所有，禁止商业用途转载。未经授权，禁止复制转载。eof也是number，所以我对这些情况【原创不易，请尊重版权】【版权所有】唐霜 www.tangshuang.net都进行统一：

Number 仅仅匹配真实的数据，如果是【原创不易，请尊重版权】转载请注明出处：www.tangshuang.netNaN或Infinite，都不能通过

【作者：唐霜】

本文版权归作者所有，未经授权不得转载。

转载请注明出处：www.tangshuang.net

String 仅仅匹配字符串，str =本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。 new String中的str是一个对本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】象，不能通过

未经授权，禁止复制转载。

【本文首发于唐霜的博客】

【关注微信公众号：wwwtangshuangnet】

Boolean 仅仅匹配true和fal【转载请注明来源】【版权所有，侵权必究】se这两个值，其他任何值都不通过

【本文首发于唐霜的博客】

【转载请注明来源】

【本文首发于唐霜的博客】

【未经授权禁止转载】

Object 仅仅匹配对象的字面量形式和著作权归作者所有，禁止商业用途转载。【访问 www.tangshuang.net 获取更多精彩内容】new Object出来的结果，其他任何【关注微信公众号：wwwtangshuangnet】本文版权归作者所有，未经授权不得转载。形式的object都不能通过

著作权归作者所有，禁止商业用途转载。

【作者：唐霜】

【本文首发于唐霜的博客】

【原创内容，转载请注明出处】

本文版权归作者所有，未经授权不得转载。

上面这四种类型都做了强制规定，因此，你在【本文受版权保护】【原创不易，请尊重版权】用它们的时候，真的就跟它们的字面意思一样【版权所有，侵权必究】【访问 www.tangshuang.net 获取更多精彩内容】，不会产生副作用。在HelloType的【关注微信公众号：wwwtangshuangnet】【本文受版权保护】体系里，所有的原型在上一章已经说过了，这【转载请注明来源】【转载请注明来源】里就不再赘述。

HelloType希望用js里面最简单直转载请注明出处：www.tangshuang.net【作者：唐霜】接的思维解决数据类型问题，对一个数据进行【版权所有】唐霜 www.tangshuang.net【转载请注明来源】类型断言时，我没有发明一种新形式来表示类本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。型，因为类型是枚举不完的，我看到有一个和【未经授权禁止转载】著作权归作者所有，禁止商业用途转载。hello-type目的相同的库，它通过本文作者：唐霜，转载请注明出处。【本文受版权保护】字符串来表达类型，然而，在它的issue未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。列表里，很多都是对这种字符串来表示类型的【原创内容，转载请注明出处】本文版权归作者所有，未经授权不得转载。一些疑问或希望修改类型名等。而Hello本文作者：唐霜，转载请注明出处。著作权归作者所有，禁止商业用途转载。Type用原生的类型原型作为类型的基础，【原创不易，请尊重版权】【原创不易，请尊重版权】几乎不需要做任何扩展，就可以把js里面所【本文受版权保护】【作者：唐霜】有类型囊括进来，这就是所谓以不变应万变吧【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。。
【本文受版权保护】本文作者：唐霜，转载请注明出处。【转载请注明来源】

著作权归作者所有，禁止商业用途转载。【转载请注明来源】著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net【本文受版权保护】

【访问 www.tangshuang.net 获取更多精彩内容】本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。【原创内容，转载请注明出处】

const ParamsType = new Type(String, Number, Boolean)
ParamsType.assert('tomy', 10, true)

传入new Type的型式是你最直观的一【本文首发于唐霜的博客】【本文首发于唐霜的博客】种书写方式，比如一个对象结构，或者一个数【作者：唐霜】【作者：唐霜】组结构：

【原创内容，转载请注明出处】【本文受版权保护】本文版权归作者所有，未经授权不得转载。本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。

const SomeType = new Type({
  name: String,
  detail: {
    title: String,
    content: String,
  },
})

虽然内部而言，它其实是一个Dict嵌套的未经授权，禁止复制转载。【本文受版权保护】结构，但是实际上，在外表上看，它就像一个著作权归作者所有，禁止商业用途转载。【作者：唐霜】普通的对象一样。Dict是字典结构，下文本文作者：唐霜，转载请注明出处。【本文首发于唐霜的博客】会详细解释。在构建容器的时候，容器本身，【本文首发于唐霜的博客】【转载请注明来源】只能对object的第一层数据进行校验，本文作者：唐霜，转载请注明出处。【未经授权禁止转载】当有嵌套数据的时候怎么办呢？把被嵌套的型【原创不易，请尊重版权】【原创内容，转载请注明出处】式转化为一个Dict容器，这样，虽然容器【本文受版权保护】原创内容，盗版必究。本身只校验第一层，但是当校验到规则为一个【本文受版权保护】【本文首发于唐霜的博客】容器的时候，它会利用容器，对该属性的值再【本文受版权保护】【本文首发于唐霜的博客】次进行校验，而这个时候，这个二级容器，又未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。可以去校验下一级的对象。正是因为实现了这【版权所有】唐霜 www.tangshuang.net著作权归作者所有，禁止商业用途转载。个机制，所以HelloType几乎可以实【本文受版权保护】未经授权，禁止复制转载。现无限层的校验，虽然这是不允许的。虽然我【版权所有】唐霜 www.tangshuang.net本文作者：唐霜，转载请注明出处。这里不能把原理讲明白，但是你只要按照你以【版权所有】唐霜 www.tangshuang.net【作者：唐霜】为的方式去用就好了，并不会有问题。

【转载请注明来源】原创内容，盗版必究。未经授权，禁止复制转载。【本文受版权保护】

assert【本文首发于唐霜的博客】

【转载请注明来源】【本文受版权保护】本文作者：唐霜，转载请注明出处。

assert方法是Type容器的最重要方著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。法，也是所有HelloType方法的基础本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。。当你完成Type实例化，创建了一个容器本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。之后，这个容器实例就自动拥有了一些方法，转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.netassert方法就是需要介绍的第一个方法著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.net。

转载请注明出处：www.tangshuang.net【未经授权禁止转载】转载请注明出处：www.tangshuang.net原创内容，盗版必究。本文作者：唐霜，转载请注明出处。

const person = {
  name: 'tomy',
  age: 10,
}

PersonType.assert(person) // 断言person符合PersonType的定义

如果person不符合PersonTyp著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.nete的定义，assert会throw Ty本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】peError，而在js里面，被抛出的错本文版权归作者所有，未经授权不得转载。未经授权，禁止复制转载。误，可以被window.onerror监原创内容，盗版必究。【未经授权禁止转载】听到，这非常有用，对于前端异常的监控，或【原创不易，请尊重版权】本文版权归作者所有，未经授权不得转载。者一些特别的逻辑非常有帮助，因此，我才选转载请注明出处：www.tangshuang.net原创内容，盗版必究。择throw error的形式抛出错误。【关注微信公众号：wwwtangshuangnet】原创内容，盗版必究。Error还能记录代码的stack信息，著作权归作者所有，禁止商业用途转载。【转载请注明来源】可以帮助我们快速定位错误位置。

assert接收的参数个数，和new T【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。ype时接收的参数个数必须相同，如果不同著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。，也会抛出错误。因此，对参数个数具有严格著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。的要求，你不能用assert一次性校验多本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。个数据，只能反复调用assert来校验。

【本文首发于唐霜的博客】未经授权，禁止复制转载。【作者：唐霜】【关注微信公众号：wwwtangshuangnet】【关注微信公众号：wwwtangshuangnet】

另外有一点需要注意，本文版权归作者所有，未经授权不得转载。HelloType只会在遇到第一个断言失著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。败时跳出断言，而不会遍历所有断言。这也就是说，当你assert抛出错误时【版权所有】唐霜 www.tangshuang.net转载请注明出处：www.tangshuang.net，并不代表该数据只有一个地方不符合类型，【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。在你修复了bug之后，需要继续关注，在后原创内容，盗版必究。本文版权归作者所有，未经授权不得转载。面的断言里，还可能出现不符合类型。例如：

本文作者：唐霜，转载请注明出处。【本文首发于唐霜的博客】【作者：唐霜】

const SomeType = new Type({
  name: String,
  age: Number,
})
const some = {}
SomeType.assert(some) // 在对name属性值进行断言的时候抛出错误，并终止断言。但是你会发现，其实age属性也不符合要求。

test【作者：唐霜】

assert方法会通过throw Typ【原创不易，请尊重版权】【版权所有】唐霜 www.tangshuang.neteError抛出错误，这可能不是你想要的【转载请注明来源】本文作者：唐霜，转载请注明出处。，你可能只想看看这个数据是否符合规定，如未经授权，禁止复制转载。【版权所有，侵权必究】果符合返回一个true，不符合返回一个f转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。alse。test方法就是做这件事的。

【访问 www.tangshuang.net 获取更多精彩内容】【本文首发于唐霜的博客】【本文首发于唐霜的博客】【本文受版权保护】原创内容，盗版必究。

let bool = PersonType.test(person) // true
if (!bool) {
  alert('person does not match PersonType')
}

catch【未经授权禁止转载】

let error = PersonType.catch(person)
if (error) {
  console.log(error.stack)
}

catch方法会把捕获到的错误返回，如果转载请注明出处：www.tangshuang.net未经授权，禁止复制转载。没有错误发生，就返回null。

【访问 www.tangshuang.net 获取更多精彩内容】【本文受版权保护】未经授权，禁止复制转载。【本文受版权保护】【原创不易，请尊重版权】

track.with转载请注明出处：www.tangshuang.net

不过有的时候，你并不希望HelloTyp【未经授权禁止转载】【本文首发于唐霜的博客】e终止你的程序，但你又不想用catch，未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。多加一层判断，这个时候，你可以使用tra【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.netck.with，异步处理错误。

PersonType.track(person).with((error) => {
  // ...
})

使用这个语句，本身不会让程序终止，它在断本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】言之后，如果发现不符合类型，就会执行fn【未经授权禁止转载】【本文首发于唐霜的博客】，并把error传给fn。不过，如果在f本文作者：唐霜，转载请注明出处。【本文受版权保护】n中抛出错误就看你自己了。利用track原创内容，盗版必究。本文作者：唐霜，转载请注明出处。.with，你就可以在不影响函数的正常执未经授权，禁止复制转载。【未经授权禁止转载】行的情况下，还可以抓取到数据类型错误信息【原创内容，转载请注明出处】本文作者：唐霜，转载请注明出处。。

本文作者：唐霜，转载请注明出处。著作权归作者所有，禁止商业用途转载。著作权归作者所有，禁止商业用途转载。【原创不易，请尊重版权】

trace.with【原创不易，请尊重版权】

转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。【本文首发于唐霜的博客】原创内容，盗版必究。

track和trace的区别，在英文里面本文版权归作者所有，未经授权不得转载。【作者：唐霜】是这样的，track追踪的是从起点到当前【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.net点的线索，而trace是从当前点开始往后【原创不易，请尊重版权】【关注微信公众号：wwwtangshuangnet】跟踪。假如你是一个侦探，正在怀疑一个人是转载请注明出处：www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】凶手，你在不停的找他的犯罪证据或者线索就【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。是track，而你在他身上偷偷安装跟踪器【版权所有】唐霜 www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】进行跟踪就是trace。在HelloTy本文版权归作者所有，未经授权不得转载。【转载请注明来源】pe体系里，trace.with和tra【原创内容，转载请注明出处】【原创不易，请尊重版权】ck.with的用法是一模一样的，只不过本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】执行的进程不同。track的前半部分是同【未经授权禁止转载】【关注微信公众号：wwwtangshuangnet】步的，会阻塞进程。而trace会完全异步转载请注明出处：www.tangshuang.net【版权所有，侵权必究】执行的，也就是说它会在异步执行时才会去检【原创不易，请尊重版权】【访问 www.tangshuang.net 获取更多精彩内容】查数据的类型错误。这也就是说，如果你在函原创内容，盗版必究。【转载请注明来源】数的执行过程中如果改动了数据，trace【本文受版权保护】原创内容，盗版必究。是先不管的，只有当函数中的同步进程执行完【原创内容，转载请注明出处】本文版权归作者所有，未经授权不得转载。了，trace才会对数据进行检查，而这个原创内容，盗版必究。原创内容，盗版必究。时候，trace检查的是修改过的数据，因本文作者：唐霜，转载请注明出处。【原创内容，转载请注明出处】此，在使用trace.with的时候一定著作权归作者所有，禁止商业用途转载。著作权归作者所有，禁止商业用途转载。要注意这点。

【原创不易，请尊重版权】【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。【原创不易，请尊重版权】

之所以提供trace和track，主要是【版权所有，侵权必究】著作权归作者所有，禁止商业用途转载。从性能上考虑，track是同步执行的，对本文作者：唐霜，转载请注明出处。【本文首发于唐霜的博客】性能有所影响，而trace是完全异步执行【版权所有】唐霜 www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】的，因此不仅不会由于抛出错误而终止进程，转载请注明出处：www.tangshuang.net【转载请注明来源】而且还把对数据对判断放到末尾去做，因此对【版权所有】唐霜 www.tangshuang.net【本文受版权保护】界面的渲染一点影响都没有。不过最惨的地方【版权所有】唐霜 www.tangshuang.net未经授权，禁止复制转载。在于，如果你在代码中修改了数据，那tra【访问 www.tangshuang.net 获取更多精彩内容】【原创内容，转载请注明出处】ce得到的结果可能就跟你预期的不同了。因【版权所有】唐霜 www.tangshuang.net【版权所有】唐霜 www.tangshuang.net此使用的时候一定要注意。

严格模式未经授权，禁止复制转载。

著作权归作者所有，禁止商业用途转载。【本文受版权保护】转载请注明出处：www.tangshuang.net

在进行断言的时候，默认情况下，Hello【作者：唐霜】【作者：唐霜】Type会使用兼容模式。当断言一个对象的原创内容，盗版必究。本文作者：唐霜，转载请注明出处。时候，当一个对象里面有一个属性是type【访问 www.tangshuang.net 获取更多精彩内容】【版权所有，侵权必究】规定的对象里没有规定的时候，不会产生任何本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。问题，（type里有的一定会校验，）也就【转载请注明来源】【原创内容，转载请注明出处】是忽略不校验。而如果是严格模式，则要求对本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。象的属性和type规定的一模一样，如果被【版权所有，侵权必究】本文版权归作者所有，未经授权不得转载。检查的对象多了一些属性是type里面没有本文版权归作者所有，未经授权不得转载。【本文受版权保护】规定的，那么也会报错。

之所以提供严格模式，也是想要提供一种选项【本文首发于唐霜的博客】转载请注明出处：www.tangshuang.net，帮助数据类型检查。

那么怎么开启严格模式呢？有两种方式：【作者：唐霜】

PersonType.toBeStrict()

将PersonType切换为严格模式。【未经授权禁止转载】

let StrictPersonType = PersonType.Strict

返回一个拷贝，而这个拷贝是严格模式的。s【版权所有】唐霜 www.tangshuang.net转载请注明出处：www.tangshuang.nettrct和Strict是一模一样的，你也【未经授权禁止转载】【原创内容，转载请注明出处】可以用someType.strict，只【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。是为了让使用的时候，根据不同开发者的习惯【关注微信公众号：wwwtangshuangnet】【关注微信公众号：wwwtangshuangnet】，提供大小写区别的方式。

为什么要提供两种方式呢？因为切换模式是直【原创内容，转载请注明出处】【本文受版权保护】接让当前容器进行改变，也就是说，如果你在【原创内容，转载请注明出处】【作者：唐霜】其他地方也使用到了该容器，那就会有影响，【关注微信公众号：wwwtangshuangnet】【版权所有，侵权必究】而strict则不会改变当前容器，而是返【原创不易，请尊重版权】转载请注明出处：www.tangshuang.net回一个新容器，只不过这个容器是严格模式的著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net。大部分情况下，推荐使用strict来获本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】取一个新容器，防止对其他实例造成影响。

本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.net

严格模式会自动继承给被嵌套的容器，例如：

【未经授权禁止转载】著作权归作者所有，禁止商业用途转载。未经授权，禁止复制转载。

const SubType = new Type({
  name: String,
})
const ParentType = new Type({
  name: String,
  child: SubType,
})

ParentType.toBeStrict()
PerentType.assert({
  name: 'jhon',
  child: {
    name: 'tomy',
    age: 10,
  },
})

上面的校验会抛出错误，因为child.a【原创不易，请尊重版权】转载请注明出处：www.tangshuang.netge设置了值，而严格模式下，被嵌套的容器【版权所有】唐霜 www.tangshuang.net【本文首发于唐霜的博客】也会转化为严格模式后再使用，因此，你不用【作者：唐霜】本文作者：唐霜，转载请注明出处。自己手动嵌套一个严格模式的容器。而且，这【关注微信公众号：wwwtangshuangnet】原创内容，盗版必究。种情况，SubType自身不会被切换为严【原创内容，转载请注明出处】【原创内容，转载请注明出处】格模式，内部使用的是SubType.St转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。rict，因此你可以放心使用。

扩展数据类型著作权归作者所有，禁止商业用途转载。

【原创不易，请尊重版权】【访问 www.tangshuang.net 获取更多精彩内容】【转载请注明来源】【本文首发于唐霜的博客】【原创内容，转载请注明出处】

js的基础数据类型显然不够用，所有的复杂未经授权，禁止复制转载。【访问 www.tangshuang.net 获取更多精彩内容】数据都基于object进行扩展，所以到最【原创不易，请尊重版权】【原创不易，请尊重版权】后instanceof Object都是【访问 www.tangshuang.net 获取更多精彩内容】本文版权归作者所有，未经授权不得转载。true。我希望通过HelloType，本文作者：唐霜，转载请注明出处。【未经授权禁止转载】对js的数据类型扩展，在进行数据类型检查转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。的时候，让数据类型有所归属。基于这种想法本文版权归作者所有，未经授权不得转载。【作者：唐霜】，我扩展出了5种，但实际上，基于已有的原【版权所有】唐霜 www.tangshuang.net原创内容，盗版必究。材料，你可以扩展出自己的数据类型（容器）未经授权，禁止复制转载。【转载请注明来源】。

转载请注明出处：www.tangshuang.net【原创内容，转载请注明出处】【关注微信公众号：wwwtangshuangnet】【本文首发于唐霜的博客】

【访问 www.tangshuang.net 获取更多精彩内容】【访问 www.tangshuang.net 获取更多精彩内容】著作权归作者所有，禁止商业用途转载。

Dict 字典【版权所有，侵权必究】

实际上，我在HelloType里面对一个本文版权归作者所有，未经授权不得转载。【版权所有】唐霜 www.tangshuang.net对象进行检查时，只会对真正的对象进行检查本文版权归作者所有，未经授权不得转载。本文版权归作者所有，未经授权不得转载。，也就是说，一个function、一个类原创内容，盗版必究。【转载请注明来源】的实例，虽然它们在js里面都是对象，但是【本文首发于唐霜的博客】【未经授权禁止转载】实际上，在HelloType里面它们会被转载请注明出处：www.tangshuang.net【版权所有，侵权必究】认为是自己真实的本质，而不是一个对象。而【本文首发于唐霜的博客】【关注微信公众号：wwwtangshuangnet】Dict就代表对象本身。

未经授权，禁止复制转载。【未经授权禁止转载】著作权归作者所有，禁止商业用途转载。【关注微信公众号：wwwtangshuangnet】转载请注明出处：www.tangshuang.net

Dict是一个函数，接收一个对象型式，返转载请注明出处：www.tangshuang.net【版权所有，侵权必究】回一个容器

转载请注明出处：www.tangshuang.net

著作权归作者所有，禁止商业用途转载。

不传参数时，默认表示要断言的值必须是一个【原创不易，请尊重版权】未经授权，禁止复制转载。对象，内部结构不校验

【访问 www.tangshuang.net 获取更多精彩内容】

本文版权归作者所有，未经授权不得转载。

【转载请注明来源】

传入的型式不是一个对象的时候，相当于没有【转载请注明来源】【本文首发于唐霜的博客】传参数

本文作者：唐霜，转载请注明出处。

著作权归作者所有，禁止商业用途转载。

原创内容，盗版必究。

支持嵌套【原创不易，请尊重版权】

转载请注明出处：www.tangshuang.net

【本文受版权保护】

本文版权归作者所有，未经授权不得转载。

在Type的基础上，所有扩展类型都做了强本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】规定，这样保证这些类型的特殊性。

const DictType = Dict({
  nage: String,
  age: Number,
  children: [IfExists(Object)], // IfExists是一个内置规则，下文会更详细的讲
})

这样就得到一个Dict的容器。它和一个n著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。ew Type的普通容器是一样的，只是在本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】它的基础上加了一些强制而已，其他没有区别【未经授权禁止转载】【未经授权禁止转载】。

【关注微信公众号：wwwtangshuangnet】【原创不易，请尊重版权】【原创不易，请尊重版权】本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。

extends【未经授权禁止转载】

本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】【原创内容，转载请注明出处】

Dict除了通用的判断方法外，还另外有两【版权所有，侵权必究】【未经授权禁止转载】个特别的方法。extends方法用于对原【版权所有】唐霜 www.tangshuang.net【原创不易，请尊重版权】有的规则结构进行扩展，例如，你定义了一个著作权归作者所有，禁止商业用途转载。【访问 www.tangshuang.net 获取更多精彩内容】PersonType，但是你现在需要一个【原创内容，转载请注明出处】【访问 www.tangshuang.net 获取更多精彩内容】BoyType，而BoyType实际上拥本文作者：唐霜，转载请注明出处。著作权归作者所有，禁止商业用途转载。有了PersonType的全部属性，你可本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】以这样做：

【原创内容，转载请注明出处】未经授权，禁止复制转载。【未经授权禁止转载】未经授权，禁止复制转载。【原创内容，转载请注明出处】

const BoyType = PersonType.extends({
  sex: Enum('F', 'M'),
  age: ShouldMatch(Number, Validate(value => value <= 14, `Boy's age should not bigger than 14.`)),
})

extends的参数是新增的属性及其规则未经授权，禁止复制转载。著作权归作者所有，禁止商业用途转载。。也可以通过extends对原有的规则进【未经授权禁止转载】【关注微信公众号：wwwtangshuangnet】行覆盖，当原有类型中存在某个属性时，新给本文版权归作者所有，未经授权不得转载。本文版权归作者所有，未经授权不得转载。定当属性规则会覆盖原有的规则。它返回一个【本文受版权保护】【本文首发于唐霜的博客】新的Dict。

著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。本文版权归作者所有，未经授权不得转载。未经授权，禁止复制转载。转载请注明出处：www.tangshuang.net

extract【版权所有】唐霜 www.tangshuang.net

const ChildType = ParentType.extract({
  name: true,
  age: true,
  height: false,
  weight: false,
})

其中，值为true表示在新的ChildT原创内容，盗版必究。【原创不易，请尊重版权】ype中，这个属性的规则将会被使用，为f【本文受版权保护】【版权所有，侵权必究】alse将会被舍弃。但是，你可能会问，假未经授权，禁止复制转载。原创内容，盗版必究。如在ParentType中的属性，在使用著作权归作者所有，禁止商业用途转载。【访问 www.tangshuang.net 获取更多精彩内容】extract的时候没有传入怎么办？这种原创内容，盗版必究。本文版权归作者所有，未经授权不得转载。情况会有一个规则去自适配：

【作者：唐霜】【访问 www.tangshuang.net 获取更多精彩内容】【本文受版权保护】原创内容，盗版必究。【原创内容，转载请注明出处】

当extract的参数中全部都为fals原创内容，盗版必究。【本文首发于唐霜的博客】e时，表示这些属性会在新容器中全部被舍弃本文作者：唐霜，转载请注明出处。【未经授权禁止转载】，而那些没有被提及的属性会全部被保留下来

【未经授权禁止转载】

本文版权归作者所有，未经授权不得转载。

【未经授权禁止转载】

当extract的参数中全部都为true本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。时，表示这些属性会被保留下来，所有没有被未经授权，禁止复制转载。【作者：唐霜】提及的属性都会被舍弃

本文版权归作者所有，未经授权不得转载。

本文作者：唐霜，转载请注明出处。

本文版权归作者所有，未经授权不得转载。

【本文受版权保护】

未经授权，禁止复制转载。

当参数中部分为true部分为false时【未经授权禁止转载】【转载请注明来源】，没有提及的属性会被舍弃（相当于只会保留本文作者：唐霜，转载请注明出处。原创内容，盗版必究。被设置了true的那些属性，因此，这种写未经授权，禁止复制转载。原创内容，盗版必究。法没有什么意义，一般而言，只需要全部为t【原创内容，转载请注明出处】【未经授权禁止转载】rue或者全部为false）

转载请注明出处：www.tangshuang.net

【未经授权禁止转载】

【原创不易，请尊重版权】

List 列表【版权所有，侵权必究】

原创内容，盗版必究。【原创内容，转载请注明出处】本文作者：唐霜，转载请注明出处。

List对应数组，它规定一个数组的每个位【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。置上元素的类型。

【访问 www.tangshuang.net 获取更多精彩内容】【原创内容，转载请注明出处】【关注微信公众号：wwwtangshuangnet】

List是一个函数，接收一个数组型式，返【原创内容，转载请注明出处】【版权所有】唐霜 www.tangshuang.net回一个容器

转载请注明出处：www.tangshuang.net

【本文受版权保护】

【转载请注明来源】

不传参数时，表示要校验的值必须是一个数组【未经授权禁止转载】【版权所有】唐霜 www.tangshuang.net，不对内部元素进行校验

著作权归作者所有，禁止商业用途转载。

【原创不易，请尊重版权】

本文版权归作者所有，未经授权不得转载。

传的不是数组时，相当于没传【未经授权禁止转载】

转载请注明出处：www.tangshuang.net

【原创不易，请尊重版权】

支持嵌套本文版权归作者所有，未经授权不得转载。

【未经授权禁止转载】

未经授权，禁止复制转载。

原创内容，盗版必究。

const ListType = List([String, Number])

List的校验规则如下：【作者：唐霜】

【作者：唐霜】本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】原创内容，盗版必究。

检查是否是数组【版权所有】唐霜 www.tangshuang.net

转载请注明出处：www.tangshuang.net

【原创不易，请尊重版权】

转载请注明出处：www.tangshuang.net

检查数组元素的个数，被校验的数组长度不能【版权所有】唐霜 www.tangshuang.net本文作者：唐霜，转载请注明出处。少于规定的长度，例如校验[‘【原创内容，转载请注明出处】本文作者：唐霜，转载请注明出处。sony’]就会失败（通过I【访问 www.tangshuang.net 获取更多精彩内容】【本文受版权保护】fExists可以对此进行扩展，具体了解【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。下面对IfExists）

本文作者：唐霜，转载请注明出处。

著作权归作者所有，禁止商业用途转载。

【原创内容，转载请注明出处】

检查数组元素的内部结构（元素类型检查）【本文首发于唐霜的博客】

【原创不易，请尊重版权】

【原创内容，转载请注明出处】

【本文首发于唐霜的博客】

【关注微信公众号：wwwtangshuangnet】

【访问 www.tangshuang.net 获取更多精彩内容】

当被校验数组的长度超出规定长度时，严格模【本文受版权保护】【转载请注明来源】式会不通过

【本文首发于唐霜的博客】

著作权归作者所有，禁止商业用途转载。

【未经授权禁止转载】

著作权归作者所有，禁止商业用途转载。

兼容模式下，要求超出部分的元素必须是前面未经授权，禁止复制转载。【版权所有】唐霜 www.tangshuang.net所规定的类型中的一个，也就是Enum(S【本文首发于唐霜的博客】【本文首发于唐霜的博客】tring, Number)

【本文首发于唐霜的博客】

著作权归作者所有，禁止商业用途转载。

转载请注明出处：www.tangshuang.net

上述最后一点，当超出长度时，比如用上面的本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】ListType去校验[‘t【原创内容，转载请注明出处】【未经授权禁止转载】omy’, 10, true【本文首发于唐霜的博客】【访问 www.tangshuang.net 获取更多精彩内容】]就会不通过，第二个元素后面的元素必须是【原创不易，请尊重版权】【关注微信公众号：wwwtangshuangnet】String或Number。

【访问 www.tangshuang.net 获取更多精彩内容】本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】

Enum 枚举【关注微信公众号：wwwtangshuangnet】

【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】未经授权，禁止复制转载。

const EnumType = Enum(String, Number, Boolean)

那么在校验的时候，被校验值必须是这三种类【作者：唐霜】本文作者：唐霜，转载请注明出处。型之一。

【原创不易，请尊重版权】【转载请注明来源】本文作者：唐霜，转载请注明出处。

不过一般而言，很少会这样用，因为我们并不著作权归作者所有，禁止商业用途转载。【关注微信公众号：wwwtangshuangnet】希望一个值是多类型的，我们更多的用法是：

const ColorType = Enum('blue', 'red', 'yellow')

【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】

function link(a, b) {
  return a + b
}

这个函数，乍一看是个加法运算，但是在js著作权归作者所有，禁止商业用途转载。本文作者：唐霜，转载请注明出处。里面，字符串连接也是这样，所以，这就比较【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。麻烦了，两种数据类型都是允许的，但是假如未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。，你只想它是其中的一种，你可以这样：

const ParamsType = Enum(Tuple(Number, Number), Tuple(String, String))

这样可以防止用户在用的时候，传入一个字符转载请注明出处：www.tangshuang.net【关注微信公众号：wwwtangshuangnet】串和一个数字。

【访问 www.tangshuang.net 获取更多精彩内容】本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.net

Tuple 元组未经授权，禁止复制转载。

【关注微信公众号：wwwtangshuangnet】【本文首发于唐霜的博客】【未经授权禁止转载】本文版权归作者所有，未经授权不得转载。【作者：唐霜】

Tuple是一个函数，接收任意数量的任意本文作者：唐霜，转载请注明出处。【转载请注明来源】类型的型式，返回一个容器

本文版权归作者所有，未经授权不得转载。

【本文首发于唐霜的博客】

本文版权归作者所有，未经授权不得转载。

不支持嵌套【转载请注明来源】

【未经授权禁止转载】

【转载请注明来源】

本文作者：唐霜，转载请注明出处。

const TupleType = Tuple(String, Number)

它非常使用函数参数校验，因为有的时候，你【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。并不知道函数参数会传多少个，你会这样做：

function fun(...args) {
  TupleType.assert(...args)
}

因为Tuple可以校验一组值，而非一个值本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。，所以它很适合这种校验。它的校验规则如下原创内容，盗版必究。【本文首发于唐霜的博客】：

【未经授权禁止转载】转载请注明出处：www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。【本文受版权保护】

校验传入的参数的个数，如果传入参数个数不原创内容，盗版必究。【本文受版权保护】一样，不通过

本文版权归作者所有，未经授权不得转载。

【原创内容，转载请注明出处】

【转载请注明来源】

转载请注明出处：www.tangshuang.net

校验每个位置上的数据类型原创内容，盗版必究。

【作者：唐霜】

著作权归作者所有，禁止商业用途转载。

如果Tuple只接收一个参数的话，和ne未经授权，禁止复制转载。【本文受版权保护】w Type看上去没两样，但是，在兼容模【版权所有】唐霜 www.tangshuang.net【本文首发于唐霜的博客】式下，Tuple支持IfExists，而未经授权，禁止复制转载。本文版权归作者所有，未经授权不得转载。new Type不支持。这时，如果Tup【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。le末尾的IfExists会被兼容，也就著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。是说在参数个数校验时，会特殊处理，而ne【版权所有】唐霜 www.tangshuang.net【本文受版权保护】w Type必须是强对应。下文会更详细介【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。绍IfExists。

const SomeType = Tuple(String, Number, IfExists(Boolean))

注意，如果不是尾部的IfExists，它【原创不易，请尊重版权】未经授权，禁止复制转载。会被强制校验。

著作权归作者所有，禁止商业用途转载。【本文受版权保护】【作者：唐霜】转载请注明出处：www.tangshuang.net

Range 域值【原创不易，请尊重版权】

本文作者：唐霜，转载请注明出处。【原创内容，转载请注明出处】本文作者：唐霜，转载请注明出处。

Range代表一个数字区间，要校验的值首【本文受版权保护】【访问 www.tangshuang.net 获取更多精彩内容】先得是数字，其次得是出于这个区间的值，区著作权归作者所有，禁止商业用途转载。著作权归作者所有，禁止商业用途转载。间包含传入的起始点和结束点。

转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。

它是一个函数，接收两个数字，第一个表示最未经授权，禁止复制转载。未经授权，禁止复制转载。小值，第二个表示最大值，返回一个容器

本文作者：唐霜，转载请注明出处。

本文版权归作者所有，未经授权不得转载。

最小值和最大值都必须是数字，如果不是数字【本文首发于唐霜的博客】未经授权，禁止复制转载。，会被分别转化为0和1

【转载请注明来源】

原创内容，盗版必究。

著作权归作者所有，禁止商业用途转载。

【原创不易，请尊重版权】

本文版权归作者所有，未经授权不得转载。

最小值必须小于等于最大值，如果最小值大于原创内容，盗版必究。未经授权，禁止复制转载。最大值，会被强制转化为最大值相等数值后使【原创不易，请尊重版权】【作者：唐霜】用

著作权归作者所有，禁止商业用途转载。

【本文受版权保护】

const RangeType = Range(0, 100)

上面的RangeType要求被校验的是数本文版权归作者所有，未经授权不得转载。转载请注明出处：www.tangshuang.net字，且必须处于[0, 100]之间（包含【本文受版权保护】著作权归作者所有，禁止商业用途转载。0和100）。

【本文受版权保护】转载请注明出处：www.tangshuang.net【关注微信公众号：wwwtangshuangnet】本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】

自定义类型【关注微信公众号：wwwtangshuangnet】

原创内容，盗版必究。著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。

你也可以写出自己的自定义类型，其实构建一【未经授权禁止转载】原创内容，盗版必究。个自定义类型非常简单，你可以查看Dict本文作者：唐霜，转载请注明出处。【本文受版权保护】的源码，它干了两件事，一是规定了函数传入未经授权，禁止复制转载。【关注微信公众号：wwwtangshuangnet】参数的限制，另一件事是创建一个容器，这个【作者：唐霜】【原创内容，转载请注明出处】容器具有特殊的校验规则，并给它赋一个na本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。me。例如，我现在要扩展出一个只允许包含【版权所有】唐霜 www.tangshuang.net著作权归作者所有，禁止商业用途转载。两个元素，且都是数字的数组的类型：

function Position() {
  let type = List([Number, Number]).toBeStrict()
  type.name = 'Position'
}
const PositionType = Postion()

PositionType.assert([10, 100]) // ok
PositionType.assert([1, 1, 1]) // throw TypeError
PositionType.assert(['tomy', 10]) // throw TypeError

Rule【访问 www.tangshuang.net 获取更多精彩内容】

规则是HelloType里面对一个值进行【关注微信公众号：wwwtangshuangnet】原创内容，盗版必究。校验时，真正用来作为对比基础的东西。也正【转载请注明来源】本文版权归作者所有，未经授权不得转载。因为这样，规则是最千变万化的，前文已经说【版权所有】唐霜 www.tangshuang.net本文版权归作者所有，未经授权不得转载。了哪些东西可以作为规则。不过显然，有穷的【访问 www.tangshuang.net 获取更多精彩内容】【作者：唐霜】列举还是无法满足所有需求，有的时候你需要本文版权归作者所有，未经授权不得转载。【原创不易，请尊重版权】自定义规则，这个时候你就需要用到Rule原创内容，盗版必究。【转载请注明来源】。

constructor【版权所有，侵权必究】

原创内容，盗版必究。【本文受版权保护】【本文首发于唐霜的博客】【本文受版权保护】未经授权，禁止复制转载。

Rule是一个构造器，使用时你需要先引入原创内容，盗版必究。未经授权，禁止复制转载。：

import { Rule } from 'hello-type'

它接收一个参数，这个参数是一个函数，函数【转载请注明来源】【访问 www.tangshuang.net 获取更多精彩内容】可以包含一个参数，这个参数就是要校验的值未经授权，禁止复制转载。【作者：唐霜】。这个函数可以返回任意内容，但是，当你校著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net验失败时，必须返回一个Error/Typ【访问 www.tangshuang.net 获取更多精彩内容】【原创内容，转载请注明出处】eError实例，当HelloType发转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。现你返回的是Error的实例的时候，就认【访问 www.tangshuang.net 获取更多精彩内容】【本文受版权保护】为校验失败，并抛出错误：

【原创不易，请尊重版权】本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。【关注微信公众号：wwwtangshuangnet】

const MyRule = new Rule(function(value) {
  if (typeof value !== 'object') {
    return new TypeError('%arg is not an object')
  }
})

const MyRule = new Rule('ObjectRule', function(value) {
  if (typeof value !== 'object') {
    return new TypeError('%arg is not an object')
  }
})
MyRule.name // ObjectRule

=== 注意：以下内容有点危险 ===本文版权归作者所有，未经授权不得转载。

本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。

const MyRule = new Rule('ObjectRule', function(value) {
  if (typeof value !== 'object') {
    return new TypeError('%arg is not an object')
  }
}, function(error, prop, target) {
  if (error) {
    target[prop] = {}
  }
})

上面这段代码创建了一个rule，它会检查著作权归作者所有，禁止商业用途转载。【转载请注明来源】一个值是否typeof为object，如【原创内容，转载请注明出处】转载请注明出处：www.tangshuang.net果不是就抛出错误，但是如果当前检查的值是【转载请注明来源】未经授权，禁止复制转载。一个对象的属性，或者一个数组的元素，它还【本文受版权保护】未经授权，禁止复制转载。会继执行第三个参数的函数，而不会立即终止未经授权，禁止复制转载。【未经授权禁止转载】进程，执行完第三个参数的函数之后，再回到【关注微信公众号：wwwtangshuangnet】本文作者：唐霜，转载请注明出处。第二个函数参数重新进行校验，如果校验通过本文版权归作者所有，未经授权不得转载。【版权所有】唐霜 www.tangshuang.net了，则不会报任何错。

第三个函数有三个参数转载请注明出处：www.tangshuang.net

未经授权，禁止复制转载。本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。【未经授权禁止转载】【本文首发于唐霜的博客】

error 第二个函数的返回值，看你自己【原创不易，请尊重版权】【未经授权禁止转载】在第二个函数中怎么返回

【转载请注明来源】

原创内容，盗版必究。

本文作者：唐霜，转载请注明出处。

prop 正在检查哪一个对象的什么属性本文作者：唐霜，转载请注明出处。

【本文首发于唐霜的博客】

【转载请注明来源】

本文作者：唐霜，转载请注明出处。

【本文首发于唐霜的博客】

著作权归作者所有，禁止商业用途转载。

target 正在检查哪一个对象转载请注明出处：www.tangshuang.net

【访问 www.tangshuang.net 获取更多精彩内容】

【转载请注明来源】

【关注微信公众号：wwwtangshuangnet】

【本文受版权保护】

但是你应该注意到，在第三个函数中，我使用【关注微信公众号：wwwtangshuangnet】本文作者：唐霜，转载请注明出处。了target[prop] = {}，直【关注微信公众号：wwwtangshuangnet】【本文首发于唐霜的博客】接修改了原始数据中的内容，这一点你要千万【访问 www.tangshuang.net 获取更多精彩内容】本文版权归作者所有，未经授权不得转载。小心，这个操作修改了原始值，因此你一定要转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。在知道发生了什么的情况下使用。

Null、Undefined、Any【关注微信公众号：wwwtangshuangnet】

【作者：唐霜】本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.net

Null【未经授权禁止转载】

要校验的值必须是null。【作者：唐霜】

【作者：唐霜】【作者：唐霜】【本文首发于唐霜的博客】【作者：唐霜】

Undefined原创内容，盗版必究。

【原创内容，转载请注明出处】著作权归作者所有，禁止商业用途转载。【原创不易，请尊重版权】著作权归作者所有，禁止商业用途转载。【未经授权禁止转载】

要校验的值必须是undefined。本文作者：唐霜，转载请注明出处。

【未经授权禁止转载】【关注微信公众号：wwwtangshuangnet】本文作者：唐霜，转载请注明出处。

Any本文版权归作者所有，未经授权不得转载。

Numeric著作权归作者所有，禁止商业用途转载。

【转载请注明来源】【作者：唐霜】【本文首发于唐霜的博客】

本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。【未经授权禁止转载】【关注微信公众号：wwwtangshuangnet】

内置规则本文作者：唐霜，转载请注明出处。

我在HelloType中内置了几种规则，本文作者：唐霜，转载请注明出处。【版权所有，侵权必究】把常见的一些情况考虑进去，当然，考虑的不【原创不易，请尊重版权】【原创不易，请尊重版权】够全面，如果你有认为需要改进的地方，可以转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。给我提出需求，我可以根据情况，把你提出的转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。规则内置进去。

IfExists本文版权归作者所有，未经授权不得转载。

这一些情况下，你希望有些值是可选的，比如转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。一个对象的某个属性，你希望如果这个属性存本文作者：唐霜，转载请注明出处。【原创不易，请尊重版权】在，就校验它，如果不存在，就直接略过。数【原创内容，转载请注明出处】【作者：唐霜】组也是一样，你希望一个数组如果是空数组，【访问 www.tangshuang.net 获取更多精彩内容】本文版权归作者所有，未经授权不得转载。就直接略过，如果这个数组有元素，那么要求【版权所有】唐霜 www.tangshuang.net【本文受版权保护】它每个元素都是一个字符串。这样的需求比较【未经授权禁止转载】【本文首发于唐霜的博客】常见。

【原创内容，转载请注明出处】【访问 www.tangshuang.net 获取更多精彩内容】【原创不易，请尊重版权】

那么怎么做到呢？就要借助IfExists【原创内容，转载请注明出处】未经授权，禁止复制转载。。

IfExists是一个函数，接收一个规则著作权归作者所有，禁止商业用途转载。【版权所有，侵权必究】作为参数，返回一个规则

本文作者：唐霜，转载请注明出处。

【原创内容，转载请注明出处】

原创内容，盗版必究。

【转载请注明来源】

当要校验的值存在时，它必须满足IfExi【版权所有】唐霜 www.tangshuang.net【原创内容，转载请注明出处】sts参数中的规则

【关注微信公众号：wwwtangshuangnet】

【未经授权禁止转载】

未经授权，禁止复制转载。

如果不存在，则直接忽略【本文首发于唐霜的博客】

本文版权归作者所有，未经授权不得转载。

【本文受版权保护】

【未经授权禁止转载】

【访问 www.tangshuang.net 获取更多精彩内容】

严格模式下IfExists失效，被校验值本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。必须满足IfExists接收的第一个参数【原创内容，转载请注明出处】【版权所有，侵权必究】中的规则

【本文受版权保护】

【关注微信公众号：wwwtangshuangnet】

【作者：唐霜】

【访问 www.tangshuang.net 获取更多精彩内容】

const SomeType = Dict({
  name: String,
  age: IfExists(Number)
})

【作者：唐霜】著作权归作者所有，禁止商业用途转载。【关注微信公众号：wwwtangshuangnet】【原创不易，请尊重版权】

const SomeType = Tuple(String, IfExists(String), Number, IfExists(Boolean), IfExists(Boolean))

上面有三个IfExists，但只有末尾两【本文受版权保护】本文版权归作者所有，未经授权不得转载。个会生效，第一个IfExists会被严格原创内容，盗版必究。【原创不易，请尊重版权】校验。

InstanceOf【原创不易，请尊重版权】

【关注微信公众号：wwwtangshuangnet】原创内容，盗版必究。转载请注明出处：www.tangshuang.net未经授权，禁止复制转载。【本文受版权保护】

这个规则用于校验被校验值是否是传入值的一【关注微信公众号：wwwtangshuangnet】【关注微信公众号：wwwtangshuangnet】个实例。

未经授权，禁止复制转载。本文版权归作者所有，未经授权不得转载。未经授权，禁止复制转载。【访问 www.tangshuang.net 获取更多精彩内容】【访问 www.tangshuang.net 获取更多精彩内容】

InstanceOf是一个函数，接收一个【版权所有，侵权必究】本文作者：唐霜，转载请注明出处。参数，这个参数必须是一个构造器，返回一个【版权所有，侵权必究】【原创内容，转载请注明出处】规则

转载请注明出处：www.tangshuang.net

【作者：唐霜】

在HelloType中String，Nu未经授权，禁止复制转载。【版权所有】唐霜 www.tangshuang.netmber，Boolean，Object都【版权所有】唐霜 www.tangshuang.net未经授权，禁止复制转载。做了强制，因此，当你想要判断一个值是否是【作者：唐霜】【版权所有】唐霜 www.tangshuang.netnew String出来的怎么办呢？这个原创内容，盗版必究。【本文首发于唐霜的博客】时候就得借助InstanceOf：

未经授权，禁止复制转载。【访问 www.tangshuang.net 获取更多精彩内容】【访问 www.tangshuang.net 获取更多精彩内容】著作权归作者所有，禁止商业用途转载。著作权归作者所有，禁止商业用途转载。

const StringType = new Type(InstanceOf(String))
StringType.assert('xxx') // throw TypeError
StringType.assert(new String('xxx')) // ok

由于HelloType内部本身就会去校验【本文首发于唐霜的博客】【本文首发于唐霜的博客】一个对象是否是给出的规则类的一个实例，所【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。以，在校验是否是实例的时候其实不需要专门【原创不易，请尊重版权】【本文首发于唐霜的博客】使用InstanceOf:

【访问 www.tangshuang.net 获取更多精彩内容】【本文首发于唐霜的博客】著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。

const ins = new MyClass()

const MyClassType = new Type(MyClass)

MyClassType.assert(ins) // ok

之所以提供InstanceOf规则，是用【未经授权禁止转载】原创内容，盗版必究。来校验直接属于某个类的实例的情况。例如F本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。ile的实例，同时也是Blob的实例，但原创内容，盗版必究。本文作者：唐霜，转载请注明出处。是，在使用InstanceOf规则时，只【本文首发于唐霜的博客】未经授权，禁止复制转载。会通过File，而不通过Blob。另外，【本文首发于唐霜的博客】未经授权，禁止复制转载。InstanceOf的最合理使用场景是，本文作者：唐霜，转载请注明出处。未经授权，禁止复制转载。避免直接校验js内置的构造器，例如Num【版权所有】唐霜 www.tangshuang.net转载请注明出处：www.tangshuang.netber，new Type(Number)只会校验真实的数字，而无法校验num =【版权所有】唐霜 www.tangshuang.net【原创内容，转载请注明出处】 new Number(10)，这个时候【本文受版权保护】原创内容，盗版必究。就必须new Type(InstanceOf(Number))。【版权所有，侵权必究】

Equal转载请注明出处：www.tangshuang.net

【未经授权禁止转载】转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。【作者：唐霜】【关注微信公众号：wwwtangshuangnet】

在HelloType的校验中，虽然会先校原创内容，盗版必究。未经授权，禁止复制转载。验一个值是否与规定的值相等，然后再考虑其【访问 www.tangshuang.net 获取更多精彩内容】【版权所有】唐霜 www.tangshuang.net他校验规则。而String，Number【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。，Boolean，Object都被做了强【关注微信公众号：wwwtangshuangnet】未经授权，禁止复制转载。制，因此，如果你这样做：

const SomeType = new Type(String)
SomeType.assert(String) // throw TypeError

只会得到一个错误，所以，在这种情况下，默本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】认的相等规则失效了，这个时候就需要借助E转载请注明出处：www.tangshuang.net【转载请注明来源】qual：

【原创内容，转载请注明出处】本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。【本文首发于唐霜的博客】

const SomeType = new Type(Equal(String))
SomeType.assert(String) // ok

IfNotMatch【关注微信公众号：wwwtangshuangnet】

当一个值不符合你的预期的时候，你想给它一【本文首发于唐霜的博客】原创内容，盗版必究。个默认值怎么办呢？例如，你希望api返回未经授权，禁止复制转载。【原创不易，请尊重版权】的children是一个数组，但是api【版权所有，侵权必究】著作权归作者所有，禁止商业用途转载。返回给你null，你想把它调整为一个空数【作者：唐霜】原创内容，盗版必究。组，怎么办呢？用IfNotMatch可以原创内容，盗版必究。【原创不易，请尊重版权】办到。

转载请注明出处：www.tangshuang.net【原创内容，转载请注明出处】【本文受版权保护】本文作者：唐霜，转载请注明出处。

IfNotMatch是一个函数，接收两个【版权所有】唐霜 www.tangshuang.net转载请注明出处：www.tangshuang.net参数，

【原创内容，转载请注明出处】

原创内容，盗版必究。

【转载请注明来源】

【作者：唐霜】

转载请注明出处：www.tangshuang.net

第一个参数rule是要检查的类型规则，转载请注明出处：www.tangshuang.net

【作者：唐霜】

【未经授权禁止转载】

本文版权归作者所有，未经授权不得转载。

第二个参数defaultValue是在不【未经授权禁止转载】【访问 www.tangshuang.net 获取更多精彩内容】通过校验的情况下用什么值覆盖，可选

未经授权，禁止复制转载。

【本文受版权保护】

【访问 www.tangshuang.net 获取更多精彩内容】

著作权归作者所有，禁止商业用途转载。

【原创不易，请尊重版权】

第三个参数，可选，一个函数，接收原始值和本文版权归作者所有，未经授权不得转载。【版权所有，侵权必究】你传的defaultValue作为参数，未经授权，禁止复制转载。【关注微信公众号：wwwtangshuangnet】返回值将替换该属性的值

【转载请注明来源】

本文版权归作者所有，未经授权不得转载。

原创内容，盗版必究。

【关注微信公众号：wwwtangshuangnet】

const SomeType = Dict({
  code: Number,
  data: {
    name: String,
    children: IfNotMatch(List([Object]), [])
  },
})

虽然上面的这句话很像IfExists，但转载请注明出处：www.tangshuang.net【版权所有】唐霜 www.tangshuang.net是并不是，IfExists是允许chil本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】dren不存在，而IfNotMatch要【转载请注明来源】未经授权，禁止复制转载。求children必须存在，如果不存在，【版权所有】唐霜 www.tangshuang.net【原创不易，请尊重版权】或者说它不满足List([Object]【版权所有】唐霜 www.tangshuang.net【未经授权禁止转载】)，就会用一个空数组去代替。

原创内容，盗版必究。【原创内容，转载请注明出处】原创内容，盗版必究。【原创不易，请尊重版权】【转载请注明来源】

第三个参数是一个函数，用来动态计算值并返本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】回一个值作为新值赋值给原始数据。

【作者：唐霜】【本文受版权保护】【关注微信公众号：wwwtangshuangnet】【原创不易，请尊重版权】

const SomeType = Dict({
  code: Number,
  data: {
    name: String,
    children: IfNotMatch(List([Object]), (value) => {
      if (!Array.isArray(value)) {
        return []
      }
      else {
        return value.map(item => item && typeof item === 'object' ? item : {})
      }
    })
  },
})

前面说过Rule的第三个参数，IfNot【关注微信公众号：wwwtangshuangnet】【访问 www.tangshuang.net 获取更多精彩内容】Match就用了这第三个危险的参数，它会本文作者：唐霜，转载请注明出处。【版权所有，侵权必究】修改你的原始值，因此在使用的时候要特别小【本文首发于唐霜的博客】【本文受版权保护】心。举个例子，你不能在使用trace的场【未经授权禁止转载】本文版权归作者所有，未经授权不得转载。景下使用IfNotMatch，因为tra【版权所有，侵权必究】转载请注明出处：www.tangshuang.netce会异步执行代码，如果你这个时候使用I【本文首发于唐霜的博客】本文作者：唐霜，转载请注明出处。fNotMatch的第二个参数defau【版权所有】唐霜 www.tangshuang.net【未经授权禁止转载】ltValue去覆盖，你会发现，覆盖动作未经授权，禁止复制转载。【本文受版权保护】位于你整个程序时序的最后，这个时候，bu【转载请注明来源】本文作者：唐霜，转载请注明出处。g可能已经产生了。最大的建议，就是尽可能不要用IfNotM原创内容，盗版必究。【本文首发于唐霜的博客】atch。【原创内容，转载请注明出处】

【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.net【原创内容，转载请注明出处】

IfExistsNotMatch未经授权，禁止复制转载。

转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。【作者：唐霜】

相当于IfExists和IfNotMat【关注微信公众号：wwwtangshuangnet】【本文首发于唐霜的博客】ch的组合。当一个属性不存在时，直接忽视【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.net这条规则，不进行校验。而如果存在的情况下【版权所有】唐霜 www.tangshuang.net【转载请注明来源】，就要进行校验，同时，如果校验失败，用新【版权所有，侵权必究】本文作者：唐霜，转载请注明出处。值去替代原始值。

IfExistsNotMatch是一个函未经授权，禁止复制转载。【原创内容，转载请注明出处】数，接收两个参数，

【作者：唐霜】

本文版权归作者所有，未经授权不得转载。

【转载请注明来源】

第一个参数rule是要检查的类型规则，本文版权归作者所有，未经授权不得转载。

【作者：唐霜】

未经授权，禁止复制转载。

第二个参数defaultValue是在不本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。通过校验的情况下用什么值覆盖，可选

原创内容，盗版必究。

本文版权归作者所有，未经授权不得转载。

【未经授权禁止转载】

【原创不易，请尊重版权】

第三个参数，可选，一个函数，接收原始值和【转载请注明来源】【作者：唐霜】你传的defaultValue作为参数，【版权所有】唐霜 www.tangshuang.net【本文受版权保护】返回值将替换该属性的值

未经授权，禁止复制转载。

【访问 www.tangshuang.net 获取更多精彩内容】

【本文受版权保护】

【未经授权禁止转载】

未经授权，禁止复制转载。

const SomeType = Dict({
  code: Number,
  data: {
    name: String,
    children: IfExistsNotMatch(List([Object]), [])
  },
})

当【版权所有】唐霜 www.tangshuang.netchildren不存在时，就不进行校验，如果存在时，进行【本文首发于唐霜的博客】【版权所有】唐霜 www.tangshuang.net校验，如果校验结果为失败，那么用一个空数【转载请注明来源】【访问 www.tangshuang.net 获取更多精彩内容】组作为值赋给children。这对某些api返回的数据有帮助，比如某转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。些api，根据你传入的某个scope参数【作者：唐霜】本文版权归作者所有，未经授权不得转载。，返回对应的字段给你，不在你传的scop本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】e中的字段不会返回，因此，使用IfExi【原创不易，请尊重版权】【本文受版权保护】sts校验比较合理。

未经授权，禁止复制转载。未经授权，禁止复制转载。本文版权归作者所有，未经授权不得转载。

Lambda【本文首发于唐霜的博客】

本文版权归作者所有，未经授权不得转载。本文版权归作者所有，未经授权不得转载。【关注微信公众号：wwwtangshuangnet】

这个规则非常微妙，虽然我不推荐你使用它，未经授权，禁止复制转载。【本文受版权保护】但是我希望你知道它的思想，这样你可以更好【本文受版权保护】本文作者：唐霜，转载请注明出处。的使用HelloType。Lambda会【本文受版权保护】著作权归作者所有，禁止商业用途转载。检查当前值是否是一个函数，如果是函数的话【作者：唐霜】【转载请注明来源】，会重写这个函数，并且用输入和输出规则进【转载请注明来源】未经授权，禁止复制转载。行校验。

【未经授权禁止转载】著作权归作者所有，禁止商业用途转载。【作者：唐霜】著作权归作者所有，禁止商业用途转载。【访问 www.tangshuang.net 获取更多精彩内容】

Lambda是一个函数，接收两个参数著作权归作者所有，禁止商业用途转载。

原创内容，盗版必究。

未经授权，禁止复制转载。

第一个参数是输入值的规则，如果你的函数要【原创内容，转载请注明出处】【未经授权禁止转载】求输入多个值，要用Tuple

本文作者：唐霜，转载请注明出处。

本文版权归作者所有，未经授权不得转载。

【关注微信公众号：wwwtangshuangnet】

转载请注明出处：www.tangshuang.net

原创内容，盗版必究。

第二个参数是输出值的规则【版权所有】唐霜 www.tangshuang.net

原创内容，盗版必究。

【未经授权禁止转载】

本文作者：唐霜，转载请注明出处。

【本文首发于唐霜的博客】

原创内容，盗版必究。

它要求值首先得是一个函数，其次它在运行过【原创内容，转载请注明出处】原创内容，盗版必究。程中，输入输出都必须符合要求

本文版权归作者所有，未经授权不得转载。

【本文受版权保护】

【关注微信公众号：wwwtangshuangnet】

如果任何一点校验失败，都会抛出错误，函数【本文首发于唐霜的博客】本文作者：唐霜，转载请注明出处。的执行被中断，你得不到任何结果

【原创内容，转载请注明出处】

【访问 www.tangshuang.net 获取更多精彩内容】

本文版权归作者所有，未经授权不得转载。

著作权归作者所有，禁止商业用途转载。

只对对象属性、数组元素生效著作权归作者所有，禁止商业用途转载。

【作者：唐霜】

【原创不易，请尊重版权】

本文作者：唐霜，转载请注明出处。

const SomeType = Dict({
  fn: Lambda(Tuple(String, Number), Object),
})

这个不能多讲，毕竟它是一个比较危险容易出转载请注明出处：www.tangshuang.net【本文首发于唐霜的博客】bug的规则，你应该学习它的思想，去gi本文版权归作者所有，未经授权不得转载。【原创不易，请尊重版权】thub上读它的源码。

转载请注明出处：www.tangshuang.net【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】

Validate：自定义消息未经授权，禁止复制转载。

【原创不易，请尊重版权】本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。【作者：唐霜】【原创内容，转载请注明出处】

这个规则更适合用来做自定义消息，它非常有【未经授权禁止转载】【原创内容，转载请注明出处】利于降级HelloType的概念，让基础【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。开发者不必深入了解HelloType的理本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。念，从业务中逐渐过度HelloType的本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。使用方法，我们来看一个例子：

著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net【未经授权禁止转载】【原创内容，转载请注明出处】【作者：唐霜】

let SomeType = Dict({
  name: Validate(String, '名字必须为字符串'),
  child: Validate(Any, 'child字段必须填写'),
  age: Validate(value => typeof value === 'number' && value > 10, '年龄必须大于10'),
})

上面规定了一个对象的三个字段的类型，在具本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。体业务中，这个对象可能是表单要提交的对象原创内容，盗版必究。【原创不易，请尊重版权】，利用这种方式，可以很好的做表单检查：

【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。【作者：唐霜】

function onSubmit() {
  let data = this.formdata
  let error = SomeType.catch(data)
  if (error) {
    this.toast.error(error.message)
  }
  // ...
}

上面这段绿色的代码进行了数据检查，当用户【版权所有】唐霜 www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】点击提交按钮的时候，SomeType检查原创内容，盗版必究。本文作者：唐霜，转载请注明出处。数据，并返回错误提示（只能提示到出错的第本文作者：唐霜，转载请注明出处。【原创内容，转载请注明出处】一条数据，当用户修改之后，再点提交，如果【版权所有】唐霜 www.tangshuang.net【未经授权禁止转载】还有错误，又会提示）。

本文版权归作者所有，未经授权不得转载。【未经授权禁止转载】【本文受版权保护】原创内容，盗版必究。【未经授权禁止转载】

Validate函数的参数如下：【关注微信公众号：wwwtangshuangnet】

【未经授权禁止转载】【原创内容，转载请注明出处】未经授权，禁止复制转载。

【本文受版权保护】

原创内容，盗版必究。

【访问 www.tangshuang.net 获取更多精彩内容】

转载请注明出处：www.tangshuang.net

原创内容，盗版必究。

message：当校验不通过时，给出什么【作者：唐霜】本文作者：唐霜，转载请注明出处。提示，它可以是一个函数，value =&转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。gt; String，之所以提供函数形式未经授权，禁止复制转载。原创内容，盗版必究。，主要是开发者可以在这个位置获取用户输入原创内容，盗版必究。【版权所有，侵权必究】的值，这样有利于进一步优化消息的内容。

未经授权，禁止复制转载。

著作权归作者所有，禁止商业用途转载。

【关注微信公众号：wwwtangshuangnet】

【本文受版权保护】

Determine：条件选择【原创内容，转载请注明出处】

转载请注明出处：www.tangshuang.net【原创内容，转载请注明出处】本文版权归作者所有，未经授权不得转载。

这个规则主要用来根据当前属性所在的对象进本文作者：唐霜，转载请注明出处。【版权所有】唐霜 www.tangshuang.net行条件选择，根据对象上其他属性的判断来确转载请注明出处：www.tangshuang.net【原创不易，请尊重版权】定当前这个属性应该是什么类型。比如，当前本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】这个对象是一个person，而它有一个属【本文受版权保护】转载请注明出处：www.tangshuang.net性叫mustache（胡子），显然，女人【版权所有】唐霜 www.tangshuang.net【作者：唐霜】是不可能有胡子的，因此，要决定musta【关注微信公众号：wwwtangshuangnet】【访问 www.tangshuang.net 获取更多精彩内容】che的值的类型，需要依赖于对性别的检查【作者：唐霜】本文作者：唐霜，转载请注明出处。。那么这种情况下，就可以使用Determ【版权所有】唐霜 www.tangshuang.net未经授权，禁止复制转载。ine来做：

转载请注明出处：www.tangshuang.net未经授权，禁止复制转载。【原创不易，请尊重版权】【未经授权禁止转载】

const PersonType = Dict({
  name: String,
  isMale: Boolean,
  // data type check based on person.isMale
  mustache: Determine(function(person) {
    if (person.isMale) {
      return Number
    }
    else {
      return Null
    }
  }),
})

Determine函数的具体参数如下：著作权归作者所有，禁止商业用途转载。

转载请注明出处：www.tangshuang.net【原创内容，转载请注明出处】【未经授权禁止转载】【未经授权禁止转载】

factory: Determine仅接本文版权归作者所有，未经授权不得转载。【本文受版权保护】收一个函数作为参数，这个函数接收参数如下【作者：唐霜】【本文受版权保护】
- object: factory仅接收一个著作权归作者所有，禁止商业用途转载。【转载请注明来源】对象，这个对象是这个属性所在的对象的原始【版权所有，侵权必究】原创内容，盗版必究。引用，因此，绝对不能在factory内修改objec【原创不易，请尊重版权】原创内容，盗版必究。t的属性值
- @return factory必须返回一【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.net个用于决定当前属性是什么数据类型的规则

本文作者：唐霜，转载请注明出处。

未经授权，禁止复制转载。

【本文首发于唐霜的博客】

@return Determine返回一【作者：唐霜】【本文首发于唐霜的博客】个Rule的实例

原创内容，盗版必究。

本文版权归作者所有，未经授权不得转载。

未经授权，禁止复制转载。

原创内容，盗版必究。

Async【关注微信公众号：wwwtangshuangnet】

Async规则也是一个函数，它生成一个特【原创不易，请尊重版权】【版权所有】唐霜 www.tangshuang.net殊的规则，这个规则在默认情况下永远返回t【原创内容，转载请注明出处】【访问 www.tangshuang.net 获取更多精彩内容】rue，即不会造成任何校验错误。但是你需【作者：唐霜】转载请注明出处：www.tangshuang.net要向它传一个函数，这个函数里面进行异步操著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。作，通过返回Promise来返回一个规则原创内容，盗版必究。【版权所有】唐霜 www.tangshuang.net，当Promise resolved之后【本文首发于唐霜的博客】【原创内容，转载请注明出处】，这个返回的规则会替代原有规则，成为新规【本文首发于唐霜的博客】【作者：唐霜】则。

著作权归作者所有，禁止商业用途转载。【访问 www.tangshuang.net 获取更多精彩内容】【原创内容，转载请注明出处】转载请注明出处：www.tangshuang.net

这个规则适合用在一些需要等待加载的情景：

【本文受版权保护】【原创不易，请尊重版权】【访问 www.tangshuang.net 获取更多精彩内容】

const SomeType = new Type({
  test: Async(function() {
    return new Promise((resolve) => {
      setTimeout(() => resolve(Number), 200)
    })
  }),
})

SomeType.assert({ text: '10' }) // 不会报错，因为SomeType的真正规则还没有加载出来
setTimeout(() => {
  SomeType.assert({ test: '10' }) // 会报错，因为SomeType的test的规则已经被设置为Number
}, 300)

上面这段代码，很好演示了在异步校验场景的转载请注明出处：www.tangshuang.net【转载请注明来源】应用。

ShouldMatch：同时满足多个【未经授权禁止转载】

在一些特定环境下，你需要一个规则，让当前著作权归作者所有，禁止商业用途转载。【本文受版权保护】值同时满足多个检查规则才算通过校验。感觉转载请注明出处：www.tangshuang.net【版权所有，侵权必究】上，它和Enum是相对的一个规则，Enu著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。m要求只需要满足其中之一，而Should转载请注明出处：www.tangshuang.net原创内容，盗版必究。Match要求必须全部满足。

转载请注明出处：www.tangshuang.net【本文受版权保护】【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】

ShouldMatch函数的具体参数：【访问 www.tangshuang.net 获取更多精彩内容】

转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.net原创内容，盗版必究。本文作者：唐霜，转载请注明出处。【本文首发于唐霜的博客】

原创内容，盗版必究。

【原创不易，请尊重版权】

const SomeType = Dict({
  value: ShouldMatch(
    Validate(Number, 'it should be a number'),
    Validate(value => value === parseInt(value, 10), 'it should be a int number')
   )
})

上面这个例子非常好的解释了它的使用场景。【本文首发于唐霜的博客】原创内容，盗版必究。Validate规则只能规定一个mess本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。age，但是，有的时候，你需要针对不同的未经授权，禁止复制转载。【版权所有】唐霜 www.tangshuang.net检查结果给出不同的message，这个时原创内容，盗版必究。【转载请注明来源】候，可以将Validate拆分，并配合S【转载请注明来源】本文作者：唐霜，转载请注明出处。houldMatch来用，就可以非常方便【关注微信公众号：wwwtangshuangnet】【原创内容，转载请注明出处】的实现这个目的。

【本文首发于唐霜的博客】转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。

DetermineExists未经授权，禁止复制转载。

这个规则生成器的厉害之处在于，可以通过一【版权所有，侵权必究】【版权所有】唐霜 www.tangshuang.net个条件去决定该属性是否可以不存在。听上去【本文首发于唐霜的博客】未经授权，禁止复制转载。，逻辑是反的，但是事实时，在某些情况下，转载请注明出处：www.tangshuang.net【版权所有】唐霜 www.tangshuang.net你希望通过一个条件判断来决定这个属性是不【本文首发于唐霜的博客】【本文受版权保护】是存在，如果存在的情况下会使用某个规则。著作权归作者所有，禁止商业用途转载。【关注微信公众号：wwwtangshuangnet】它的用法如下：

const SomeType = Dict({
  name: String,
  age: Number,
  knowledge: DetermineExists(data => data.age > 10, KnowledgeType), // 当data.age <= 10时，knowledge属性可以不存在
})

它的使用方法和IfExists极其相似，【关注微信公众号：wwwtangshuangnet】【访问 www.tangshuang.net 获取更多精彩内容】都是只有在该属性存在的情况下才会运用对应未经授权，禁止复制转载。原创内容，盗版必究。的type去做数据检查。但是，Deter未经授权，禁止复制转载。著作权归作者所有，禁止商业用途转载。mineExists会在决定这个属性是否原创内容，盗版必究。【本文首发于唐霜的博客】可以不存在时，多加来一层。

著作权归作者所有，禁止商业用途转载。【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。

determine 函数，接收当前对象，【作者：唐霜】【本文受版权保护】返回boolean，如果为true表示该本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】属性必须存在，且用第二个参数去进行类型检著作权归作者所有，禁止商业用途转载。【原创内容，转载请注明出处】查，如果为false表示该属性可以不存在本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】，但是在存在的情况下，也得遵守第二个参数【本文首发于唐霜的博客】【未经授权禁止转载】的类型规则

原创内容，盗版必究。

【原创内容，转载请注明出处】

【转载请注明来源】

【访问 www.tangshuang.net 获取更多精彩内容】

type 在该属性存在的情况下的类型规则

本文版权归作者所有，未经授权不得转载。

转载请注明出处：www.tangshuang.net

【本文首发于唐霜的博客】

本文版权归作者所有，未经授权不得转载。

这个方法在一些特别的情况下具有非常重要的【作者：唐霜】原创内容，盗版必究。作用，例如，有些接口的某些字段，在接口返【未经授权禁止转载】【原创内容，转载请注明出处】回的对象为某种类型时，有些字段不存在，而【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。另外一些字段只有在该对象为特定类型是才会转载请注明出处：www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】存在，这是就可以用Determine来规【本文受版权保护】原创内容，盗版必究。定它的规则。

规则嵌套本文作者：唐霜，转载请注明出处。

原创内容，盗版必究。【转载请注明来源】【本文受版权保护】本文版权归作者所有，未经授权不得转载。

规则可以相互嵌套，但也不尽然。有的时候逻【关注微信公众号：wwwtangshuangnet】转载请注明出处：www.tangshuang.net辑很重要，特别是IfExists一般都会【本文首发于唐霜的博客】【关注微信公众号：wwwtangshuangnet】嵌套规则，举个例子：

本文版权归作者所有，未经授权不得转载。【关注微信公众号：wwwtangshuangnet】【本文受版权保护】本文作者：唐霜，转载请注明出处。【作者：唐霜】

const SomeType = new Type({
  color: IfExists(Enum('blue', 'red', 'yellow')),
})

如果color存在的话，就必须为红蓝黄中转载请注明出处：www.tangshuang.net【未经授权禁止转载】的一个，否则验证不通过。再比如：

const SomeType = new Type({
  color: IfExists(Validate(String, '必须是字符串')),
})

这样也是一种形式。本文版权归作者所有，未经授权不得转载。

原创内容，盗版必究。【访问 www.tangshuang.net 获取更多精彩内容】原创内容，盗版必究。【原创内容，转载请注明出处】【访问 www.tangshuang.net 获取更多精彩内容】

但是未经授权，禁止复制转载。，IfNotMatch和IfExists本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。NotMatch不能被嵌套使用，一定、必【版权所有】唐霜 www.tangshuang.net【本文受版权保护】须、立刻记住这点，因为嵌套不会得到你想要本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】的结果。当然，IfExistsNotMa【关注微信公众号：wwwtangshuangnet】【原创内容，转载请注明出处】tch本身就是为了解这个问题出现的，总之未经授权，禁止复制转载。著作权归作者所有，禁止商业用途转载。，你不能在其他规则中嵌套这两个规则，否则本文版权归作者所有，未经授权不得转载。【未经授权禁止转载】bug出现的时候你可能都找不到原因。

【转载请注明来源】原创内容，盗版必究。未经授权，禁止复制转载。原创内容，盗版必究。

// 错误的代码示例
const SomeType = new Type({
  color: IfExists(IfNotMatch(String, '#ffffff')),
})

这种情况，应该使用IfExistsNot【版权所有】唐霜 www.tangshuang.net【版权所有】唐霜 www.tangshuang.netMatch替代。而类似Validate(IfNotMatch(String, '#ffffff'), '必须是色值')这样的校验规则没有任何意义，而且，也得不【版权所有，侵权必究】【访问 www.tangshuang.net 获取更多精彩内容】到预期的结果。

HelloType辅助器转载请注明出处：www.tangshuang.net

前面的内容基本上已经囊括了HelloTy【原创内容，转载请注明出处】【本文受版权保护】pe类型检查的所有内容，你可以利用上面的未经授权，禁止复制转载。【未经授权禁止转载】内容编程了。但是有一个问题，上面的使用方著作权归作者所有，禁止商业用途转载。【原创内容，转载请注明出处】法太过分散，如果你要进行代码升级的话，非【访问 www.tangshuang.net 获取更多精彩内容】【版权所有，侵权必究】常麻烦。因此，我提供了一堆辅助器方便统一【转载请注明来源】【转载请注明来源】代码风格，这样，在用编辑器进行全局搜索时【本文首发于唐霜的博客】转载请注明出处：www.tangshuang.net，就很有用，可以快速定位到代码位置。

【作者：唐霜】【关注微信公众号：wwwtangshuangnet】【作者：唐霜】原创内容，盗版必究。

所有辅助器都以HelloType打头，例【本文受版权保护】未经授权，禁止复制转载。如：

HelloType.expect(obj).to.match(SomeType)

这样，你搜索HelloType.expe本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】ct，就可以找到所有断言代码了。

HelloType.expect(10).to.match(Number)
let bool = HelloType.is(10).of(Number)

expect.to.match转载请注明出处：www.tangshuang.net

转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。

未经授权，禁止复制转载。【访问 www.tangshuang.net 获取更多精彩内容】【关注微信公众号：wwwtangshuangnet】【未经授权禁止转载】

HelloType.expect(obj).to.match(SomeType)
// 等同于：
SomeType.assert(obj)

这两者是一样的。虽然前面一句的句子长很多本文作者：唐霜，转载请注明出处。【作者：唐霜】，但是这主要是为了代码管理的方便。而且还本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】有好处，先卖关子，后面会讲到。

catch.by未经授权，禁止复制转载。

原创内容，盗版必究。原创内容，盗版必究。本文版权归作者所有，未经授权不得转载。转载请注明出处：www.tangshuang.net原创内容，盗版必究。

HelloType.catch.by是c原创内容，盗版必究。本文版权归作者所有，未经授权不得转载。atch方法的别称：

本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】

var error = HelloType.catch(obj).by(SomeType)
// 等同于：
var error = SomeType.catch(obj)

track.by.with【作者：唐霜】

HelloType.track.by.w【未经授权禁止转载】著作权归作者所有，禁止商业用途转载。ith是track.with的别称：

【未经授权禁止转载】未经授权，禁止复制转载。【访问 www.tangshuang.net 获取更多精彩内容】【作者：唐霜】【访问 www.tangshuang.net 获取更多精彩内容】

var error = await HelloType.track(obj).by(SomeType).with(fn)
// 等同于：
var error = await SomeType.track(obj).with(fn)

trace.by.with【访问 www.tangshuang.net 获取更多精彩内容】

本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。

var error = await HelloType.trace(obj).by(SomeType).with(fn)
// 等同于：
var error = await SomeType.trace(obj).with(fn)

is.typeof【原创内容，转载请注明出处】

本文版权归作者所有，未经授权不得转载。【转载请注明来源】【未经授权禁止转载】

未经授权，禁止复制转载。原创内容，盗版必究。【作者：唐霜】转载请注明出处：www.tangshuang.net【本文受版权保护】

var bool = HelloType.is(SomeType).typeof(obj)
// 等同于：
var bool = SomeType.test(obj)

本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。【未经授权禁止转载】

与is.typeof形成反转，即参数是颠【原创不易，请尊重版权】原创内容，盗版必究。倒的。

本文作者：唐霜，转载请注明出处。【访问 www.tangshuang.net 获取更多精彩内容】【本文受版权保护】【原创内容，转载请注明出处】

let bool = HelloType.is(10).of(Number)

of后面跟规则。著作权归作者所有，禁止商业用途转载。

本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。未经授权，禁止复制转载。

decorate本文作者：唐霜，转载请注明出处。

【访问 www.tangshuang.net 获取更多精彩内容】【原创内容，转载请注明出处】原创内容，盗版必究。本文作者：唐霜，转载请注明出处。【访问 www.tangshuang.net 获取更多精彩内容】

未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。原创内容，盗版必究。原创内容，盗版必究。未经授权，禁止复制转载。

HelloType.decorate.w【作者：唐霜】【未经授权禁止转载】ith可以直接装饰类，也可以装饰属性成员本文作者：唐霜，转载请注明出处。【未经授权禁止转载】：

【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】

@HelloType.decorate.with(ParamsType)
class A {
  @HelloType.decorate.with(ObjectType)
  obj = {}
}

上面这段代码，会在new A的时候，对c本文作者：唐霜，转载请注明出处。著作权归作者所有，禁止商业用途转载。onstructor的参数进行校验。

【原创不易，请尊重版权】【本文受版权保护】本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。

input.with【原创不易，请尊重版权】

【原创内容，转载请注明出处】转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.net未经授权，禁止复制转载。【转载请注明来源】

HelloType.decorate.i【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。nput.with可以装饰方法成员，校验本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。它的输入值：

class A {
  @HelloType.decorate.with(FunctionType)
  @HelloType.decorate.input.with(ParamsType)
  say(msg) {}
}

output.with【本文首发于唐霜的博客】

【本文受版权保护】【关注微信公众号：wwwtangshuangnet】转载请注明出处：www.tangshuang.net

HelloType.decorate.o【本文受版权保护】转载请注明出处：www.tangshuang.netutput.with可以装饰方法成员，校原创内容，盗版必究。未经授权，禁止复制转载。验它的返回值：

class A {
  @HelloType.decorate.with(FunctionType)
  @HelloType.decorate.input.with(ParamsType)
  @HelloType.decorate.output.with(ReturnType)
  say(msg) {}
}

小结【版权所有，侵权必究】

【未经授权禁止转载】未经授权，禁止复制转载。【原创不易，请尊重版权】【作者：唐霜】【本文首发于唐霜的博客】

with后面除了可以直接传Type实例之【关注微信公众号：wwwtangshuangnet】转载请注明出处：www.tangshuang.net外，还可以传一个函数，因为有的时候你不想【本文受版权保护】本文版权归作者所有，未经授权不得转载。直接用容器去校验，而是有一定逻辑的去校验【作者：唐霜】未经授权，禁止复制转载。。函数怎么用呢？

著作权归作者所有，禁止商业用途转载。【未经授权禁止转载】【作者：唐霜】

@HelloType.decorate.input.with((...args) => {
  ParamsType.assert(...args)
})

总之，在你知道装饰器的情况下使用Hell未经授权，禁止复制转载。原创内容，盗版必究。oType.decorate，会让你的代本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。码减少侵入性。

原创内容，盗版必究。【未经授权禁止转载】转载请注明出处：www.tangshuang.net原创内容，盗版必究。

define原创内容，盗版必究。

本文作者：唐霜，转载请注明出处。【未经授权禁止转载】转载请注明出处：www.tangshuang.net

【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.net原创内容，盗版必究。转载请注明出处：www.tangshuang.net

const ObjType = Dict({
  name: String,
  age: Number,
  sub: {
    key: Object,
  },
})
let obj = HelloType.define({}).by(ObjType)

这需要注意，define不会修改原始值，未经授权，禁止复制转载。转载请注明出处：www.tangshuang.net而是先克隆一个备份之后再赋值给obj。d原创内容，盗版必究。【访问 www.tangshuang.net 获取更多精彩内容】efine的结果会自带规定的那些属性，例【原创内容，转载请注明出处】【未经授权禁止转载】如obj.sub.key已经有了，虽然是原创内容，盗版必究。原创内容，盗版必究。undefined，但是不会报错。

经过define之后，如果你进行赋值ob未经授权，禁止复制转载。【版权所有，侵权必究】j.sub.key = 10就会报错，因【原创不易，请尊重版权】【版权所有，侵权必究】为obj.sub.key必须是一个obj转载请注明出处：www.tangshuang.net【版权所有，侵权必究】ect。这个时候，你可能还会用上Lamb【访问 www.tangshuang.net 获取更多精彩内容】【本文首发于唐霜的博客】da，可以往上翻看它的具体方法。

转载请注明出处：www.tangshuang.net【未经授权禁止转载】著作权归作者所有，禁止商业用途转载。【原创不易，请尊重版权】

其他方法转载请注明出处：www.tangshuang.net

【关注微信公众号：wwwtangshuangnet】原创内容，盗版必究。【作者：唐霜】

silent/Silent【未经授权禁止转载】

安静模式，仅对HelloType.exp本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】ect.to.match有效，直接使用容【关注微信公众号：wwwtangshuangnet】未经授权，禁止复制转载。器不会生效。所谓安静模式，意思是不通过t【版权所有，侵权必究】【原创内容，转载请注明出处】hrow TypeError终止进程，但转载请注明出处：www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】是抛出错误。

原创内容，盗版必究。转载请注明出处：www.tangshuang.net【作者：唐霜】

HelloType.silent = true
HelloType.expect(obj).to.match(SomeType) // 如果不匹配，不会报错中断进程，而是console.error打印错误，且不会阻断程序

从这点上讲，只有expect.to.ma【原创不易，请尊重版权】未经授权，禁止复制转载。tch、define里面的不通过情况下可转载请注明出处：www.tangshuang.net【本文首发于唐霜的博客】以使用silent模式。因此，你在想使用著作权归作者所有，禁止商业用途转载。未经授权，禁止复制转载。安静模式的时候，要选对方法。当安静模式开【版权所有，侵权必究】未经授权，禁止复制转载。启时，expect.to.match不会转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。阻断进程，因此，你也可以利用这点做些动作著作权归作者所有，禁止商业用途转载。【本文受版权保护】。

【本文受版权保护】【未经授权禁止转载】未经授权，禁止复制转载。

Silent和silent是一模一样的，未经授权，禁止复制转载。【转载请注明来源】只是为了编程习惯，提供大小写区分而已。

【本文首发于唐霜的博客】【作者：唐霜】本文作者：唐霜，转载请注明出处。

注意：安静模式是全局的，一旦你设置了He本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。lloType.silent为true，本文版权归作者所有，未经授权不得转载。未经授权，禁止复制转载。其他任何你使用HelloType.exp转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。ect.to.match的地方都会被改变本文版权归作者所有，未经授权不得转载。【本文受版权保护】为安静模式，因此，你必须确定是不是要全局【未经授权禁止转载】【版权所有】唐霜 www.tangshuang.net开启安静模式。如果不是，建议你从正确的H原创内容，盗版必究。著作权归作者所有，禁止商业用途转载。elloType方法中挑选使用。

【本文受版权保护】【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.net

bind【本文受版权保护】

本文版权归作者所有，未经授权不得转载。本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。【原创不易，请尊重版权】

当你使用辅助器的时候，有的时候，你想传入本文版权归作者所有，未经授权不得转载。【关注微信公众号：wwwtangshuangnet】一个函数，用来捕获任何可能出现的报错。这【未经授权禁止转载】【转载请注明来源】个时候，你可以使用bind来绑定一个函数本文作者：唐霜，转载请注明出处。本文版权归作者所有，未经授权不得转载。：

const fn = (error) => {
  saveToCacheStore(error)
}
HelloType.bind(fn)

当你在使用expect.to.match【原创内容，转载请注明出处】未经授权，禁止复制转载。或者使用define的时候，运行过程中由【原创内容，转载请注明出处】本文版权归作者所有，未经授权不得转载。于数据和类型不匹配抛出错误时，但fn会运【版权所有】唐霜 www.tangshuang.net【转载请注明来源】行。这样，无论你是否在安静模式下，都可以转载请注明出处：www.tangshuang.net【版权所有】唐霜 www.tangshuang.net获得错误信息，并把它记录在本地，以备之后未经授权，禁止复制转载。转载请注明出处：www.tangshuang.net做分析。

unbind本文版权归作者所有，未经授权不得转载。

本文版权归作者所有，未经授权不得转载。【本文首发于唐霜的博客】【访问 www.tangshuang.net 获取更多精彩内容】【作者：唐霜】【转载请注明来源】

unbind是bind的反函数，用以直接本文作者：唐霜，转载请注明出处。本文作者：唐霜，转载请注明出处。解除fn的绑定。解绑之后，抛出错误时，这【未经授权禁止转载】【转载请注明来源】个函数就不会执行了。

Error【作者：唐霜】

【原创不易，请尊重版权】【原创不易，请尊重版权】【原创内容，转载请注明出处】未经授权，禁止复制转载。

这是整个HelloType里面最隐性的一【未经授权禁止转载】【转载请注明来源】个部分，开发者在默认情况下不会用到Hel【访问 www.tangshuang.net 获取更多精彩内容】【版权所有】唐霜 www.tangshuang.netloType.Error，但是实际上，每著作权归作者所有，禁止商业用途转载。【作者：唐霜】次接收到HelloType默认抛出的错误【版权所有，侵权必究】本文作者：唐霜，转载请注明出处。时，错误的类型都是它。HelloType转载请注明出处：www.tangshuang.net原创内容，盗版必究。.Error是基于TypeError的错著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.net误对象扩展，它具备非常高级的功能，因此，本文作者：唐霜，转载请注明出处。【本文受版权保护】在自定义一个Rule的时候，建议返回He【原创内容，转载请注明出处】【访问 www.tangshuang.net 获取更多精彩内容】lloType.Error的实例，这样才【转载请注明来源】【关注微信公众号：wwwtangshuangnet】能发挥HelloType的最大功能。

引入和使用【作者：唐霜】

想要使用HelloTypeError很简【作者：唐霜】【本文首发于唐霜的博客】单，通过包引入即可：

【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.net

import HelloType from 'hello-type'

这样之后，你就可以像使用js原生的Err【访问 www.tangshuang.net 获取更多精彩内容】【转载请注明来源】or一样使用HelloType.Erro【本文首发于唐霜的博客】【关注微信公众号：wwwtangshuangnet】r。

原创内容，盗版必究。未经授权，禁止复制转载。【本文受版权保护】转载请注明出处：www.tangshuang.net

let err = new HelloType.Error(message)

秘密【作者：唐霜】

未经授权，禁止复制转载。【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。

traces【未经授权禁止转载】

【转载请注明来源】转载请注明出处：www.tangshuang.net【未经授权禁止转载】【本文首发于唐霜的博客】

和普通Error不同，HelloType著作权归作者所有，禁止商业用途转载。【版权所有，侵权必究】.Error是为HelloType服务的【原创内容，转载请注明出处】转载请注明出处：www.tangshuang.net，在HelloType中，必须追踪到错误著作权归作者所有，禁止商业用途转载。转载请注明出处：www.tangshuang.net发生的具体路径，因此，当一个错误产生时，本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.net追踪信息就至关重要。而这些追踪信息，不仅未经授权，禁止复制转载。【未经授权禁止转载】能得到错误发生时的基本信息，而且具体是什本文作者：唐霜，转载请注明出处。【原创不易，请尊重版权】么值发生了错误，都可以通过检查error【版权所有，侵权必究】本文作者：唐霜，转载请注明出处。.traces得到。有兴趣的你，可以打印【未经授权禁止转载】转载请注明出处：www.tangshuang.net出来看看。

let error = HelloType.catch(some).by(SomeType)
if (error) {
  console.log(error.traces)
}

addtrace(traceinfo)本文版权归作者所有，未经授权不得转载。

著作权归作者所有，禁止商业用途转载。【转载请注明来源】著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。

但是，如果一个普通用户，想要独立使用He【作者：唐霜】原创内容，盗版必究。lloType.Error时，就可以使用著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.neterror.addtrace来在trac【访问 www.tangshuang.net 获取更多精彩内容】【作者：唐霜】es链中添加一个追踪记录，添加使用的是u本文版权归作者所有，未经授权不得转载。【本文受版权保护】nshift，因此新增的记录被加在整个链【作者：唐霜】【原创内容，转载请注明出处】条的最前面。这是由于我们在使用trace【原创不易，请尊重版权】【访问 www.tangshuang.net 获取更多精彩内容】s的时候，其实它是一个自下而上冒泡的过程【原创不易，请尊重版权】【访问 www.tangshuang.net 获取更多精彩内容】。总之，最后，traces这个数组记录了【访问 www.tangshuang.net 获取更多精彩内容】未经授权，禁止复制转载。从错误发生的位置，到最外层的追踪，以此可【原创内容，转载请注明出处】【访问 www.tangshuang.net 获取更多精彩内容】以知道到底是型式的哪个位置发生了问题。

【作者：唐霜】【作者：唐霜】著作权归作者所有，禁止商业用途转载。未经授权，禁止复制转载。【本文首发于唐霜的博客】

error.addtrace({
  key: 'name',
  value: 'tomy',
})

message转载请注明出处：www.tangshuang.net

未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】【关注微信公众号：wwwtangshuangnet】

而message和普通的Error不同，转载请注明出处：www.tangshuang.net本文作者：唐霜，转载请注明出处。普通的Error传入的message就是本文作者：唐霜，转载请注明出处。【访问 www.tangshuang.net 获取更多精彩内容】最后Error抛出的错误信息。但是Hel本文作者：唐霜，转载请注明出处。转载请注明出处：www.tangshuang.netloType.Error的message【本文首发于唐霜的博客】本文作者：唐霜，转载请注明出处。高级很多，它支持{插值}。

let error = new HelloType.Error('{name} is wrong.', {
  name: 'tomy',
})

而最终message内容展示出什么内容，本文作者：唐霜，转载请注明出处。【本文受版权保护】summary才是message的值的来本文作者：唐霜，转载请注明出处。著作权归作者所有，禁止商业用途转载。源。这就非常好玩了，有了这样的功能，那么【本文首发于唐霜的博客】【关注微信公众号：wwwtangshuangnet】message的内容就可以根据trace【本文首发于唐霜的博客】本文作者：唐霜，转载请注明出处。信息发生变化。因此，在创建一个error【版权所有】唐霜 www.tangshuang.net转载请注明出处：www.tangshuang.net的时候，最好是可以提前通过插值来安排你的未经授权，禁止复制转载。【原创不易，请尊重版权】消息。

本文作者：唐霜，转载请注明出处。【转载请注明来源】【本文受版权保护】

let error = new HelloType.Error('{stack} at {line}:{column}')

error.addtrace({
  stack: 'type error',
  line: 10,
  column: 20,
})

console.log(error.message)

summary【访问 www.tangshuang.net 获取更多精彩内容】

而将所有的traces整理之后，就是su【本文受版权保护】未经授权，禁止复制转载。mmary。你可以通过直接读取error【作者：唐霜】本文作者：唐霜，转载请注明出处。.summary来得到摘要信息，这些信息原创内容，盗版必究。【访问 www.tangshuang.net 获取更多精彩内容】将被用作构建message的材料，你可以原创内容，盗版必究。【版权所有，侵权必究】直接在message中使用它们。它有几个原创内容，盗版必究。转载请注明出处：www.tangshuang.net非常有用的属性：keyPath、shou【原创内容，转载请注明出处】【原创不易，请尊重版权】ld、receive。

keyPath 用来获取相对于被验证对象本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。，发生错误的位置。

未经授权，禁止复制转载。

【原创内容，转载请注明出处】

本文版权归作者所有，未经授权不得转载。

should 表示这个位置应该是一个什么【原创内容，转载请注明出处】原创内容，盗版必究。类型的数据（摘要）。

【本文受版权保护】

【原创不易，请尊重版权】

未经授权，禁止复制转载。

receive 表示这个位置实际接收到的【本文首发于唐霜的博客】本文版权归作者所有，未经授权不得转载。数据（摘要值，字符串表示）

【原创内容，转载请注明出处】

【本文受版权保护】

本文作者：唐霜，转载请注明出处。

转载请注明出处：www.tangshuang.net

value 表示这个位置上给的真实值是什本文版权归作者所有，未经授权不得转载。【未经授权禁止转载】么（原始值）。

【作者：唐霜】

未经授权，禁止复制转载。

【原创内容，转载请注明出处】

stack 堆栈信息。【本文首发于唐霜的博客】

著作权归作者所有，禁止商业用途转载。

【转载请注明来源】

未经授权，禁止复制转载。

本文作者：唐霜，转载请注明出处。

research 获取用以分析对应的ke【版权所有】唐霜 www.tangshuang.net本文版权归作者所有，未经授权不得转载。yPath上更为完整的规则信息，这些信息本文版权归作者所有，未经授权不得转载。【转载请注明来源】虽然都可以从traces中提炼出来，但是【版权所有，侵权必究】【原创内容，转载请注明出处】你可以在message中使用{resea【转载请注明来源】【作者：唐霜】rch}就打印这些信息

本文作者：唐霜，转载请注明出处。

【访问 www.tangshuang.net 获取更多精彩内容】

console.log(error.summary.stack)

因为对于输出的message而言，由于考【版权所有】唐霜 www.tangshuang.net【转载请注明来源】虑到输出结果的长度和一些敏感性问题，sh本文作者：唐霜，转载请注明出处。【原创内容，转载请注明出处】ould和receive输出的都是摘要信本文版权归作者所有，未经授权不得转载。未经授权，禁止复制转载。息，它会对原始信息进行简单处理，例如截取【未经授权禁止转载】【版权所有，侵权必究】字符串、省略object的属性值、只显示原创内容，盗版必究。【作者：唐霜】数组的长度等。

【本文受版权保护】【未经授权禁止转载】【本文首发于唐霜的博客】

rule 所在位置的规则【未经授权禁止转载】

【未经授权禁止转载】

【本文首发于唐霜的博客】

type 所在位置的类型【本文首发于唐霜的博客】

原创内容，盗版必究。

【关注微信公众号：wwwtangshuangnet】

著作权归作者所有，禁止商业用途转载。

本文作者：唐霜，转载请注明出处。

【关注微信公众号：wwwtangshuangnet】

translate(message, r【本文首发于唐霜的博客】【关注微信公众号：wwwtangshuangnet】eplace)

【原创内容，转载请注明出处】【转载请注明来源】本文作者：唐霜，转载请注明出处。

不过，一般情况下，HelloType抛出本文版权归作者所有，未经授权不得转载。【版权所有，侵权必究】的错误，都是提前预设好了message的本文版权归作者所有，未经授权不得转载。本文版权归作者所有，未经授权不得转载。。下文会讲怎么修改默认的message，【原创不易，请尊重版权】本文版权归作者所有，未经授权不得转载。但是，如果你在得到一个error的时候，【访问 www.tangshuang.net 获取更多精彩内容】著作权归作者所有，禁止商业用途转载。又不想用它默认的message，想在特殊本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。情况下，提供特殊的message信息。这本文作者：唐霜，转载请注明出处。【本文首发于唐霜的博客】个时候，可以使用error的transl【版权所有】唐霜 www.tangshuang.net著作权归作者所有，禁止商业用途转载。ate方法：

let msg = error.translate('{keyPath}不在{receive}中。')
console.log(msg)

这样，你就可以利用error的summa【原创不易，请尊重版权】【原创内容，转载请注明出处】ry来得到一个新的message信息，在本文作者：唐霜，转载请注明出处。未经授权，禁止复制转载。特殊情况下，返回特殊文本体现。具体的案例【关注微信公众号：wwwtangshuangnet】【关注微信公众号：wwwtangshuangnet】，你可以看下我github上exampl转载请注明出处：www.tangshuang.net著作权归作者所有，禁止商业用途转载。es目录下的例子。

它的第二个参数是一个Boolean变量，未经授权，禁止复制转载。【访问 www.tangshuang.net 获取更多精彩内容】当设置为true时，表示经过transl著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。ate之后，替换掉原始的error.me【本文受版权保护】【原创不易，请尊重版权】ssage，下一次你再读取error.m【未经授权禁止转载】本文版权归作者所有，未经授权不得转载。essage将会是经过translate未经授权，禁止复制转载。【未经授权禁止转载】之后的内容。

【本文首发于唐霜的博客】【访问 www.tangshuang.net 获取更多精彩内容】转载请注明出处：www.tangshuang.net原创内容，盗版必究。

error.translate('{keyPath}不在{receive}中。', true)
console.log(error.message)

messages【关注微信公众号：wwwtangshuangnet】

【本文受版权保护】未经授权，禁止复制转载。【原创不易，请尊重版权】【原创内容，转载请注明出处】【关注微信公众号：wwwtangshuangnet】

修改HelloType内置的错误提示语。本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。HelloType的所有错误提示语位于e【原创不易，请尊重版权】【版权所有，侵权必究】rror.js里面，你可以阅读源码，查阅【原创内容，转载请注明出处】著作权归作者所有，禁止商业用途转载。所有可以修改的提示语信息。通过messa【原创不易，请尊重版权】【版权所有】唐霜 www.tangshuang.netges方法，传入一个对象，用来覆盖默认提【版权所有】唐霜 www.tangshuang.net本文版权归作者所有，未经授权不得转载。示语。提示语里面支持{插值}，但是每个提著作权归作者所有，禁止商业用途转载。【版权所有】唐霜 www.tangshuang.net示语的插值是固定的，请查看源码了解。例如【转载请注明来源】【本文受版权保护】你可以这样：

转载请注明出处：www.tangshuang.net【原创内容，转载请注明出处】原创内容，盗版必究。【转载请注明来源】

HelloType.Error.messages.refuse = '{keyPath}不符合类型{should}，接收到的是{receive}。'

【未经授权禁止转载】【原创不易，请尊重版权】未经授权，禁止复制转载。【原创内容，转载请注明出处】【关注微信公众号：wwwtangshuangnet】

【未经授权禁止转载】

【本文受版权保护】

本文作者：唐霜，转载请注明出处。

dirty 长度不符合，例如参数长度不符本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。合，数组（严格模式）长度不符合，对象（严著作权归作者所有，禁止商业用途转载。【访问 www.tangshuang.net 获取更多精彩内容】格模式）属性数量不符合，支持keyPat转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.neth, research, stack, 原创内容，盗版必究。本文作者：唐霜，转载请注明出处。length。length表示应该接收的【本文受版权保护】【版权所有，侵权必究】长度。

转载请注明出处：www.tangshuang.net

【原创不易，请尊重版权】

overflow 属性溢出，主要是严格模本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。式下出现了多余的对象属性，支持keyPa【转载请注明来源】【访问 www.tangshuang.net 获取更多精彩内容】th, research, stack,【版权所有，侵权必究】【访问 www.tangshuang.net 获取更多精彩内容】 keys。keys表示支持的属性名，不【版权所有，侵权必究】【本文首发于唐霜的博客】在这些keys中间的key表示是溢出的。

未经授权，禁止复制转载。

著作权归作者所有，禁止商业用途转载。

【原创内容，转载请注明出处】

missing 属性缺失，主要是对象缺少本文版权归作者所有，未经授权不得转载。【原创不易，请尊重版权】了某个属性，支持keyPath, res【本文受版权保护】【作者：唐霜】earch, stack。

【本文受版权保护】

【原创内容，转载请注明出处】

【访问 www.tangshuang.net 获取更多精彩内容】

结束语本文版权归作者所有，未经授权不得转载。

以上就是有关HelloType的所有使用【访问 www.tangshuang.net 获取更多精彩内容】【关注微信公众号：wwwtangshuangnet】方法，当然，有一些隐性的东西我不会透露出【版权所有，侵权必究】原创内容，盗版必究。来，因为有些方法并不常用，或者不应该用，【转载请注明来源】【版权所有，侵权必究】有兴趣的读者可以自己去阅读源码是怎么实现本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】的。

转载请注明出处：www.tangshuang.net【原创不易，请尊重版权】【作者：唐霜】原创内容，盗版必究。

HelloType是我花了一个周末时间写【版权所有，侵权必究】【访问 www.tangshuang.net 获取更多精彩内容】完的，但后面陆续又花了几周把最终的形态确本文版权归作者所有，未经授权不得转载。【关注微信公众号：wwwtangshuangnet】定下来，可以说是这段时间在api数据检查【访问 www.tangshuang.net 获取更多精彩内容】【原创不易，请尊重版权】过程中拼命挣扎的结果。

本文版权归作者所有，未经授权不得转载。【访问 www.tangshuang.net 获取更多精彩内容】【未经授权禁止转载】著作权归作者所有，禁止商业用途转载。著作权归作者所有，禁止商业用途转载。

我在自己的博客中提到过，开源的真正意义，【原创不易，请尊重版权】未经授权，禁止复制转载。不是在于提供一款免费的产品，而是在于提供【本文受版权保护】【原创不易，请尊重版权】一种问题的解决思路，给其他人去参考。都说【关注微信公众号：wwwtangshuangnet】著作权归作者所有，禁止商业用途转载。开发中不要重复造轮子，但是由于开源协议，【本文首发于唐霜的博客】本文作者：唐霜，转载请注明出处。或者具体某个需求的不确定性，改造轮子是很未经授权，禁止复制转载。著作权归作者所有，禁止商业用途转载。正常的事，我觉得“不要重复造轮子”是说，未经授权，禁止复制转载。未经授权，禁止复制转载。不应该为了解决前人已经解决过的问题，从零【本文受版权保护】【版权所有】唐霜 www.tangshuang.net开始思考，构建一套自己的实现，而应该站在原创内容，盗版必究。原创内容，盗版必究。巨人肩膀上，直接把前人解决问题的思维方式【本文受版权保护】【访问 www.tangshuang.net 获取更多精彩内容】甚至思路借鉴过来，在此基础上，再去实现具【原创内容，转载请注明出处】【本文受版权保护】体需求。一味的拒绝使用别人的代码（思路）【本文受版权保护】【未经授权禁止转载】或一味的否定拒绝使用别人的代码我认为都是【关注微信公众号：wwwtangshuangnet】转载请注明出处：www.tangshuang.net不合理的。最近红芯浏览器内核的事闹的沸沸本文作者：唐霜，转载请注明出处。【本文受版权保护】扬扬，我觉得可能是整个业界的一种自卑心态转载请注明出处：www.tangshuang.net转载请注明出处：www.tangshuang.net。实际上，任何一项技术，都是站在前人的肩【版权所有，侵权必究】【版权所有】唐霜 www.tangshuang.net膀上获得成功，chrome内核也用了很多原创内容，盗版必究。未经授权，禁止复制转载。别人的东西，做一款基于Chrome内核的【转载请注明来源】【原创内容，转载请注明出处】浏览器是没有什么错的，只不过在推广的时候著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。，打上一些“首款自主研发”这样的词汇，不【本文受版权保护】【未经授权禁止转载】免让人觉得是在骗国家的钱。好了，这种吐槽【访问 www.tangshuang.net 获取更多精彩内容】本文版权归作者所有，未经授权不得转载。也没有太大意义，只希望读者能够从Hell未经授权，禁止复制转载。【原创内容，转载请注明出处】oType项目中得到一点启发，根据自己的转载请注明出处：www.tangshuang.net本文版权归作者所有，未经授权不得转载。需要获取需要的部分。

【未经授权禁止转载】转载请注明出处：www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】著作权归作者所有，禁止商业用途转载。著作权归作者所有，禁止商业用途转载。

【转载请注明来源】【作者：唐霜】著作权归作者所有，禁止商业用途转载。原创内容，盗版必究。【访问 www.tangshuang.net 获取更多精彩内容】【转载请注明来源】【版权所有，侵权必究】【本文受版权保护】本文版权归作者所有，未经授权不得转载。著作权归作者所有，禁止商业用途转载。【转载请注明来源】未经授权，禁止复制转载。【未经授权禁止转载】原创内容，盗版必究。原创内容，盗版必究。著作权归作者所有，禁止商业用途转载。本文作者：唐霜，转载请注明出处。原创内容，盗版必究。【本文受版权保护】本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。【版权所有，侵权必究】转载请注明出处：www.tangshuang.net【版权所有】唐霜 www.tangshuang.net【原创不易，请尊重版权】本文作者：唐霜，转载请注明出处。【访问 www.tangshuang.net 获取更多精彩内容】【版权所有】唐霜 www.tangshuang.net【未经授权禁止转载】【原创不易，请尊重版权】【版权所有】唐霜 www.tangshuang.net【版权所有，侵权必究】【版权所有】唐霜 www.tangshuang.net本文版权归作者所有，未经授权不得转载。【原创内容，转载请注明出处】未经授权，禁止复制转载。本文作者：唐霜，转载请注明出处。【本文受版权保护】【本文受版权保护】未经授权，禁止复制转载。未经授权，禁止复制转载。【本文受版权保护】本文版权归作者所有，未经授权不得转载。原创内容，盗版必究。【版权所有，侵权必究】转载请注明出处：www.tangshuang.net【访问 www.tangshuang.net 获取更多精彩内容】【原创内容，转载请注明出处】未经授权，禁止复制转载。转载请注明出处：www.tangshuang.net【转载请注明来源】本文作者：唐霜，转载请注明出处。未经授权，禁止复制转载。未经授权，禁止复制转载。【原创不易，请尊重版权】本文版权归作者所有，未经授权不得转载。本文作者：唐霜，转载请注明出处。原创内容，盗版必究。【关注微信公众号：wwwtangshuangnet】【版权所有】唐霜 www.tangshuang.net【本文受版权保护】

如果你觉得本书对你有帮助，通过下方的二维码向我打赏吧，帮助我写出更多有用的内容。

2018-08-26 | HelloType, 数据类型, 类型检查

已有20条评论

sunflower 2019-03-08 20:37

目前有个问题就是，后端正常返回对象，降级返回[]，就会有问题

回复
sunflower 2019-03-08 20:26

如果是多种类型校验，既可以是对象，也可以是数组

回复
- 否子戈 2019-03-08 22:50
  
  灵活运用各个方法，才能得到你想要到结果，例如使用Enum，IfNotMatch等，总之，HelloType是一个非常灵活的系统，你需要在实际使用的时候根据自己的情况选择不同的方式来创建规则。
  
  回复
  - sunflower 2019-03-10 14:47
    
    const DistType = Dict({
        name: String,
        age: Number
      })
      const SomeType = {
        ret: Number,
        data: IfNotMatch(DistType, [])
      }
      const some = {
        ret: 1,
        data: []
      }
    
      HelloType.expect(some).to.match(SomeType)
    Enum不太适合，IfNotMatch没有实现，如果传入空数组，不报错，感觉实现不了我的需求
    
    回复
    - 否子戈 2019-03-10 22:01
      
      你具体要实现什么目的？
      
      回复
      - sunflower 2019-03-11 10:08
        
        可以是两种数据结构，对象或者数组，DIct || LIst ，能实现吗
      - 否子戈 2019-03-11 10:11
        
        Enum(Dict, List)
qte 2019-01-04 17:01

用了一下今天，我发现必须显式声明HelloType.Slient = true;
不然我的chrome console里没有任何内容（另外slient拼错了）。
另外使用上，把trace放在快速入门demo更明显的位置会比较好吧，match的返回值也应该强调下（个人建议）。

回复
- 否子戈 2019-01-04 22:19
  
  感谢指出单词拼写错误！！！
  不过你指出的无法打印错误的情况我没遇到，可否将你的用法贴出来看下
  
  回复
sunflower 2019-01-01 16:29

打印错误的时候能打印后端传递的整个对象吗

回复
- 否子戈 2019-01-01 16:36
  
  为了避免敏感数据问题，输出的错误提示中去掉了一些东西，不过你可以在检验的时候自己获取error，然后读取error.summary来得到更丰富的信息。
  另外，你的具体使用场景是怎样？可以把代码贴出来，我看看有没有什么更好的办法。
  
  回复
  - sunflower 2019-01-02 10:26
    
    helloType.expect(resData).to.match(shopqueryType) 能error能打印整个后端对象resData详情信息吗？目前好像只能自己记录了，是吗
    
    回复
    - 否子戈 2019-01-02 10:29
      
      所有的error都有一个summary属性，可以打出来看，注意看文档
      
      回复
    - 否子戈 2019-01-02 10:31
      
      另外，你后端都整个response是你都入参啊，不需要再到HelloType里面去打印，直接打印出来就可以了
      
      回复
      - sunflower 2019-01-02 10:34
        
        我现在就是要在错误的时候记录，后端返回的整个对象，方便记录，error. summary好像并不能满足
      - 否子戈 2019-01-02 11:15
        
        HelloType.track(resData).by(shopqueryType).with(error => {
        console.error(error.translate(‘后台返回数据 {keyPath} 应该是 {should} ，后台返回数据为：’), resData)
        })
        
        方法有很多，看你怎么去用error的用法参考 https://www.tangshuang.net/5625.html#title-9-2
玲玲 2018-12-27 18:09

如果发现类型不对，能实现自动转化吗

回复
- 否子戈 2018-12-27 18:11
  
  可以用IfNotMatch试试
  
  回复
  - 玲玲 2018-12-27 20:25
    
    IfNotMatch(String) 第二个参数是默认值转了
    
    回复
    - 否子戈 2018-12-27 23:29
      
      没明白你意思
      
      回复

HelloType使用手册

前言未经授权，禁止复制转载。

基础概念原创内容，盗版必究。

原型 prototype原创内容，盗版必究。

容器 Type【关注微信公众号：wwwtangshuangnet】

型式 pattern转载请注明出处：www.tangshuang.net

规则 Rule本文版权归作者所有，未经授权不得转载。

小结【本文受版权保护】

快速入门著作权归作者所有，禁止商业用途转载。

包的安装和使用【原创内容，转载请注明出处】

创建类型检查容器【访问 www.tangshuang.net 获取更多精彩内容】

对API数据进行检查【版权所有】唐霜 www.tangshuang.net

Type【转载请注明来源】

constructor【本文受版权保护】

assert【本文首发于唐霜的博客】

test【作者：唐霜】

catch【未经授权禁止转载】

track.with转载请注明出处：www.tangshuang.net

trace.with【原创不易，请尊重版权】

严格模式未经授权，禁止复制转载。

扩展数据类型著作权归作者所有，禁止商业用途转载。

Dict 字典【版权所有，侵权必究】

extends【未经授权禁止转载】

extract【版权所有】唐霜 www.tangshuang.net

List 列表【版权所有，侵权必究】

Enum 枚举【关注微信公众号：wwwtangshuangnet】

Tuple 元组未经授权，禁止复制转载。

Range 域值【原创不易，请尊重版权】

自定义类型【关注微信公众号：wwwtangshuangnet】

Rule【访问 www.tangshuang.net 获取更多精彩内容】

constructor【版权所有，侵权必究】

Null、Undefined、Any【关注微信公众号：wwwtangshuangnet】

Numeric著作权归作者所有，禁止商业用途转载。

内置规则本文作者：唐霜，转载请注明出处。

IfExists本文版权归作者所有，未经授权不得转载。

InstanceOf【原创不易，请尊重版权】

Equal转载请注明出处：www.tangshuang.net

IfNotMatch【关注微信公众号：wwwtangshuangnet】

IfExistsNotMatch未经授权，禁止复制转载。

Lambda【本文首发于唐霜的博客】

Validate：自定义消息未经授权，禁止复制转载。

Determine：条件选择【原创内容，转载请注明出处】

Async【关注微信公众号：wwwtangshuangnet】

ShouldMatch：同时满足多个【未经授权禁止转载】

DetermineExists未经授权，禁止复制转载。

规则嵌套本文作者：唐霜，转载请注明出处。

HelloType辅助器转载请注明出处：www.tangshuang.net

expect.to.match转载请注明出处：www.tangshuang.net

catch.by未经授权，禁止复制转载。

track.by.with【作者：唐霜】

trace.by.with【访问 www.tangshuang.net 获取更多精彩内容】

is.typeof【原创内容，转载请注明出处】

is.of【版权所有】唐霜 www.tangshuang.net

decorate本文作者：唐霜，转载请注明出处。

with【版权所有】唐霜 www.tangshuang.net

input.with【原创不易，请尊重版权】

output.with【本文首发于唐霜的博客】

小结【版权所有，侵权必究】

define原创内容，盗版必究。

其他方法转载请注明出处：www.tangshuang.net

silent/Silent【未经授权禁止转载】

bind【本文受版权保护】

unbind本文版权归作者所有，未经授权不得转载。

Error【作者：唐霜】

引入和使用【作者：唐霜】

秘密【作者：唐霜】

traces【未经授权禁止转载】

addtrace(traceinfo)本文版权归作者所有，未经授权不得转载。

message转载请注明出处：www.tangshuang.net

summary【访问 www.tangshuang.net 获取更多精彩内容】

translate(message, r【本文首发于唐霜的博客】【关注微信公众号：wwwtangshuangnet】eplace)

messages【关注微信公众号：wwwtangshuangnet】

结束语本文版权归作者所有，未经授权不得转载。