8.typescript-函数的类型

今儿个甚是乏累呢~

但是

<----------------------------------------------------------------------下面可能是正题儿---------------------------------------------------------------------->

1.函数声明

function student(x:string,y:number):string{
    return `我是${x},今年${y}岁`;
}

console.log(student("wzy",22));  // 我是wzy,今年22岁

形式和JavaScript中的函数声明一样，不一样的是什么呢？

（1）指定了参数的类型（因为有类型检查，所以要遵循），随后指定了返回值的类型，

这个时候返回值类型可以省略，因为typescript会根据返回语句自动推断出返回值的类型。

（2）参数不可多不可少，只能刚刚好，且和顺序有关。

function student(x:string,y:number){
    console.log(`我是${x},今年${y}岁`);
}

student(22,"wzy"); 
//  Argument of type '22' is not assignable to parameter of type 'string'.

2.函数表达式

有些话总是需要照抄下来的，比如下面这两句话

如果要我们现在写一个对函数表达式（Function Expression）的定义，可能会写成这样：

let student = function(x:string,y:number):string{
    return `我是${x},今年${y}岁`;
}

console.log(student("wzy",22));  // 我是wzy,今年22岁

这是可以通过编译的，不过事实上，上面的代码只对等号右侧的匿名函数进行了类型定义，而等号左边的 student，是通过赋值操作进行类型推论而推断出来的。

如果需要我们手动给 student 添加类型，则应该是这样：

let student:(x:string,y:number)=>string = function(x:string,y:number):string{
    return `我是${x},今年${y}岁`;
}

console.log(student("wzy",22)); // 我是wzy,今年22岁

这是就需要多谈两句了：

（1）前后参数名称可以不一致

let student:(x:string,y:number)=>string = function(name:string,age:number):string{
    return `我是${x},今年${y}岁`;
}
// 这样对吗？嗯！好像是哪里不太对~
// Cannot find name 'x'.   
// Cannot find name 'y'.

let student:(x:string,y:number)=>string = function(name:string,age:number):string{
    return `我是${name},今年${age}岁`;
}
// 这样就对了~

（2）我对这种声明函数的方式的理解就是：

let student : (x:string,y:number)=>string = function(name:string,age:number):string{}
  声明变量             指定函数类型                     根据指定函数类型定义函数

此时再根据之前讲过的“类型推论”，就有以下这样的声明方式了

let student:(x:string,y:number)=>string = function(name,age){
    return `我是${name},今年${age}岁`;
}
5 let student = function(name:string,age:number):string{
    return `我是${name},今年${age}岁`;
}

据说这叫“按上下文归类”，是类型推论的一种。

（3）之前我们也讲过，当没有返回值的时候要怎样，在这种完整的函数声明的情况下是不可以返回值为空的，这时我们就会想起void

let student:(x:string,y:number) = function(name,age){  
    console.log(`我是${name},今年${age}岁`);
}

//  '=>' expected.
// 这样是不允许的，也不要妄想   =>""  这样，人家就没有""这种类型好吗

let student:(x:string,y:number)=>void = function(name,age){  
    console.log(`我是${name},今年${age}岁`);
}
// 还是老老实实的这样子吧

3.接口中函数的定义

interface Student{
    (x:string,y:number):string
}

let str1:Student;
str1 = function(x,y){
    return `我是${x},今年${y}岁`; 
}

4.可选参数

之前提到过函数的参数是不可多不可少的，但是也可以像接口那样的形式用？表示可选参数

function student(name:string,age:number,sex?:boolean){
    if(sex){
        return `name:${name},age:${age},sex:女`;
    }else{
        return `name:${name},age:${age},sex:未知`;
    }
}
  
console.log(student("weizeyang",22,true));   // name:weizeyang,age:22,sex:女
console.log(student("weizeyang",22));        // name:weizeyang,age:22,sex:未知

再看看它要注意哪些：

（1）可选参数要放在必需参数后面

（2）肚子好疼，不开心

　　

5.默认参数

在typescript中，可以为函数中的参数设置一个默认值，当用户没有传这个参数或者传的值是undefined时，就显示默认值。

function student(name:string,age:number,sex="女"){
    return `name:${name},age:${age},sex:${sex}`;
}
  
console.log(student("weizeyang",22,"未知"));  
// name:weizeyang,age:22,sex:未知

console.log(student("weizeyang",22));   
// name:weizeyang,age:22,sex:女

console.log(student("weizeyang",22,undefined));   
// name:weizeyang,age:22,sex:女

千古不无的注意点：

（1）可以看到，默认值的参数识别为可选参数，但不必在必需参数后面。

（2）虽说它是可选参数了耶不必放在必需参数后面了，但是一旦放在必需参数前面，就要明确写上undefined或者值，即不能空这。

这样一来，写在前面也就不算是可选参数了。

function student(sex="女",name:string,age:number){
    return `name:${name},age:${age},sex:${sex}`;
}
  
console.log(student("未知","weizeyang",22));  
// name:weizeyang,age:22,sex:未知

console.log(student("weizeyang",22));   
// Expected 3 arguments, but got 2.

console.log(student(undefined,"weizeyang",22));   
// name:weizeyang,age:22,sex:女

