TypeScript 自学笔记6 范型

前言

  • 今日继续学习ts
  • 等待大哥确认的时间我们继续看看ts范型

介绍

  • 软件工程中,我们不仅要创建一致的定义良好的API,同时也要考虑可重用性。 组件不仅能够支持当前的数据类型,同时也能支持未来的数据类型,这在创建大型系统时为你提供了十分灵活的功能。
  • 在像C#和Java这样的语言中,可以使用泛型来创建可重用的组件,一个组件可以支持多种类型的数据。 这样用户就可以以自己的数据类型来使用组件。
  • 其实很简单,这就是为了方便复用而设立的,以前在看java的时候对范型就不是学的很好,现在看文档感觉清晰很多了
  • 那我们继续走入ts,范型

范型-Hello World

  • 下面来创建第一个使用泛型的例子:identity函数。 这个函数会返回任何传入它的值。 你可以把这个函数当成是 echo命令。

    1
    2
    3
    function identity(arg: number): number {
    return arg;
    }
  • 这个例子建立的是一个参数和返回值为数字类型的

  • 但是我们后续想切换类型着么办?很多人说使用any任意类型啊
    来看看any

  1. 建立范型
    1
    2
    3
    function identity(arg: any): any {
    return arg;
    }
  • 确实达到了预期的效果
  • 但是发现了没有,无论什么类型都可以输入,什么类型的值都可以返回
  • 这个和之前的js有什么区别,何必还要写呢所以我们需要一个方法去控制住参数和返回值类型相同

  • 我们给函数添加了一个类型变量T,当我们给这个t赋值了number,他就会自动捕获到,然后赋值到参数和返回值类型当中
  • 这样到函数叫做范型(官网这么说的)不同于使用 any,它不会丢失信息,像第一个例子那像保持准确性,传入数值类型并返回数值类型。
    1
    2
    3
    function identity<T>(arg: T): T {
    return arg;
    }

  1. 使用范型
  • 第一种是,传入所有的参数,包含类型参数
  • 第二种方法更普遍。利用了类型推论 – 即编译器会根据传入的参数自动地帮助我们确定T的类型
  • 这里我们明确的指定了T是string类型,并做为一个参数传给函数,使用了<>括起来而不是()。(重点)
    1
    2
    3
    4
    5
    // 传入参数
    let output = identity<string>("myString"); // type of output will be 'string'

    // 自动推断
    let output = identity("myString"); // type of output will be 'string'

注意我们没必要使用尖括号(<>)来明确地传入类型;编译器可以查看myString的值,然后把T设置为它的类型。 类型推论帮助我们保持代码精简和高可读性。如果编译器不能够自动地推断出类型的话,只能像上面那样明确的传入T的类型,在一些复杂的情况下,这是可能出现的。(这个要注意)

使用范型变量

  • 使用泛型创建像identity这样的泛型函数时,编译器要求你在函数体必须正确的使用这个通用的类型。 换句话说,你必须把这些参数当做是任意或所有类型。
  • 如果这么做,编译器会报错说我们使用了arg的.length属性,但是没有地方指明arg具有这个属性。 记住,这些类型变量代表的是任意类型,所以使用这个函数的人可能传入的是个数字,而数字是没有 .length属性的。
  • 所以是错误的不能输出

    1
    2
    3
    4
    function loggingIdentity<T>(arg: T): T {
    console.log(arg.length); // Error: T doesn't have .length
    return arg;
    }
  • 现在假设我们想操作T类型的数组而不直接是T。由于我们操作的是数组,所以.length属性是应该存在的。 我们可以像创建其它数组一样创建这个数组

  • 他把参数设立成是一个类型的数组了
  • 相当于我吧t定义为number
  • arg是number类型的数组
  • 返回值也是一个number的数组
  • 数组是拥有.length的属性的

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    // number
    function loggingIdentity<T>(arg: T[]): T[] {
    console.log(arg.length); // Array has a .length, so no more error
    return arg;
    }

    let output = loggingIdentity<number>([1,2]); // type of output will be 'string'

    console.log(output);


    // String
    function loggingIdentity<T>(arg: T[]): T[] {
    console.log(arg.length); // Array has a .length, so no more error
    return arg;
    }

    let output = loggingIdentity<String>(["a"]); // type of output will be 'string'

    console.log(output);
  • 你可以这样理解loggingIdentity的类型:泛型函数loggingIdentity,接收类型参数T和参数arg,它是个元素类型是T的数组,并返回元素类型是T的数组。 如果我们传入数字数组,将返回一个数字数组,因为此时 T的的类型为number。 这可以让我们把泛型变量T当做类型的一部分使用,而不是整个类型,增加了灵活性。

