澳门新葡亰平台游戏网站TypeScript学习笔记

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

博客园首发,转载请注明出处,多谢支持。

与JS对比

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

 

优点:

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

一、TypeScript      

1 ts是js的一个超集,兼容js,可以载入JS代码然后运行。

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

     
TypeScript是一种由微软开发的自由和开源的编程语言。它是JavaScript的一个超集,兼容JavaScript,可以载入JS代码然后运行。它与JavaScript相比进步的地方包括:加入注释,让编译器理解所支持的对象和函数,编译器会移除注释,不会增加开销。
而JavaScript只是一个脚本语言,并非设计用于开发大型 Web
应用,JavaScript 没有提供类和模块的概念,而TypeScript扩展实现了这些特性。

2 加入注释,让编译器理解所支持的对象和函数,编译器会移除注释,不会增加开销。

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

  它扩展了 JavaScript 的语法,因此现有的JavaScript代码可与其代码一起工作无需任何修改,它通过类型注解提供编译时的静态类型检查。TypeScript可处理已有的JavaScript代码,并只对其中的TypeScript代码进行编译。

3 通过类型注解提供编译时的静态类型检查。

一、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'.

  TypeScript 最大的特点就是类型化,因此才叫做TypeScript。比起弱类型的JavaScript,类型化的TypeScript显得更加容易维护。

4 ts
最大的特点就是类型化,因此才叫做TypeScript。比起弱类型的js,类型化的TypeScript显得更加容易维护

二、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

  要在应用中使用 TypeScript 必须先编译,编译的结果是生成 js
文件,你可通过 TypeScript 编译器 tsc 命令来完成这个过程。如要编译test.ts(TypeScript文件的扩展名为.ts),可用如下命令:

 

三、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》。

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

tsc test.ts 

语法特点:

     编译完成后就会在当前目录生成名为test.js的文件。

1.声明变量类型

   
 注:不要将TypeScript看作是一门新的语言,它只是为了提升JavaScript代码质量的一个工具,最终TypeScript仍然要编译成JavaScript。

通过var关键字 变量名后面+冒号 + 数据类型来指定

var name: string = "bob";

var list: number[] = [1, 2, 3];
var name: string[] = ["阿龙","阿猫","阿狗"];

var arr:Array = [1,2,3,"a","b","c"]; // 任意类型数组

var list: any[] = [1, true, "free"];

二、Hello World

2.enum

     前面我们介绍了什么是TypeScript,那我们就先来看一个经典的程序Hello
World。代码如下:

enum Color {
  Red,   //枚举元素列表
  Green,
  Blue
};
var c: Color = Color.Green;
<script type="text/typescript">
  var hw:string="Hello World!";     //定义一个字符串变量
  document.write(<h1>"+hw+"</h1>);  //将结果显示在页面上,这句话是不是很熟悉呢。
</script>

3.函数

   
 看到这里同学们是不是感觉很熟悉,没有错,就是这样,我们可以把javascript的代码用到TypeScript里面运行。同学们也看到上面的代码是写在script标签中,注意其中的类型是typescript。如果想在页面上直接编译看到结果,还需要引用typescript.min.js与typescript.compile.min.js。如下代码:

可选参数:在参数名后面,冒号前面添加一个问号,则表明该参数是可选的。
function buildName(firstName: string, lastName?: string) {}//lastName为可选参数

默认参数:在参数名后直接给定一个值,如果这个值没有被传入,那么将会被赋值为默认值。
function buildName(firstName: string, lastName = "Smith") {}
<html>
<head>
  <title>demo</title>
</head>
<body>
  <script type="text/typescript">
     // TypeScript代码
  </script>
  <script src="lib/typescript.min.js"></script>
  <script src="lib/typescript.compile.min.js"></script>
</body>
</html>

4.类

三、对比

class 类名{
  name:string;  //定义类的属性

  fun(){ //定义了一个无返回值的方法
           //定义该方法所要实现的功能
  }
  say():string{ //定义返回值类型为string的方法
           //定义该方法所要实现的功能
         return "返回值"; // 用return关键字返回函数值
  }
}

   
 我们先写一个TypeScript的例子,如下代码,定义一个学生类(在后面的内容中介绍),然后调用:

5.接口

