TypeScript 不是凭空存在的。 它从 JavaScript 生态系统和大量现存的 JavaScript 而来。 将 JavaScript 代码转换成 TypeScript 虽乏味却不是难事。 接下来这篇教程将教你怎么做。 在开始转换 TypeScript 之前,我们假设你已经理解了足够多本手册里的内容。
如果你打算要转换一个 React 工程,推荐你先阅读React 转换指南。
如果你在写纯 JavaScript,你大概是想直接运行这些 JavaScript 文件, 这些文件存在于src
,lib
或dist
目录里,它们可以按照预想运行。
若如此,那么你写的纯 JavaScript 文件将做为 TypeScript 的输入,你将要运行的是 TypeScript 的输出。 在从 JS 到 TS 的转换过程中,我们会分离输入文件以防 TypeScript 覆盖它们。 你也可以指定输出目录。
你可能还需要对 JavaScript 做一些中间处理,比如合并或经过 Babel 再次编译。 在这种情况下,你应该已经有了如下的目录结构。
那么现在,我们假设你已经设置了这样的目录结构:
projectRoot
├── src
│ ├── file1.js
│ └── file2.js
├── built
└── tsconfig.json
如果你在src
目录外还有tests
文件夹,那么在src
里可以有一个tsconfig.json
文件,在tests
里还可以有一个。
TypeScript 使用tsconfig.json
文件管理工程配置,例如你想包含哪些文件和进行哪些检查。 让我们先创建一个简单的工程配置文件:
{
"compilerOptions": {
"outDir": "./built",
"allowJs": true,
"target": "es5"
},
"include": [
"./src/**/*"
]
}
这里我们为 TypeScript 设置了一些东西:
- 读取所有可识别的
src
目录下的文件(通过include
)。 - 接受 JavaScript 做为输入(通过
allowJs
)。 - 生成的所有文件放在
built
目录下(通过outDir
)。 - 将 JavaScript 代码降级到低版本比如 ECMAScript 5(通过
target
)。
现在,如果你在工程根目录下运行tsc
,就可以在built
目录下看到生成的文件。 built
下的文件应该与src
下的文件相同。 现在你的工程里的 TypeScript 已经可以工作了。
现在你已经可以看到 TypeScript 带来的好处,它能帮助我们理解当前工程。 如果你打开像VS Code或Visual Studio这样的编译器,你就能使用像自动补全这样的工具。 你还可以配置如下的选项来帮助查找 BUG:
noImplicitReturns
会防止你忘记在函数末尾返回值。noFallthroughCasesInSwitch
会防止在switch
代码块里的两个case
之间忘记添加break
语句。
TypeScript 还能发现那些执行不到的代码和标签,你可以通过设置allowUnreachableCode
和allowUnusedLabels
选项来禁用。
在你的构建管道中可能包含多个步骤。 比如为每个文件添加一些内容。 每种工具的使用方法都是不同的,我们会尽可能的包涵主流的工具。
如果你在使用时髦的 Gulp,我们已经有一篇关于使用 Gulp结合 TypeScript 并与常见构建工具 Browserify,Babelify 和 Uglify 进行集成的教程。 请阅读这篇教程。
Webpack 集成非常简单。 你可以使用awesome-typescript-loader
,它是一个 TypeScript 的加载器,结合source-map-loader
方便调试。 运行:
npm install awesome-typescript-loader source-map-loader
并将下面的选项合并到你的webpack.config.js
文件里:
module.exports = {
entry: './src/index.ts',
output: {
filename: './dist/bundle.js',
},
// Enable sourcemaps for debugging webpack's output.
devtool: 'source-map',
resolve: {
// Add '.ts' and '.tsx' as resolvable extensions.
extensions: ['', '.webpack.js', '.web.js', '.ts', '.tsx', '.js'],
},
module: {
loaders: [
// All files with a '.ts' or '.tsx' extension will be handled by 'awesome-typescript-loader'.
{ test: /\.tsx?$/, loader: 'awesome-typescript-loader' },
],
preLoaders: [
// All output '.js' files will have any sourcemaps re-processed by 'source-map-loader'.
{ test: /\.js$/, loader: 'source-map-loader' },
],
},
// Other options...
};
要注意的是,awesome-typescript-loader
必须在其它处理.js
文件的加载器之前运行。
这与另一个 TypeScript 的 Webpack 加载器ts-loader是一样的。 你可以到这里了解两者之间的差别。
你可以在React 和 Webpack 教程里找到使用 Webpack 的例子。
到目前为止,你已经做好了使用 TypeScript 文件的准备。 第一步,将.js
文件重命名为.ts
文件。 如果你使用了 JSX,则重命名为.tsx
文件。
第一步达成? 太棒了! 你已经成功地将一个文件从 JavaScript 转换成了 TypeScript!
当然了,你可能感觉哪里不对劲儿。 如果你在支持 TypeScript 的编辑器(或运行tsc --pretty
)里打开了那个文件,你可能会看到有些行上有红色的波浪线。 你可以把它们当做在 Microsoft Word 里看到的红色波浪线一样。 但是 TypeScript 仍然会编译你的代码,就好比 Word 还是允许你打印你的文档一样。
如果对你来说这种行为太随便了,你可以让它变得严格些。 如果,你不想在发生错误的时候,TypeScript 还会被编译成 JavaScript,你可以使用noEmitOnError
选项。 从某种意义上来讲,TypeScript 具有一个调整它的严格性的刻度盘,你可以将指针拔动到你想要的位置。
如果你计划使用可用的高度严格的设置,最好现在就启用它们(查看启用严格检查)。 比如,如果你不想让 TypeScript 将没有明确指定的类型默默地推断为any
类型,可以在修改文件之前启用noImplicitAny
。 你可能会觉得这有些过度严格,但是长期收益很快就能显现出来。
我们提到过,若不出所料,在转换后将会看到错误信息。 重要的是我们要逐一的查看它们并决定如何处理。 通常这些都是真正的 BUG,但有时必须要告诉 TypeScript 你要做的是什么。
首先你可能会看到一些类似Cannot find name 'require'.
和Cannot find name 'define'.
的错误。 遇到这种情况说明你在使用模块。 你仅需要告诉 TypeScript 它们是存在的:
// For Node/CommonJS
declare function require(path: string): any;
或
// For RequireJS/AMD
declare function define(...args: any[]): any;
最好是避免使用这些调用而改用 TypeScript 的导入语法。
首先,你要使用 TypeScript 的module
标记来启用一些模块系统。 可用的选项有commonjs
,amd
,system
,and umd
。
如果代码里存在下面的 Node/CommonJS 代码:
var foo = require('foo');
foo.doStuff();
或者下面的 RequireJS/AMD 代码:
define(['foo'], function (foo) {
foo.doStuff();
});
那么可以写做下面的 TypeScript 代码:
import foo = require('foo');
foo.doStuff();
如果你开始做转换到 TypeScript 导入,你可能会遇到Cannot find module 'foo'.
这样的错误。 问题出在没有声明文件来描述你的代码库。 幸运的是这非常简单。 如果 TypeScript 报怨像是没有lodash
包,那你只需这样做
npm install -S @types/lodash
如果你没有使用commonjs
模块模块选项,那么就需要将moduleResolution
选项设置为node
。
之后,你应该就可以导入lodash
了,并且会获得精确的自动补全功能。
通常来讲,由模块导出涉及添加属性到exports
或module.exports
。 TypeScript 允许你使用顶级的导出语句。 比如,你要导出下面的函数:
module.exports.feedPets = function (pets) {
// ...
};
那么你可以这样写:
export function feedPets(pets) {
// ...
}
有时你会完全重写导出对象。 这是一个常见模式,这会将模块变为可立即调用的模块:
var express = require('express');
var app = express();
之前你可以是这样写的:
function foo() {
// ...
}
module.exports = foo;
在 TypeScript 里,你可以使用export =
来代替。
function foo() {
// ...
}
export = foo;
有时你会发现你在调用一个具有过多或过少参数的函数。 通常,这是一个 BUG,但在某些情况下,你可以声明一个使用arguments
对象的函数而不需要写出所有参数:
function myCoolFunction() {
if (arguments.length == 2 && !Array.isArray(arguments[1])) {
var f = arguments[0];
var arr = arguments[1];
// ...
}
// ...
}
myCoolFunction(
function (x) {
console.log(x);
},
[1, 2, 3, 4]
);
myCoolFunction(
function (x) {
console.log(x);
},
1,
2,
3,
4
);
这种情况下,我们需要利用 TypeScript 的函数重载来告诉调用者myCoolFunction
函数的调用方式。
function myCoolFunction(f: (x: number) => void, nums: number[]): void;
function myCoolFunction(f: (x: number) => void, ...nums: number[]): void;
function myCoolFunction() {
if (arguments.length == 2 && !Array.isArray(arguments[1])) {
var f = arguments[0];
var arr = arguments[1];
// ...
}
// ...
}
我们为myCoolFunction
函数添加了两个重载签名。 第一个检查myCoolFunction
函数是否接收一个函数(它又接收一个number
参数)和一个number
数组。 第二个同样是接收了一个函数,并且使用剩余参数(...nums
)来表示之后的其它所有参数必须是number
类型。
有些人可能会因为代码美观性而喜欢先创建一个对象然后立即添加属性:
var options = {};
options.color = 'red';
options.volume = 11;
TypeScript 会提示你不能给color
和volumn
赋值,因为先前指定options
的类型为{}
并不带有任何属性。 如果你将声明变成对象字面量的形式将不会产生错误:
let options = {
color: 'red',
volume: 11,
};
你还可以定义options
的类型并且添加类型断言到对象字面量上。
interface Options {
color: string;
volume: number;
}
let options = {} as Options;
options.color = 'red';
options.volume = 11;
或者,你可以将options
指定成any
类型,这是最简单的,但也是获益最少的。
你可能会试图使用Object
或{}
来表示一个值可以具有任意属性,因为Object
是最通用的类型。 然而在这种情况下**any
是真正想要使用的类型**,因为它是最灵活的类型。
比如,有一个Object
类型的东西,你将不能够在其上调用toLowerCase()
。
越普通意味着更少的利用类型,但是any
比较特殊,它是最普通的类型但是允许你在上面做任何事情。 也就是说你可以在上面调用,构造它,访问它的属性等等。 记住,当你使用any
时,你会失去大多数 TypeScript 提供的错误检查和编译器支持。
如果你还是决定使用Object
和{}
,你应该选择{}
。 虽说它们基本一样,但是从技术角度上来讲{}
在一些深奥的情况里比Object
更普通。
TypeScript 提供了一些检查来保证安全以及帮助分析你的程序。 当你将代码转换为了 TypeScript 后,你可以启用这些检查来帮助你获得高度安全性。
在某些情况下 TypeScript 没法确定某些值的类型。 那么 TypeScript 会使用any
类型代替。 这对代码转换来讲是不错,但是使用any
意味着失去了类型安全保障,并且你得不到工具的支持。 你可以使用noImplicitAny
选项,让 TypeScript 标记出发生这种情况的地方,并给出一个错误。
默认地,TypeScript 把null
和undefined
当做属于任何类型。 这就是说,声明为number
类型的值可以为null
和undefined
。 因为在 JavaScript 和 TypeScript 里,null
和undefined
经常会导致 BUG 的产生,所以 TypeScript 包含了strictNullChecks
选项来帮助我们减少对这种情况的担忧。
当启用了strictNullChecks
,null
和undefined
获得了它们自己各自的类型null
和undefined
。 当任何值可能为null
,你可以使用联合类型。 比如,某值可能为number
或null
,你可以声明它的类型为number | null
。
假设有一个值 TypeScript 认为可以为null
或undefined
,但是你更清楚它的类型,你可以使用!
后缀。
declare var foo: string[] | null;
foo.length; // error - 'foo' is possibly 'null'
foo!.length; // okay - 'foo!' just has type 'string[]'
要当心,当你使用strictNullChecks
,你的依赖也需要相应地启用strictNullChecks
。
当你在类的外部使用this
关键字时,它会默认获得any
类型。 比如,假设有一个Point
类,并且我们要添加一个函数做为它的方法:
class Point {
constructor(public x, public y) {}
getDistance(p: Point) {
let dx = p.x - this.x;
let dy = p.y - this.y;
return Math.sqrt(dx ** 2 + dy ** 2);
}
}
// ...
// Reopen the interface.
interface Point {
distanceFromOrigin(point: Point): number;
}
Point.prototype.distanceFromOrigin = function (point: Point) {
return this.getDistance({ x: 0, y: 0 });
};
这就产生了我们上面提到的错误 - 如果我们错误地拼写了getDistance
并不会得到一个错误。 正因此,TypeScript 有noImplicitThis
选项。 当设置了它,TypeScript 会产生一个错误当没有明确指定类型(或通过类型推断)的this
被使用时。 解决的方法是在接口或函数上使用指定了类型的this
参数:
Point.prototype.distanceFromOrigin = function (this: Point, point: Point) {
return this.getDistance({ x: 0, y: 0 });
};