—————————-

  • 还有一种写法可以更加规范上面的写法
  • 在里面在写一次范型,直接定义数组类型
    1
    2
    3
    4
    5
    6
    7
    function loggingIdentity<T>(arg: Array<T>): Array<T> {
    console.log(arg.length); // Array has a .length, so no more error
    return arg;
    }
    // 输出结果
    1
    [ 'a' ]

泛型类型

  • 我们创建了identity通用函数,可以适用于不同的类型。 在这节,我们研究一下函数本身的类型,以及如何创建泛型接口。
  • 我们也可以使用不同的泛型参数名,只要在数量上和使用方式上能对应上就可以。
    1
    2
    3
    4
    5
    function identity<T>(arg: T): T {
    return arg;
    }

    let myIdentity: <U>(arg: U) => U = identity;

我们还可以使用带有调用签名的对象字面量来定义泛型函数:(对签名还是带有疑惑)

1
2
3
4
5
function identity<T>(arg: T): T {
return arg;
}

let myIdentity: {<T>(arg: T): T} = identity;

第一个范型接口

1
2
3
4
5
6
7
8
9
10
11
12
interface GenericIdentityFn {
<T>(arg: T): T;
}

function identity<T>(arg: T): T {
return arg;
}

let myIdentity: GenericIdentityFn = identity;

