基于JSON模式的TypeScript类型验证器介绍

需积分: 13 0 下载量 129 浏览量 更新于2024-11-30 收藏 27KB ZIP 举报
资源摘要信息:"type-validation-ts:一个易于使用的基于JSON模式和类型防护的TypeScript类型验证器" 知识点一:TypeScript类型验证器的作用 TypeScript类型验证器主要是用于在编译阶段对TypeScript代码中的变量类型进行检查,确保变量的类型与声明的类型一致,避免在运行时出现类型错误。而基于JSON模式的类型验证器则可以将TypeScript类型转为JSON模式,从而实现对JSON数据的类型验证。 知识点二:type-validation-ts的主要功能 type-validation-ts是一个基于JSON模式和类型防护的TypeScript类型验证器。它的主要功能包括:从TypeScript类型生成JSON模式,然后根据这些模式生成类型保护函数,用于保护具有这些模式的未知对象。例如,定义一个接口HelloWorld,然后可以生成一个验证器函数isHelloWorld,如果传入的data符合HelloWorld接口定义的类型,就可以安全地访问data.foo和data.bar。 知识点三:TypeScript中的interface和function TypeScript中的interface可以用来定义一个对象的结构,规定对象必须有哪些属性以及属性的数据类型。function则是用来定义一个函数,可以接受一些参数,执行一些操作,然后返回结果。 知识点四:如何使用type-validation-ts 要使用type-validation-ts,首先需要创建一个TypeScript文件,在其中导出需要生成验证器的所有类型。例如,可以导出接口Foo和Bar。然后,使用type-validation-ts工具,它会根据这些导出的类型生成对应的JSON模式和验证器函数。 知识点五:TypeScript的类型系统 TypeScript的类型系统非常强大,可以显式声明变量、函数返回值、对象属性的类型,也可以通过类型断言、泛型等方式来提高代码的复用性和减少运行时错误。type-validation-ts就是利用了TypeScript的类型系统,通过生成JSON模式和验证器函数来实现对数据的类型验证。 知识点六:TypeScript中的类型防护 类型防护是TypeScript中的一个重要概念,它允许我们编写类型安全的代码。通过类型防护,我们可以确保在运行时不会出现类型错误,从而提高代码的稳定性和可靠性。type-validation-ts就是通过生成类型防护函数来实现这一点的。 知识点七:JSON模式的应用 JSON模式是一种描述JSON数据结构的语言,它可以用来验证JSON数据是否符合预期的格式。在TypeScript中,我们可以使用JSON模式来描述对象的结构,然后通过类型验证器来确保数据符合这个结构。这不仅可以提高代码的安全性,还可以提高代码的可维护性。
2018-08-30 上传
package com.lsm.util; import java.text.CharacterIterator; import java.text.StringCharacterIterator; /** * 用于校验一个字符串是否是合法的JSON格式 * @author liShuMin * */ public class JsonValidator { private CharacterIterator it; private char c; private int col; public JsonValidator(){ } /** * 验证一个字符串是否是合法的JSON串 * * @param input 要验证的字符串 * @return true-合法 ,false-非法 */ public boolean validate(String input) { input = input.trim(); boolean ret = valid(input); return ret; } private boolean valid(String input) { if ("".equals(input)) return true; boolean ret = true; it = new StringCharacterIterator(input); c = it.first(); col = 1; if (!value()) { ret = error("value", 1); } else { skipWhiteSpace(); if (c != CharacterIterator.DONE) { ret = error("end", col); } } return ret; } private boolean value() { return literal("true") || literal("false") || literal("null") || string() || number() || object() || array(); } private boolean literal(String text) { CharacterIterator ci = new StringCharacterIterator(text); char t = ci.first(); if (c != t) return false; int start = col; boolean ret = true; for (t = ci.next(); t != CharacterIterator.DONE; t = ci.next()) { if (t != nextCharacter()) { ret = false; break; } } nextCharacter(); if (!ret) error("literal " + text, start); return ret; } private boolean array() { return aggregate('[', ']', false); } private boolean object() { return aggregate('{', '}', true); } private boolean aggregate(char entryCharacter, char exitCharacter, boolean prefix) { if (c != entryCharacter) return false; nextCharacter(); skipWhiteSpace(); if (c == exitCharacter) { nextCharacter(); return true; } for (;;) { if (prefix) { int start = col; if (!string()) return error("string", start); skipWhiteSpace(); if (c != ':') return error("colon", col); nextCharacter(); skipWhiteSpace(); } if (value()) { skipWhiteSpace(); if (c == ',') { nextCharacter(); } else if (c == exitCharacter) { break; } else { return error("comma or " + exitCharacter, col); } } else { return error("value", col); } skipWhiteSpace(); } nextCharacter(); return true; } private boolean number() { if (!Character.isDigit(c) && c != '-') return false; int start = col; if (c == '-') nextCharacter(); if (c == '0') { nextCharacter(); } else if (Character.isDigit(c)) { while (Character.isDigit(c)) nextCharacter(); } else { return error("number", start); } if (c == '.') { nextCharacter(); if (Character.isDigit(c)) { while (Character.isDigit(c)) nextCharacter(); } else { return error("number", start); } } if (c == 'e' || c == 'E') { nextCharacter(); if (c == '+' || c == '-') { nextCharacter(); } if (Character.isDigit(c)) { while (Character.isDigit(c)) nextCharacter(); } else { return error("number", start); } } return true; } private boolean string() { if (c != '"') return false; int start = col; boolean escaped = false; for (nextCharacter(); c != CharacterIterator.DONE; nextCharacter()) { if (!escaped && c == '\\') { escaped = true; } else if (escaped) { if (!escape()) { return false; } escaped = false; } else if (c == '"') { nextCharacter(); return true; } } return error("quoted string", start); } private boolean escape() { int start = col - 1; if (" \\\"/bfnrtu".indexOf(c) < 0) { return error("escape sequence \\\",\\\\,\\/,\\b,\\f,\\n,\\r,\\t or \\uxxxx ", start); } if (c == 'u') { if (!ishex(nextCharacter()) || !ishex(nextCharacter()) || !ishex(nextCharacter()) || !ishex(nextCharacter())) { return error("unicode escape sequence \\uxxxx ", start); } } return true; } private boolean ishex(char d) { return "0123456789abcdefABCDEF".indexOf(c) >= 0; } private char nextCharacter() { c = it.next(); ++col; return c; } private void skipWhiteSpace() { while (Character.isWhitespace(c)) { nextCharacter(); } } private boolean error(String type, int col) { System.out.printf("type: %s, col: %s%s", type, col, System.getProperty("line.separator")); return false; } public static void main(String[] args){ //String jsonStr = "{\"website\":\"oschina.net\"}"; String jsonStr = "{" + " \"ccobjtypeid\": \"1001\"," + " \"fromuser\": \"李四\"," + " \"touser\": \"张三\"," + " \"desc\": \"描述\"," + " \"subject\": \"主题\"," + " \"attach\": \"3245,3456,4345,4553\"," + " \"data\": {" + " \"desc\": \"测试对象\"," + " \"dataid\": \"22\"," + " \"billno\": \"TEST0001\"," + " \"datarelation\":[" + " {" + " \"dataname\": \"关联对象1\"," + " \"data\": [" + " {" + " \"dataid\": \"22\"," + " \"datalineid\": \"1\"," + " \"content1\": \"test1\"," + " \"content2\": \"test2\"" + " }" + " ]" + " }" + " ]" + " }" + " }"; System.out.println(jsonStr+":"+new JsonValidator().validate(jsonStr)); } }