TypeScript入门三：TypeScript函数类型

• TypeScript函数类型
• TypeScript函数的参数
• TypeScript函数的this与箭头函数
• TypeScript函数重载

 一、TypeScript函数类型

 在上一篇博客中已经对声明TypeScript类型变量已经做了初步的解析，这里先回顾以下：

//声明函数
function add1(x:number,y:number):number{
  return x+y;
}

let add2 = function(x:number,y:number):number{
  return x + y;
}

//定义函数类型
type myAdd = (baseValue: number, increment: number) => number;
//根据函数类型声明函数变量
let myAdd1:myAdd = function(x:number,y:number) : number{
  return x + y;
}
let myAdd2:myAdd = function(x:number,y:number) : number{
  return x - y;
}

let hintStamp(str:string):void{
  console.log(str);
}

关于函数类型有一点需要注意，需要使用type关键字并使用等号"="赋值类型；如果使用let声明并使用冒号冒“：”表示的是声明一个函数变量，并且这个函数变量有指定的类型，这个变量不能作为函数类型，只能给它自己赋值指定类型的函数。

 二、TypeScript函数的参数

2.1 根据函数类型声明的函数变量，函数的实际参数名称可以不与函数类型的参数名称一致，这一点与对象类型Object的字段有点区别；

type myAdd = (baseValue: number, increment: number) => number;
let myAdd1:myAdd = function(a:number,b:number) : number{
  return a + b;
}
let myAdd2:myAdd = function(x:number,y:number) : number{
  return x - y;
}

2.2 可选参数与默认参数：

这部非内容在官方文档中有详细的说明，这里简要的解析以下，如果有不明白的建议查看官方文档。

可选参数意思就是函数的参数在实际调用函数时，可以不需要全部对应传入，但是在定义函数类型时，必须设定默认参数。

//示例：在定义函数类型时，给参数b设定了默认参数：'TypeScript'
function foo (a: string,b = 'TypeScript'): void{
  console.log(a + ':' + b);
}
foo('hello');//hello:TypeScript

设置了默认参数，就不需要设置参数的类型了，TypeScript的IDE会主动为我们推断出参数的类型，也就是默认值的类型，如果给可选参数传值就必须对应默认参数的类型。

除了设置既定的默认参数以外，还可以使用（参数名+？）的方式设置非特定参数，但是设置默认非特定参数需要设置默认参数的类型（参数名？：类型）。这种不设定特定值的可选参数，调用函数时不给这个可选参数传值的话就会默认为undefined。

//这是官方文档中的一个示例：
function buildName(firstName: string, lastName?: string) {
  if (lastName){
    
    return firstName + " " + lastName;
  }else{
    return firstName;
  }   
}

let result1 = buildName("Bob");  // works correctly now
console.log(result1);
let result2 = buildName("Bob", "Adams", "Sr.");  // error, too many parameters
let result3 = buildName("Bob", "Adams");  // ah, just right

2.3 剩余参数

关于剩余参数其本质就是ES6的收集（res）语法，使用"..."将多余的参数收集，但是TypeScript转换到ES5的js代码时还是需要使用arguments来实现，毕竟ES5版本中还没有收集（res）语法。详细可以了解ES6入门一：块级作用域(let&const)、spread展开、rest收集

function buildName(firstName: string, ...restOfName: string[]) {
  return firstName + " " + restOfName.join(" ");
}

let employeeName = buildName("Joseph", "Samuel", "Lucas", "MacKinzie");

但是需要注意，收集语法产生的数据必然是数组，所以必须使用数组类型。

 三、TypeScript函数的this与箭头函数

关于this指向在JavaScript中一直是比较容易被它击晕的一个知识点，不要担心，我这里有一篇博客包治百病：JavaScript中的this指向规则

当然ES6的相关语法产生的this指向规则变化这里也有：ES6入门五：箭头函数、函数与ES6新语法

当然好不了严格模式的this指向问题：JavaScript严格模式

TypeScript并不改变JavaScript的this指向规则，而是在IDE中提供了更友好的警告提示，这个功能需要在tsconfig.json中通过"noImplicitThis": true开启。我们知道在JavaScript中this指向规则是比较复杂的，而TypeScript也根据这些规则做出了相应的调整，这里关于TypeScript函数的this指向其实就是了解"noImplicitThis"给我们的提示规则是什么？

3.1 TypeScript对象返回函数中的this会警告提示：