不知道别人看得懂这句话不，反正我是看懂说的是啥了。

6.剩余参数

 之前讲过的必要参数、默认参数和可选参数表示的都是某一个参数，有时，你想同时操作多个参数，或者你并不知道会有多少个参数会传进来。

在JavaScript中，你可以使用arguments来访问所有传入的参数。

在typescript里，你可以把所有参数收集到一个变量里：

function student(age:number,sex:boolean,...name:string[]){
    return `我是${name.join("")},年龄${age}`;
} 

console.log(student(22,true,"wei","ze","yang"));
// 我是weizeyang,年龄22

来吧，注意点：

（1）剩余参数会被当做个数不限的可选参数，可以一个都没有，也可以有任意个。同样要放在必要参数后面。

（2）是数组类型，名字是省略号后面的字段名，可以在函数体内使用这个数组。

（3）当调用函数时，别传入数组，依次传入就行。

7.Lambda表达式和使用this

在JavaScript里，this的值在函数被调用的时候才会指定。学过JavaScript的都知道this很是让人头疼啊！

var student = {
    names: ["wzy", "wyy", "wxy", "yz"],
    getName: function() {
        
        return function(){
            var item = Math.floor(Math.random() * 4);
            console.log(this);  

            return {
                name: this.names[item]    //  Cannot read property 'names' of undefined
            }
        }
    }
}

let sname = student.getName();
console.log("my name is " + sname().name);

7行打印出的是window，因为这里没有对this进行动态绑定

"use strict";   // 严格模式

var student = {
    names: ["wzy", "wyy", "wxy", "yz"],
    getName: function() {
        
        return function(){
            var item = Math.floor(Math.random() * 4);
            console.log(this);    // undefined

            return {
                name: this.names[item]    //  Cannot read property 'names' of undefined
            }
        }
    }
}

let sname = student.getName();
console.log("my name is " + sname().name);

9行打印出的是undefined，看着和上面的好像也没什么差别，实则现在是在JavaScript严格模式下（咱们一直都在），打印出的就是undefined了。

为了解决这个问题，我们可以在函数被返回时就绑好正确的this。 这样的话，无论之后怎么使用它，都会引用绑定的‘student’对象。

我们把函数表达式变为使用lambda表达式（ () => {} ）。 这样就会在函数创建的时候就指定了‘this’值，而不是在函数调用的时候。

var student = {
    names: ["wzy", "wyy", "wxy", "yz"],
    getName: function() {
        console.log(this);
        // 注意:下面这行是一个lambda，允许我们提前捕捉它
        return () => {
            var item = Math.floor(Math.random() * 4);
            console.log(this);
            
            return {
                name: this.names[item]
            }
        }
    }
}

let sname = student.getName();
console.log("my name is " + sname().name);

在第4，8行打印出了

即student这个对象，大功告成

8.重载

 举个栗子：

function schools(type:number|string):number|string{
    if(typeof type === "number"){
        return type.toFixed(2);
    }else if(typeof type === "string"){
        return type.substring(0,1);
    }
}

console.log(schools(1));       // 1.00
console.log(schools("wzy"));   // w

上面函数的参数和返回值的类型均使用了联合类型的形式，这样一来我们就不能准确的表达我传入的是number类型的返回的就要是number类型得了

这时就要引入重载的概念了

在学Java的时候，重载是这样讲的：函数名相同，函数的参数列表不同(包括参数个数和参数类型)，返回值类型可同可不同

网上的例子是这样给出的：

function schools(type:number):number;
function schools(type:string):string;
function schools(type:number|string):number|string{
    if(typeof type === "number"){
        return type.toFixed(2);
    }else if(typeof type === "string"){
        return type.substring(0,1);
    }
}

console.log(schools(1));       // 1.00
console.log(schools("wzy"));   // w

就是讲这两个函数在上面多声明了几次

需要注意的是：

（1）TypeScript 会优先从最前面的函数定义开始匹配，所以多个函数定义如果有包含关系，需要优先把精确的定义写在前面。

再给个栗子：

function schools(type:number):number;
function schools(type:string):string;
function schools(type:number | string | boolean):number | string | boolean{
    if(typeof type === "number"){
        return type.toFixed(2);
    }else if(typeof type === "string"){
        return type.substring(0,1);
    }else if(typeof type === "boolean"){
        return true;
    }
}

console.log(schools(1));       // 1.00
console.log(schools("wzy"));   // w
console.log(schools(true));    
//  Argument of type 'true' is not assignable to parameter of type 'string'.

（2）说明3行的代码并不属于重载部分，这里只有1,2行的函数重载起作用。用除这两种外的其他类型的参数调用schools会产生错误。

（3）1,2行是定义了两个函数，而3行只是对这两个重载函数的实现。

我在知乎上看到的总结是这样说的，因为会有好多人觉得typescript的重载存在的意义不大：

　　TypeScript 的重载是为了给调用者看，方便调用者知道该怎么调用（同时 tsc 也会进行静态检查以避免错误的调用）。

　　有助于IDE的代码提示，以及返回值的类型约束。

<----------------------------------------------------------------------上面可能是正题儿---------------------------------------------------------------------->