00:01
我创建新闻件。来说一下类型定义。那在大中呢?函数是对象,就像字符串数字内一样,都是对象。那么类型定义呢?指的是函数的类型,它和力的类型无关。使用的关键字是type。Type Di或者函数类型百名呢为函数类型呢提供了一个名称,也可以在生命字段或返回类型时呢使用该名称。当将该函数类型分配给变量时呢?Ta会保留类型信息。
01:00
这个我们先看一个代码class。这个方形,这先证明一个函数的变量,函数类型的变量。方法。我们传入一个函数,函数的类型呢,它带有两个参数,两个参数的类型呢,都是任意类型的。
02:04
然后我们将传入进来的函数复制给我们生命的变量compare。在外面呢?我们semi一个函数。它呢也有带有两个参数,它呢它呢也带有两个参数,两个参数都是任意类型的。函数体呢,我们返回一个。我返回任意一个字。
03:06
返回一个零吧,返回一个零,因为我们不需要使用参数,我们只需要它的函数类型啊,就是。它的函数类型呢,就是传入两个任意类型的参数,然后返回的值类型为NT,这就函数的类型,我们只需要这个信息啊,至于它返回的值是什么呢,不重要。然后我们创建这个类的实例。那我们将sort这个函数传给它。那么知道compare属性的类型的方。
05:16
运行下。那么它是方形类型的,然后我们来打印它的运行时类型,然后我们来打印它的运行时类型。我们打印compare属性的运行。
06:09
没运信息。那么我们可以看到。它的运营是类型呢,是接收两个任意类型参数。然后返回int。但是这样一个函数的名称是什么呢?或者它的类型是什么呢?这个是没办法知晓的,它的类型信息呢,就丢失了。然后呢?这里我们使用类型来定义。定义函数类型或者说别名都可以,我们使用type来定义类型百米。
07:08
他的名字叫compare。它的类型呢?我们返回值类型为int的方形,然后参数呢是两个任意类型的A,那么也就是说当一个函数它接受两个任意类型的参数,然后返回值为int。那么这样的一个函数呢,它的类型呢,我们就为它规定为compare,或者说这样的一个函数呢,它就到北米就是compare,然后呢。
08:00
我们在需要这样类这种类型的函数的时候呢,使用这个别名,例如这里呢,我们使用compare,然后我们来判断这个属性是不是compare类型的。
09:05
我运行一下。啊,那么返回处,也就是说它的运行时类型呢,是compare类型的,同时呢,我们也可以检测一个函数,用这个函数是否是这种类型的函数。你来。没执行一下,我们运行一下。
10:10
啊,怎么显示错。也就是说,我们可以通过类型判断来判断一个函数是否是某种类型的函数。
我来说两句