console.log(myIdentity<String>("abc"));
console.log(myIdentitys("cba"));// 如果写了接口后我们还用这样的类型推断法是不可以的 error

  • 接口变形
  • 我们的示例做了少许改动。 不再描述泛型函数,而是把非泛型函数签名作为泛型类型一部分。 当我们使用 GenericIdentityFn的时候,还得传入一个类型参数来指定泛型类型(这里是:number),锁定了之后代码里使用的类型。 对于描述哪部分类型属于泛型部分来说,理解何时把参数放在调用签名里和何时放在接口上是很有帮助的。
  • 很直接的改变就是给接口做了范型,在初始化的时候就要传入类型了
  • 在使用的时候不再需要去指定范型
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    interface GenericIdentityFn<T> {
    (arg: T): T;
    }

    function identity<T>(arg: T): T {
    return arg;
    }

    let myIdentity: GenericIdentityFn<number> = identity;
    console.log(myIdentity(1)); //1


    let myIdentity2: GenericIdentityFn<string> = identity;
    console.log(myIdentity2("abc"); //abc

范型类

  • 泛型类看上去与泛型接口差不多。 泛型类使用( <>)括起泛型类型,跟在类名后面。
  • 这个理解起来还是挺好理解的

    1
    2
    3
    4
    5
    6
    7
    8
    9
    class GenericNumber<T> {
    zeroValue: T;
    add: (x: T, y: T) => T;
    }

    let myGenericNumber = new GenericNumber<number>();
    myGenericNumber.zeroValue = 0;
    myGenericNumber.add = function(x, y) { return x + y; };
    console.log(myGenericNumber.add(3,4)) // 7
  • GenericNumber类的使用是十分直观的,并且你可能已经注意到了,没有什么去限制它只能使用number类型。 也可以使用字符串或其它更复杂的类型


  • 与接口一样,直接把泛型类型放在类后面,可以帮助我们确认类的所有属性都在使用相同的类型。
  • 我们在类那节说过,类有两部分:静态部分和实例部分。 泛型类指的是实例部分的类型,所以类的静态属性不能使用这个泛型类型。
    1
    2
    3
    4
    5
    let stringNumeric = new GenericNumber<string>();
    stringNumeric.zeroValue = "";
    stringNumeric.add = function(x, y) { return x + y; };

    console.log(stringNumeric.add(stringNumeric.zeroValue, "test"));

泛型约束

t1

  • 意思就是说使用extends 这个关键字来约束必须每一次都要输入一个带有length的属性,不然就是错的
  • 1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    interface Lengthwise {
    length: number;
    }

    function loggingIdentity<T extends Lengthwise>(arg: T): T {
    console.log(arg.length); // Now we know it has a .length property, so no more error
    return arg;
    }

    loggingIdentity(3); // Error
    loggingIdentity({length: 10, value: 3}); // 这样才是对的

在泛型约束中使用类型参数

  • 你可以声明一个类型参数,且它被另一个类型参数所约束。 比如,现在我们想要用属性名从对象里获取这个属性。 并且我们想要确保这个属性存在于对象 obj上,因此我们需要在这两个类型之间使用约束。
  • 编译器运行的时候会报错但是js文件可以运行的,估计是我没有指定类型不过官网也是这样用的
    1
    2
    3
    4
    5
    6
    7
    8
    function getProperty(obj: T, key: K) {
    return obj[key];
    }

    let x = { a: 1, b: 2, c: 3, d: 4 };

    // getProperty(x, "m"); // error: Argument of type 'm' isn't assignable to 'a' | 'b' | 'c' | 'd'.
    console.log(getProperty(x, "a"););

在泛型里使用类类型 (不是很懂,懂了)

  • 当我再回头盯上你,你必是我囊中之物
  • 其实呢我是在实例它的时候不太懂
  • 经过查阅资料慢慢的弄懂了,要定义一个类把类放进入
  • 在TypeScript使用泛型创建工厂函数时,需要引用构造函数的类类型。比如,

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    // 这里是需要构建一个类 ,函数范型了类, 传入值是类,返回值也是类
    // 参数是一个可以new的参数那就是类啦
    function create<T>(c: {new(): T; }): T {
    return new c();
    }

    // 构建一个类
    class Student {
    constructor () {

    }
    // 写一个方法
    say () {
    console.log("student say")
    }
    }

    // 实例化create
    // 传入范型值和参数
    let stu = create<Student>(Student)
    stu.say()
  • 一个更高级的例子,使用原型属性推断并约束构造函数与类实例的关系。

  • 再去看这个升级例子,需要一定的编程基础
  • 官网上面的还是自己去构建完整的体系
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50

    class BeeKeeper {
    hasMask: boolean;
    constructor (hasMask:boolean) {
    this.hasMask = hasMask;
    }
    }

    class ZooKeeper {
    nametag: string;
    constructor (nametag: string) {
    this.nametag = nametag;
    }
    }

    // 主类
    class Animal {
    numLegs: number;
    constructor (numLegs: number) {
    this.numLegs = numLegs;
    }
    }

    // 定义继承类
    class Bee extends Animal {
    // 内部元素声明的是其他的类
    keeper: BeeKeeper;
    // 需要构造函数去实例化
    constructor () {
    super(4)
    this.keeper = new BeeKeeper(true);
    }
    }

    class Lion extends Animal {
    keeper: ZooKeeper;
    constructor () {
    super(4)
    this.keeper = new ZooKeeper("YHF");
    }
    }

    // A的约束类型是Animal,这里不是继承是约束,需要拥有约束类型的元素,要不自己写要不继承它,这里的操作只是约束不是继承
    function createInstance<A extends Animal>(c: new () => A): A {
    return new c();
    }

    console.log(createInstance(Lion).keeper.nametag); // YHF
    console.log(createInstance(Bee).keeper.hasMask); // true
    console.log(createInstance(Lion).numLegs); // 4

在泛型里使用类类型 (理解后自定义练习)

  • 使用类不同的声明类型
  • 添加判断,深刻理解
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50
    51
    52
    53
    54
    55
    56
    57
    58
    59
    60
    61
    62
    class Student {
    aa: string
    constructor (aa: string) {
    this.aa = aa
    }
    }

    class Test {
    bb: number
    constructor (bb: number) {
    this.bb = bb
    }
    }

    class cat {
    cc: boolean
    constructor (cc: boolean) {
    this.cc = cc
    }
    }

    class A1 extends cat {
    dd: Student
    constructor (g : boolean) {
    if (g) {
    super(g)
    this.dd = new Student("YHF");
    } else {
    super(g)
    this.dd = new Student("err");
    }
    }
    test (aa: string) {
    let sum = new Student(aa)
    return sum.aa
    }
    }

    class A2 extends cat {
    ee: Test
    constructor (g : boolean) {
    if (g) {
    super(g)
    this.ee = new Test(1);
    } else {
    super(g)
    this.ee = new Test(2);
    }
    }
    }

    function abc<T extends cat>(c: new (g) => T,g: boolean): T {
    return new c(g);
    }

    let test1 = abc(A1,true);

    console.log(test1.dd.aa) // YHF
    console.log(test1.cc) // true
    console.log(test1.test("改变YHF,我叫你爸爸")); // 改变YHF,我叫你爸爸

    console.log(abc(A2,false).ee.bb); // 2

后记

  • 这个就是我学习Ts的第六天的笔记,欢迎更多的同行大哥指导交流
  • 欢迎进入我的博客https://yhf7.github.io/
  • 如果有什么侵权的话,请及时添加小编微信以及qq也可以来告诉小编(905477376微信qq通用),谢谢!
-------------本文结束感谢您的阅读-------------
0%