let obj = {
  strs : ["aaa","bbb","ccc","ddd"],
  fun:function(){
    return function() { //这里会提示this出错，因为在严格模式下this可能为undefined，在TypeScript中IDE识别this类型为any，所以被认为可能出现undefined情况
      let index = Math.floor(Math.random() * this.strs.length);
      return this.strs[index];
    }
  }
}
var fun = obj.fun();
console.log(fun());

 这个问题可以使用箭头函数来解决：

let obj = {
  strs : ["aaa","bbb","ccc","ddd"],
  fun:function(){
    return () => { //通过箭头函数解决
      let index = Math.floor(Math.random() * this.strs.length);
      return this.strs[index];
    }
  }
}
var fun = obj.fun();
console.log(fun());

3.2 this作为函数参数，不会出现错误提示，这一点需要注意，因为在原生JavaScritp种这种写法会直接出现语法错误。例如示例中这样写：

function f(this:void){//这里你可以给形参任意TypeScript类型都不会报错
    //很遗憾这里并不会报错
}

这里有几方面的原因，严格模式下函数只执行内部this都是指向undefined，如果函数被对象调用this必然也就指向调用函数的对象。更关键的是被写在形参内的this根本就不会被TypeScript编译到原生js代码中，这里不报错其实是TypeScript将这个低级的错误帮你自动处理了，所以就静默了这个错误提示。

关于this作为参数在TypeScript中还有另一个功能，就是帮助函数维持this指向，例如官方这个示例：

interface Card {
    suit: string;
    card: number;
}
interface Deck {
    suits: string[];
    cards: number[];
    createCardPicker(this: Deck): () => Card;
}
let deck: Deck = {
    suits: ["hearts", "spades", "clubs", "diamonds"],
    cards: Array(52),
    // NOTE: The function now explicitly specifies that its callee must be of type Deck
    createCardPicker: function(this: Deck) {
        return () => {
            let pickedCard = Math.floor(Math.random() * 52);
            let pickedSuit = Math.floor(pickedCard / 13);

            return {suit: this.suits[pickedSuit], card: pickedCard % 13};
        }
    }
}

let cardPicker = deck.createCardPicker();
let pickedCard = cardPicker();

alert("card: " + pickedCard.card + " of " + pickedCard.suit);

上面这段代码中14行的createCardPicker: function(this: Deck){}被编译成了这样：

createCardPicker: function () {
        var _this = this;
}

上面这种代码是我们常用维持this指向的手段，在定义接口时常见的代码，在TypeScript中它使用this作为参数的方式来实现，这样的处理方式可以非常明显的看到this指向了对象自身，并且如果这个方法被赋值给其他对象变量时同样会静默这个this参数的错误，而其他对象在TypeScript严格的变量类型语法中也可能获取这个方法作为自身参数。

3.3 this在回调函数中如何维持this指向？下面是将官方文档代码补全的示例：

interface UIElement {
  addClickListener(onclick: (this: void, e: Event) => void): void;
}

class Handler {
  info: string;
  constructor(infoStr:string){
    this.info = infoStr;
  }
  onClickGood = (e: Event) => {//通过箭头函数来保持函数内部this不变
      // can't use this here because it's of type void!
      console.log(this);//指向Handler的实例对象
      console.log(this.info);//info
      console.log('clicked!');
  }
}
let h = new Handler('info');
class uiElementClass implements UIElement{
  addClickListener(onclick: (this: void, e: Event) => void): void{
    onclick(new Event('event'));
  }
}
let uiElement:uiElementClass = new uiElementClass();
uiElement.addClickListener(h.onClickGood);

 四、TypeScript函数重载

 关于TypeScript函数我想了好久就是不知道怎么解析这个东西，照着示例套吧，我也只能复制官方代码放这里了。

let suits = ["hearts", "spades", "clubs", "diamonds"];

function pickCard(x: {suit: string; card: number; }[]): number;
function pickCard(x: number): {suit: string; card: number; };
function pickCard(x:any): any {
    // Check to see if we're working with an object/array
    // if so, they gave us the deck and we'll pick the card
    if (typeof x == "object") {
        let pickedCard = Math.floor(Math.random() * x.length);
        return pickedCard;
    }
    // Otherwise just let them pick the card
    else if (typeof x == "number") {
        let pickedSuit = Math.floor(x / 13);
        return { suit: suits[pickedSuit], card: x % 13 };
    }
}

let myDeck = [{ suit: "diamonds", card: 2 }, { suit: "spades", card: 10 }, { suit: "hearts", card: 4 }];
let pickedCard1 = myDeck[pickCard(myDeck)];
alert("card: " + pickedCard1.card + " of " + pickedCard1.suit);

let pickedCard2 = pickCard(15);
alert("card: " + pickedCard2.card + " of " + pickedCard2.suit);