共计 1112 个字符，预计需要花费 3 分钟才能阅读完成。
Hello World of Generics
让我们以范型的 hello world：“identity 方法：开始着手。identity 方法是一个不论输入什么，输出都返回输入的方法。你可以把它看作和 echo 命令一样。
没有泛型的情况下，我们要没 identity 方法一个特地的类型：
function identity(arg: number): number {return arg;}
或者，我们可以使用 any 类型来描述 identity 方法：
function identiry(arg: number): any{
return arg;}
虽然使用 any 绝对是泛型，因为它使得这个方法可以接受任何类型。但是，当这个方法返回数据的时候，我们却丢失了返回值的类型。假如我们传入的是一个 number 类型，我们唯一的信息就是任何的类型都有可能被返回。
相反地，我们需要一种方法，这种方法既能获取参数的类型，又能标识返回类型。这里，我们需要用到 类型变量 ，一种特殊的变量，用于 类型 而不是值。
function identity<T>(arg: T): T {return arg;}现在，我们已经给 identity 方法加了一个类型变量 T。这个 T 允许我们获取用户提供的类型（例如：number），因为我们可以在稍后使用这个信息。这里，我们再次使用 T 作为返回类型。经考察，现在我们可以看到相同的类型被使用到了参数类型和返回类型。这允许我们一边传入类型信息，而在另一边传出类型信息。
我们说这个类型的 identity 方法是范型的，因为它适用于一系列的类型。和使用 any 不同，它和我们第一个使用 number 作为参数的方法一样精确（它不会丢失任何信息）。
一旦我们写好了 identity 方法，我们就可以以 2 种方式调用它。一种是传入所有的参数，包括类型参数：
let output = identity<string>('myString');//output 的类型会是 'string'
这里我们通过参数以 <> 而不是 () 围绕，显式地设置 T 的类型为 string 而作为方法调用的参数之一。
第二种方法或许是最常用的方法。这里我们使用类型参数推断 - 也就是我们想让编译器根据我们传入的参数类型来为我们推断出 T 的类型。
let output = identity('string');//output 的类型是 string
注意到我们不用显式地给尖括号 (<>) 里面传入类型；编译器只是查看 ’myString’ 的类型，然后把 T 设置为相同类型。虽然类型参数推断是一个使得我们的代码更短更可读的有用工具，但是在更复杂的例子里可能会发生编译器无法推断出类型的情况。在这种情况下，你就需要像我们在前一个例子里做的那样：显式地给类型参数传入类型。
