TypeScript 运行时类型检查补充工具
TypeScript是静态类型系统,在编译时做类型检查。一般而言,如果项目所用到的所有库、模块都是基于ts的,那么静态类型已经可以避免大部分编程层面的类型问题。不过,在一些场景下来,单纯静态类型是无法解决问题的,部分数据是动态传入到系统中的,主要包含场景如下:
- 第三方数据源(接口API、本地持久化存储、postMessage等)
- 第三方调用者传参
- 全局状态变更
当然,还有其他可能,总之,单纯靠静态类型检查,无法解决运行时类型问题。因此,我写了tyshemo这个工具。它可以帮助我们完成运行时的类型检查。它暴露了很多接口,其中的Ty接口,很适合在js中作为ts的补充被使用,我们来看下。
import { Ty } from 'tyshemo' @Ty.decorate.with([Number, Number]) class Some { constructor(a, b) { this.x = a + b } @Ty.decorate.with(String) name = 'calc' @Ty.decorate.with([Number], Number) plus(y) { return this.x + y } } const some = new Some(1, 3) // ok const some2 = new Some('1', '3') // throw error some.name = 'ooo' // ok some.name = 123 // throw error const z = some.plus(2) // ok const z1 = some.plus('3') // throw error
我们可以通过 Ty.decorate.with() 作为装饰器来限定一个类上属性的值类型,方法的参数和返回值类型。
在正常的程序中,我们有的时候也需要对值进行限定,但是由于js语言的特性,我们无法对基础类型的值进行监听,不过我们可以对object进行监听。我们可以如下操作:
const o = process.env.NODE_ENV === 'production' ? {} : Ty.decorate({}).with({ name: String, age: Number, }) o.name = null // throw error o.name = 'aaa' // ok o.age = '12' // throw error o.age = 12 // ok
通过 process.env.NODE_ENV === 'production' 来控制当前环境,如果在正式环境,就不需要这个能力,毕竟我们在测试环境已经做过充分验证了。
要对来自API的数据进行检查,我们可以这样操作。
function getData(url) { return fetch(url).then(res => res()).then((data) => { if (process.env.NODE_ENV !== 'production') { Ty.expect(data).to.be({ name: String, age: Number, }) } return data }) }
Ty 这个接口可以快速对数据进行结构化检查。tyshemo还有很多其他方面的能力,可以在它的文档中了解更多。
到此这篇关于TypeScript 运行时类型检查补充工具的文章就介绍到这了,更多相关TypeScript 运行时类型检查内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!
相关推荐
-
JavaScript的public、private和privileged模式
Summary 私有变量 在对象内部使用'var'关键字来声明,而且它只能被私有函数和特权方法访问. 私有函数 在对象的构造函数里声明(或者是通过var functionName=function(){...}来定义),它能被特权函数调用(包括对象的构造函数)和私有函数调用. 特权方法 通过this.methodName=function(){...}来声明而且可能被对象外部的代码调用.它可以使用:this.特权函数() 方式来调用特权函数,使用 :私有函数()方式来调用私有函数. 公共属性 通
-
你不知道的 TypeScript 高级类型(小结)
前言 对于有 JavaScript 基础的同学来说,入门 TypeScript 其实很容易,只需要简单掌握其基础的类型系统就可以逐步将 JS 应用过渡到 TS 应用. // js const double = (num) => 2 * num // ts const double = (num: number): number => 2 * num 然而,当应用越来越复杂,我们很容易把一些变量设置为 any 类型,TypeScript 写着写着也就成了 AnyScript.为了让大家能更加深入
-
详解JavaScript私有类字段和TypeScript私有修饰符
JavaScript私有类字段和隐私需求 在过去,JavaScript 没有保护变量不受访问的原生机制,当然除非是典型闭包. 闭包是 JavaScript 中许多类似于私有模式(如流行的模块模式)的基础.但是,近年来 ECMAScript 2015 类被使用后,开发人员感到需要对类成员的隐私进行更多控制. 类字段提案(在撰写本文时处于第 3 阶段)试图通过引入私有类字段来解决问题. 让我们看看它们是什么样子的. 一个 JavaScript 私有类字段的例子 这是一个带有私有字段的 JavaScr
-
javascript中定义私有方法说明(private method)
一度以为在javascript的世界里,所有方法都是公有的,无法真正从技术上定义一个私有方法,今天又一次发现:其实我错了! 复制代码 代码如下: var Person = function(name,sex){ this.name = name; this.sex = sex; var _privateVariable = "";//私有变量 //构造器中定义的方法,即为私有方法 function privateMethod()
-
JS中的public和private对象,即static修饰符
复制代码 代码如下: //重新封装document对象 var Console={ Write:function(msg){alert(msg);} }; //Person对象 var Person={ _name:"zzl", //static public _age:28, PrintInfo:function(){Console.Write("name:"+Person._name+",age:"+this._age);} //public
-
浅析TypeScript 命名空间
TypeScript 是 JavaScript 的一个超集,支持 ECMAScript 6 标准. TypeScript 由微软开发的自由和开源的编程语言. TypeScript 设计目标是开发大型应用,它可以编译成纯 JavaScript,编译出来的 JavaScript 可以运行在任何浏览器上. 命名空间一个最明确的目的就是解决重名问题. 假设这样一种情况,当一个班上有两个名叫小明的学生时,为了明确区分它们,我们在使用名字之外,不得不使用一些额外的信息,比如他们的姓(王小明,李小明),或者他
-
Vue 使用typescript如何优雅的调用swagger API
Swagger 是一个规范和完整的框架,用于生成.描述.调用和可视化 RESTful 风格的 Web 服务,后端集成下Swagger,然后就可以提供一个在线文档地址给前端同学. 前端如何优雅的调用呢? 入门版 根据文档,用axios自动来调用 // 应用管理相关接口 import axios from '../interceptors.js' // 获取应用列表 export const getList = (data) => { return axios({ url: '/app/list?s
-
JS装饰者模式和TypeScript装饰器
装饰者模式介绍 装饰者模式(Decorator Pattern)也称为装饰器模式,在不改变对象自身的基础上,动态增加额外的职责.属于结构型模式的一种. 使用装饰者模式的优点:把对象核心职责和要装饰的功能分开了.非侵入式的行为修改. 举个例子来说,原本长相一般的女孩,借助美颜功能,也能拍出逆天的颜值.只要善于运用辅助的装饰功能,开启瘦脸,增大眼睛,来点磨皮后,咔嚓一拍,惊艳无比. 经过这一系列叠加的装饰,你还是你,长相不增不减,却能在镜头前增加了多重美.如果你愿意,还可以尝试不同的装饰风格,只要装
-
详解TypeScript中的类型保护
概述 在 TypeScript 中使用联合类型时,往往会碰到这种尴尬的情况: interface Bird { // 独有方法 fly(); // 共有方法 layEggs(); } interface Fish { // 独有方法 swim(); // 共有方法 layEggs(); } function getSmallPet(): Fish | Bird { // ... } let pet = getSmallPet(); pet.layEggs(); // 正常 pet.swim();
-
TypeScript 运行时类型检查补充工具
TypeScript是静态类型系统,在编译时做类型检查.一般而言,如果项目所用到的所有库.模块都是基于ts的,那么静态类型已经可以避免大部分编程层面的类型问题.不过,在一些场景下来,单纯静态类型是无法解决问题的,部分数据是动态传入到系统中的,主要包含场景如下: 第三方数据源(接口API.本地持久化存储.postMessage等) 第三方调用者传参 全局状态变更 当然,还有其他可能,总之,单纯靠静态类型检查,无法解决运行时类型问题.因此,我写了tyshemo这个工具.它可以帮助我们完成运行时的类型
-
Python静态类型检查新工具之pyright 使用指南
Python是一门动态类型的语言,民间流传一种说法叫"动态一时爽,重构火葬场",听起来够吓人的,好在这门语言在不断地改进,包括对 PEP484 引入的类型提示(Type Hint),就是在某种程度上,让Python能够像静态语言一样支持类型声明,例如: def greeting(name: str) -> str: return 'Hello ' + name 这就意味着,如果有人调用 greeting函数的时候,传入的参数不是字符串,你用静态类型检查工具一下就能查出来哪些地方没
-
C++运行时类型识别与转换实现方法
目录 1.运行时类型转换 2.typeid操作符 2.1类型转换到中间层次类型 2.2void型指针 2.3运用带模板的RTTI 3.多重继承 4.合理使用RTTI 5.RTTI的机制和开销 6.小结 当仅有一个指针或引用指向基类型时,利用运行时类型识别(RTTI)可以找到一个对象的动态类型. 运行时类型识别可能被认为是C++中一个”次要“的特征,当程序员在编程过程中陷入非常困难的境地时,实用主义将会帮助他走出困境.正常情况下,程序员需要有意忽略对象的准确类型,而利用虚函数机制实现那个类型正确操
-
Java进阶教程之运行时类型识别RTTI机制
运行时类型识别(RTTI, Run-Time Type Identification)是Java中非常有用的机制,在Java运行时,RTTI维护类的相关信息. 多态(polymorphism)是基于RTTI实现的.RTTI的功能主要是由Class类实现的. Class类 Class类是"类的类"(class of classes).如果说类是对象的抽象和集合的话,那么Class类就是对类的抽象和集合. 每一个Class类的对象代表一个其他的类.比如下面的程序中,Class类的对象c1代
-
举例讲解Java的RTTI运行时类型识别机制
1.RTTI: 运行时类型信息可以让你在程序运行时发现和使用类型信息. 在Java中运行时识别对象和类的信息有两种方式:传统的RTTI,以及反射.下面就来说下RTTI. RTTI:在运行时,识别一个对象的类型.但是这个类型在编译时必须已知. 下面通过一个例子来看下RTTI的使用.这里涉及到了多态的概念:让代码只操作基类的引用,而实际上调用具体的子类的方法,通常会创建一个具体的对象(Circle,Square,或者Triangle,见下例),把它向上转型为Shape(忽略了对象的具体类型),并在后
-
c++ 完备的运行时类型信息(动态类型信息)
众所周知,码猿写代码,自然要求严谨周密,殊不知想象力也很重要.本座阅码几十年,很是感概很多码猿的脑洞被大大禁锢,鲜有人能越雷池一步,特别是c++的同学,连同委员会的那一坨老头子,都很让人无语至极,出自这些人的作品,都是一个死鱼眼睛样子,千人一面,毫无灵动之生趣可言.stl,boost这些库都是这样子(虽然它们确实可以完成大多数日常任务),更别说其他的库,没有什么让人耳目一新之处. 就说说动态类型信息这块,又或者说是反射.自然,语言本身提供的废物type_info就懒得说了,除了证明c++也东施效
-
Java编译时类型与运行时类型
目录 1.定义 2.实例说明 3.注意点 1. 定义 多态性是指相同类型的变量在调用同一个方法时,呈现出多种不同的行为特征. 2. 实例说明 在SubClass.java文件中存在两个类:一个是父类BaseClass,另一个是子类SubClass(继承自BaseClass类). class BaseClass{ public int book = 6; public void base(){ System.out.println("父类的普通方法");
-
TypeScript与JavaScript对比及打包工具比较
目录 TypeScript (TS) 和 JavaScript (JS) 对比: 性能详细说明: ts打包工具对比 ts-loader @rollup/plugin-typescrip swc swc在webpack或vite项目中使用 TypeScript (TS) 和 JavaScript (JS) 对比: 类型系统: TypeScript 是一种静态类型的语言,这意味着变量必须在声明时指定类型,这种类型信息在编译时会被检查,从而可以捕捉类型错误.相比之下,JavaScript 是一种动态类
-
java编译时与运行时概念与实例详解
Java编译时与运行时很重要的概念,但是一直没有明晰,这次专门博客写明白概念. 基础概念 编译时 编译时顾名思义就是正在编译的时候.那啥叫编译呢?就是编译器帮你把源代码翻译成机器能识别的代码.(当然只是一般意义上这么说,实际上可能只是翻译成某个中间状态的语言.比如Java只有JVM识别的字节码,.另外还有啥链接器.汇编器.为了了便于理解我们可以统称为编译器) 那编译时就是简单的作一些翻译工作,比如检查老兄你有没有粗心写错啥关键字了啊.有啥词法分析,语法分析之类的过程.就像个老师检查学生的作文中有
-
TypeScript类型检查详谈及火爆原因
目录 让我们先思考一个问题:类型是什么? 动态类型检查 静态类型检查 总结 TypeScript 这些年越来越火,可以说是前端工程师的必备技能了,各大框架都基于它实现. 那么,TypeScript 的出现和爆火是偶然发生的吗?其实不是,类似 TypeScript 这种静态类型语言成为主流是必然会发生的.为什么这么说呢? 让我们先思考一个问题:类型是什么? 类型具体点来说就是指 number.boolean.string 等基础类型和 Object.Function 等复合类型,它们是编程语言提供
随机推荐
- ORACLE 如何查询被锁定表及如何解锁释放session
- sqlserver 2000数据库同步 同步两个SQLServer数据库的内容
- JavaScript 关于元素获取焦点(隐藏元素与div)
- asp.net Request.ServerVariables[] 读解
- 一个不错的可以检测多中浏览器的函数和其它功能第1/2页
- python回调函数的使用方法
- JavaScript中的this关键字使用方法总结
- Ajax基础详解教程(二)
- Dos下日期时间的引用实现代码
- CentOS7按时间段截取指定的Tomcat日志到指定文件的方法
- SQL处理多级分类,查询结果呈树形结构
- C++ 实现求最大公约数和最小公倍数
- js特效,页面下雪的小例子
- spring boot 1.5.4 web容器定制(端口号等修改)方法
- java模仿windows计算器示例
- 路由技术介绍
- React Native 截屏组件的示例代码
- 利用Hyperic调用Python实现进程守护
- 关于前端ajax请求的优雅方案(http客户端为axios)
- 简单了解django缓存方式及配置