函数形状有几种定义方式;操作符infer的作用

2023-10-05 21:16

本文主要是介绍函数形状有几种定义方式;操作符infer的作用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在 TypeScript 中,函数形状可以用多种方式进行定义。下面介绍了几种常用的函数形状定义方式:

  1. 函数声明:

  • function add(a: number, b: number): number {return a + b;
    }
    

    在函数声明中,我们直接使用 function 关键字来声明函数,并指定参数的类型和返回值的类型。

  • 函数表达式:

  • const subtract = function(a: number, b: number): number {return a - b;
    };
    

    使用函数表达式的方式,我们将一个匿名函数赋值给一个变量。在这种情况下,可以通过变量的类型推断来推导参数和返回值的类型,当然也可以显式地指定类型。

  • 箭头函数:

  • const multiply = (a: number, b: number): number => a * b;
    

    箭头函数是一种更简洁的函数表达式形式,通过箭头 => 分隔参数和函数体,并且可以省略 function 关键字和 return 关键字(当函数体只有一条返回语句时)。

  • 函数类型别名:

  1. type Calculator = (a: number, b: number) => number;const divide: Calculator = (a, b) => a / b;
    

    我们可以使用类型别名来定义一个函数类型,将参数类型和返回值类型组合在一起。然后可以使用类型别名来声明具体的函数。

总结起来,函数形状可以通过函数声明、函数表达式、箭头函数和函数类型别名等方式进行定义。每种方式都有其自身的特点和适用场景,选择合适的方式取决于具体的需求和编码风格。

infer 是 TypeScript 中的一个关键字,它用于从类型中推断(infer)出其他类型。

在条件类型(Conditional Types)中,我们可以使用 infer 来引入一个类型参数,并根据条件对该类型参数进行推断。具体来说,infer 用于提取并推断出某个表达式中的类型,并将其作为新的类型参数使用。

下面是一个示例,展示了 infer 的使用:

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;function add(a: number, b: number): number {return a + b;
}type AddReturnType = ReturnType<typeof add>; // 推断出 add 函数的返回值类型console.log(typeof add); // function
console.log(typeof AddReturnType); // number

在上述示例中,我们定义了一个 ReturnType<T> 类型,它接受一个泛型参数 T,表示函数类型。通过使用条件类型和 infer R,我们在条件中判断 T 是否满足函数类型的要求。如果满足条件,那么 R 将被推断为函数的返回值类型。最终,ReturnType<T> 类型将被定义为函数的返回值类型。

通过调用 typeof 运算符,我们可以看到 add 的类型为 function,而 AddReturnType 的类型为 number,这是因为 ReturnType<typeof add> 推断出了 add 函数的返回值类型。

总结起来,infer 关键字在 TypeScript 中用于从类型中推断出其他类型,主要用于条件类型中。它允许我们在条件类型中提取和使用表达式中的类型,并将其作为新的类型参数

这篇关于函数形状有几种定义方式;操作符infer的作用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/152062

相关文章

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

内核启动时减少log的方式

内核引导选项 内核引导选项大体上可以分为两类:一类与设备无关、另一类与设备有关。与设备有关的引导选项多如牛毛,需要你自己阅读内核中的相应驱动程序源码以获取其能够接受的引导选项。比如,如果你想知道可以向 AHA1542 SCSI 驱动程序传递哪些引导选项,那么就查看 drivers/scsi/aha1542.c 文件,一般在前面 100 行注释里就可以找到所接受的引导选项说明。大多数选项是通过"_

Android平台播放RTSP流的几种方案探究(VLC VS ExoPlayer VS SmartPlayer)

技术背景 好多开发者需要遴选Android平台RTSP直播播放器的时候,不知道如何选的好,本文针对常用的方案,做个大概的说明: 1. 使用VLC for Android VLC Media Player(VLC多媒体播放器),最初命名为VideoLAN客户端,是VideoLAN品牌产品,是VideoLAN计划的多媒体播放器。它支持众多音频与视频解码器及文件格式,并支持DVD影音光盘,VCD影

webm怎么转换成mp4?这几种方法超多人在用!

webm怎么转换成mp4?WebM作为一种新兴的视频编码格式,近年来逐渐进入大众视野,其背后承载着诸多优势,但同时也伴随着不容忽视的局限性,首要挑战在于其兼容性边界,尽管WebM已广泛适应于众多网站与软件平台,但在特定应用环境或老旧设备上,其兼容难题依旧凸显,为用户体验带来不便,再者,WebM格式的非普适性也体现在编辑流程上,由于它并非行业内的通用标准,编辑过程中可能会遭遇格式不兼容的障碍,导致操

用命令行的方式启动.netcore webapi

用命令行的方式启动.netcore web项目 进入指定的项目文件夹,比如我发布后的代码放在下面文件夹中 在此地址栏中输入“cmd”,打开命令提示符,进入到发布代码目录 命令行启动.netcore项目的命令为:  dotnet 项目启动文件.dll --urls="http://*:对外端口" --ip="本机ip" --port=项目内部端口 例: dotnet Imagine.M

C++操作符重载实例(独立函数)

C++操作符重载实例,我们把坐标值CVector的加法进行重载,计算c3=c1+c2时,也就是计算x3=x1+x2,y3=y1+y2,今天我们以独立函数的方式重载操作符+(加号),以下是C++代码: c1802.cpp源代码: D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数

深入理解RxJava:响应式编程的现代方式

在当今的软件开发世界中,异步编程和事件驱动的架构变得越来越重要。RxJava,作为响应式编程(Reactive Programming)的一个流行库,为Java和Android开发者提供了一种强大的方式来处理异步任务和事件流。本文将深入探讨RxJava的核心概念、优势以及如何在实际项目中应用它。 文章目录 💯 什么是RxJava?💯 响应式编程的优势💯 RxJava的核心概念

【即时通讯】轮询方式实现

技术栈 LayUI、jQuery实现前端效果。django4.2、django-ninja实现后端接口。 代码仓 - 后端 代码仓 - 前端 实现功能 首次访问页面并发送消息时需要设置昵称发送内容为空时要提示用户不能发送空消息前端定时获取消息,然后展示在页面上。 效果展示 首次发送需要设置昵称 发送消息与消息展示 提示用户不能发送空消息 后端接口 发送消息 DB = []@ro

Spring 源码解读:自定义实现Bean定义的注册与解析

引言 在Spring框架中,Bean的注册与解析是整个依赖注入流程的核心步骤。通过Bean定义,Spring容器知道如何创建、配置和管理每个Bean实例。本篇文章将通过实现一个简化版的Bean定义注册与解析机制,帮助你理解Spring框架背后的设计逻辑。我们还将对比Spring中的BeanDefinition和BeanDefinitionRegistry,以全面掌握Bean注册和解析的核心原理。

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)