class Student{
   name:string;
   age:number;
}
var s1=new Student();
s1.name="Jim";
s1.age=20;
document.write("name:"+s1.name+" age:"+s1.age);
在TypeScript中,接口是用作约束作用的,在编译成JavaScript的时候,所有的接口都会被擦除掉,因为 JavaScript中并没有接口这一概念。TypeScript中接口是用关键字interface进行声明

interface LabelledValue { //定义接口
  label: string;          //定义属性
}

//在 TypeScript 中,我们可以使用接口来约束方法的签名。
interface SearchFunc {  
  (source: string, subString: string): boolean; //定义一个匿名方法
}

var mySearch: SearchFunc;
mySearch = function(source: string, subString: string) {  //实现接口
  var result = source.search(subString);  //调用系统方法search查找字符串的位置
  if (result == -1) {
    return false;
  }
  else {
    return true;
  }
}

//约束数组类型
interface StringArray { //定义数组接口
  [index: number]: string;  //每个数组元素的类型
}

var myArray: StringArray; 
myArray = ["Bob", "Fred"];

//约束class类型
interface IPrint{
  print();
}

class A implements IPrint  { //实现接口
  print(){  //实现接口中的方法
      document.write("实现接口");
  }
}

var B=new A();  
B.print();

//接口继承
interface Shape {
    color: string;
}

interface PenStroke {
    penWidth: number;
}

interface Square extends Shape, PenStroke {
    sideLength: number;
}
//需要注意的是,尽管支持继承多个接口,但是如果继承的接口中,定义的同名属性的类型不同的话,是不能编译通过的。如下代码:
interface Shape {
    color: string;
    test: number;
}

interface PenStroke extends Shape{
    penWidth: number;
    test: string;
}

     我们再来看用TypeScript编译以后的JavaScript代码:

备注:

var Student = (function () {
    function Student() {
    }
    return Student;
})();
var s1 = new Student();
s1.name = "Jim";
s1.age = 20;
document.write("name:" + s1.name + " age:" + s1.age);

1 使用 ts 必须先编译,编译的结果是生成 js
文件,你可通过 TypeScript编译器 tsc 命令来完成这个过程。

   
 通过对代码的对比,是不是感觉TypeScript代码更简洁,更好理解,更易于维护。是不是感觉与C#,Java,C++类似。

2:不要将TypeScript看作是一门新的语言,它只是为了提升JavaScript代码质量的一个工具,最终TypeScript仍然要编译成JavaScript。

四、类型

在线编译链接:

    TypeScript 的基本数据类型 有boolean、number 、string 、 array 、
enum 、any 、void。首先我们要讲的是boolen。

   
最基本的数据类型是简单的真/假值,其中JavaScript和TypeScript(以及其他语言)称之为“布尔值”。在JavaScript中变量的定义是通过var关键字来完成,而在TypeScript中变量的定义格式为:

通过var关键字 变量名后面+冒号 + 数据类型来指定

    1.如定义一个boolen的变量:

var isDone: boolean = false;

   
2.用在JS与TS中的所有数值都是浮点型,而在TS中我们定义他们为“number”型。例如:声明一个number类型的变量如下代码:

var isNumber:number=6;
var isfloat:number=6.01;

   
3.string代表字符串,跟 JavaScript 一样,可以使用一对双引号(“)或一对单引号(‘)来表示字符串。例如:

var name: string = "bob";
var family_name: string = 'Green';

    4.TypeScript 中数组使用“[]”来声明,代码如下:

var list: number[] = [1, 2, 3];
var name: string[] = ["阿龙","阿猫","阿狗"];

alert(list[0]));


var arr:Array = [1,2,3,"a","b","c"]; // 任意类型数组关键字Array
alert(arr[1]);

   
5.枚举类型是 TypeScript 中新添加的,而 JavaScript 中是没有这个类型的。用关键字enum来声明。代码示例如下:

enum Color {
  Red,   //枚举元素列表
  Green,
  Blue
};
var c: Color = Color.Green;

   
6.任意类型,和 JavaScript 中变量的默认类型一样,指代是动态的,能够赋予任意类型。例如:

var notSure: any = 4;
notSure = "maybe a string instead";
notSure = false;  // 定义为boolen型

   
7.void,这个类型仅能在函数中使用,可以将函数的返回类型指定为 void,表示该函数不返回任何值。代码如下:

function warnUser(): void {
  alert("This is my warning message");
}

 

免费的互动练习和更多的入门学习内容放在这个页面上:

You can leave a response, or trackback from your own site.

Leave a Reply

网站地图xml地图