关闭 x
IT技术网
    技 采 号
    ITJS.cn - 技术改变世界
    • 实用工具
    • 菜鸟教程
    IT采购网 中国存储网 科技号 CIO智库

    IT技术网

    IT采购网
    • 首页
    • 行业资讯
    • 系统运维
      • 操作系统
        • Windows
        • Linux
        • Mac OS
      • 数据库
        • MySQL
        • Oracle
        • SQL Server
      • 网站建设
    • 人工智能
    • 半导体芯片
    • 笔记本电脑
    • 智能手机
    • 智能汽车
    • 编程语言
    IT技术网 - ITJS.CN
    首页 » JavaScript »强类型 JavaScript 的解决方案

    强类型 JavaScript 的解决方案

    2015-02-10 00:00:00 出处:Radware
    分享

    JavaScript 是一种弱类型(或称动态类型)语言,即变量的类型是不确定的。

    x = 5; // 5
    x = x + 'A'; // '5A'

    上面代码中,变量x起先是一个数值,后来是一个字符串,类型完全由当前的值决定,这就叫弱类型。

    弱类型的好处是十分灵活,可以写出非常简洁的代码。但是,对于大型项目来说,强类型更有利,可以降低系统的复杂度,在编译时就发现类型错误,减轻程序员的负担。

    一直有人尝试,让 JavaScript 变成强类型语言。在官方最终支持强类型之前,本文介绍三种现在就可用的解决方案。

    一、TypeScript

    TypeScript 是微软2012年推出的一种编程语言,属于 JavaScript 的超集,可以编译为 JavaScript 执行。 它的最大特点就是支持强类型和 ES6 Class。

    首先,安装TypeScript。

    $ npm install -g typescript

    然后,为变量指定类型。

    // greet.ts
    function greet(person: string) {
      console.log("Hello, " + person);
    }
    
    greet([0, 1, 2]);

    上面是文件 greet.ts 的代码,后缀名 ts 表明这是 TypeScript 的代码。函数 greet 的参数,声明类型为字符串,但在调用时,传入了一个数组。

    使用 tsc 命令将 ts 文件编译为 js 文件,就会抛出类型不匹配的错误。

    $ tsc greeter.ts
    greet.ts(5,9): error TS2345: Argument of type 'number[]'   
    is not assignable to parameter of type 'string'.

    二、Flowcheck

    Flowcheck 是一个轻量级的类型断言库,可以在运行时(runtime)检查变量类型是否正确。

    首先,安装Flowcheck。

    $ npm install -g flowcheck

    然后,编写一个声明了变量类型的脚本。

    function sum(a: number, b: number) {
      return a + b;
    }
    
    sum('hello','world')

    接着,使用下面的命令,将脚本转换为正常的 JavaScript 文件。

    $ browserify -t flowcheck -t [reactify --strip-types] 
    input.js -o output.js

    转换后的文件如下。

    var _f = require("flowcheck/assert");
    
    function sum(a, b) {
        _f.check(arguments, _f.arguments([_f.number, _f.number]));
      return a + b;
    }

    可以看到,代码中插入一个断言库。每次运行函数之前,会先执行断言,假如类型不符就报错。

    $ node output.js
    // throw new TypeError(message);
                ^
    TypeError: 
    
    Expected an instance of number got "hello",   
    context: arguments / [number, number] / 0
    
    Expected an instance of number got "world",  
    context: arguments / [number, number] / 1

    三、Flow

    Flow 是 Facebook 在2014年发布的一个类型检查工具,用来检查 React 的源码。

    安装命令如下。

    $ npm install --global flow-bin

    假如安装不成功(我就是如此),就需要自己从源码编译了。

    Flow 的用法很多,我只举几个例子。前文介绍的两种工具,只能检查声明了类型的变量,而 Flow 可以推断变量类型。

    // hello.js
    /* @flow */
    function foo(x) {
      return x*10;
    }
    foo("Hello, world!");

    上面是文件 hello.js ,该文件的第一行是注释,表明需要使用 Flow 检查变量类型。

    $ flow check
    hello.js:7:5,19: string
    This type is incompatible with
    /hello.js:4:10,13: number

    运行 flow check 命令,得到报错信息:预期函数 foo 的参数是一个数值,但是实际为一个字符串。

    Flow 也支持变量的类型声明。

    /* @flow */
    function foo(x: string, y: number): string {
      return x.length * y;
    }
    foo("Hello", 42);

    另一个有趣的功能是,Flow 可以将类型注释(annotation),转为类型声明。

    // annotation.js
    /**
      @param {number} x
      @return {number}
     */
    function square(x) {
      return x * x;
    }
    square(5);

    运行 flow port 命令,会得到下面的结果。

    $ flow port annotation.js
    function square(x: number) : number {
       return x * x;
     }

    Flow 的更多介绍,可以阅读《Exploring Flow, Facebook’s Type Checker for JavaScript》。

    本文的原始幻灯片点击这里(里面有更多内容)。

    上一篇返回首页 下一篇

    声明: 此文观点不代表本站立场;转载务必保留本文链接;版权疑问请联系我们。

    别人在看

    hiberfil.sys文件可以删除吗?了解该文件并手把手教你删除C盘的hiberfil.sys文件

    Window 10和 Windows 11哪个好?答案是:看你自己的需求

    盗版软件成公司里的“隐形炸弹”?老板们的“法务噩梦” 有救了!

    帝国CMS7.5编辑器上传图片取消宽高的三种方法

    帝国cms如何自动生成缩略图的实现方法

    Windows 12即将到来,将彻底改变人机交互

    帝国CMS 7.5忘记登陆账号密码怎么办?可以phpmyadmin中重置管理员密码

    帝国CMS 7.5 后台编辑器换行,修改回车键br换行为p标签

    Windows 11 版本与 Windows 10比较,新功能一览

    Windows 11激活产品密钥收集及专业版激活方法

    IT头条

    智能手机市场风云:iPhone领跑销量榜,华为缺席引争议

    15:43

    大数据算法和“老师傅”经验叠加 智慧化收储粮食尽显“科技范”

    15:17

    严重缩水!NVIDIA将推中国特供RTX 5090 DD:只剩24GB显存

    00:17

    无线路由大厂 TP-Link突然大裁员:补偿N+3

    02:39

    Meta 千万美金招募AI高级人才

    00:22

    技术热点

    微软已修复windows 7/windows 8.1媒体中心严重漏洞 用户可下载安

    卸载MySQL数据库,用rpm如何实现

    windows 7中使用网上银行或支付宝支付时总是打不开支付页面

    一致性哈希算法原理设计

    MySQL数字类型中的三种常用种类

    如何解决SQL Server中传入select语句in范围参数

      友情链接:
    • IT采购网
    • 科技号
    • 中国存储网
    • 存储网
    • 半导体联盟
    • 医疗软件网
    • 软件中国
    • ITbrand
    • 采购中国
    • CIO智库
    • 考研题库
    • 法务网
    • AI工具网
    • 电子芯片网
    • 安全库
    • 隐私保护
    • 版权申明
    • 联系我们
    IT技术网 版权所有 © 2020-2025,京ICP备14047533号-20,Power by OK设计网

    在上方输入关键词后,回车键 开始搜索。Esc键 取消该搜索窗口。