开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

为什么Typescripts "typeof function“满足”扩展(...args: any[]) =>“任何”泛型条件“

Typescript中的typeof操作符用于获取一个变量或表达式的类型。当typeof应用于一个函数时，它返回函数类型。

在给定的问答内容中，"typeof function"满足"扩展(...args: any[]) =>"任何"泛型条件"的含义是，"typeof function"可以作为一个泛型条件，用于扩展具有任意参数的函数类型。

具体来说，"typeof function"可以用作泛型约束，以确保传递给函数的参数类型与函数本身的参数类型相匹配。这在编写可重用的函数或类时非常有用，因为它可以提供类型安全性。

以下是对该问题的完善且全面的答案：

Typescript中的typeof操作符用于获取一个变量或表达式的类型。当typeof应用于一个函数时，它返回函数类型。"typeof function"满足"扩展(...args: any[]) =>"任何"泛型条件"的含义是，"typeof function"可以作为一个泛型条件，用于扩展具有任意参数的函数类型。

通过使用"typeof function"作为泛型条件，我们可以确保传递给函数的参数类型与函数本身的参数类型相匹配。这提供了类型安全性，使我们能够在编写可重用的函数或类时更加自信。

举例来说，假设我们有一个泛型函数，它接受一个函数作为参数，并返回一个新的函数，该新函数具有与传入的函数相同的参数类型。我们可以使用"typeof function"作为泛型条件来确保传入的函数参数类型正确。

function wrapFunction<T extends (...args: any[]) => any>(func: T): T {
  return function(...args: Parameters<T>): ReturnType<T> {
    // 在这里可以对传入的函数进行一些处理或包装
    return func(...args);
  } as T;
}

// 使用示例
function add(a: number, b: number): number {
  return a + b;
}

const wrappedAdd = wrapFunction(add);
console.log(wrappedAdd(2, 3)); // 输出 5

在上面的示例中，我们定义了一个名为wrapFunction的泛型函数。它接受一个函数作为参数，并返回一个新的函数，该新函数具有与传入的函数相同的参数类型和返回类型。通过使用"typeof function"作为泛型条件，我们确保传入的函数参数类型与新函数的参数类型相匹配。

这是Typescript中使用"typeof function"满足"扩展(...args: any[]) =>"任何"泛型条件"的一个实际应用场景。通过使用这种方式，我们可以在编写类型安全的函数或类时更加自信。

推荐的腾讯云相关产品和产品介绍链接地址：

腾讯云函数计算（云原生无服务器计算服务）：https://cloud.tencent.com/product/scf
腾讯云云数据库 MySQL 版（云原生数据库服务）：https://cloud.tencent.com/product/cdb
腾讯云云服务器（云原生计算服务）：https://cloud.tencent.com/product/cvm
腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
腾讯云物联网（IoT）：https://cloud.tencent.com/product/iotexplorer
腾讯云移动开发（移动应用开发服务）：https://cloud.tencent.com/product/mad
腾讯云对象存储（云原生对象存储服务）：https://cloud.tencent.com/product/cos
腾讯云区块链（云原生区块链服务）：https://cloud.tencent.com/product/baas
腾讯云游戏多媒体引擎（云原生游戏多媒体处理服务）：https://cloud.tencent.com/product/gme
腾讯云音视频通信（云原生音视频通信服务）：https://cloud.tencent.com/product/trtc
腾讯云网络安全（云原生网络安全服务）：https://cloud.tencent.com/product/ddos

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

一文看懂TypeScript工具类型

基础知识泛型我们先看一个泛型的例子： function identity(arg: T): T { return arg; } const a = identity('foo...在泛型类型声明的时候泛型可以是多个，可以给默认值，有默认值的泛型参数是可选泛型参数，可选泛型参数需要放在泛型定义的后端。...U的默认值是T也就是boolean 泛型约束泛型约束是在泛型的类型参数上定义一个约束条件，从而限制了泛型实际类型的最大范围，这个类型参数的约束条件就是泛型约束，语法采用了 extends 关键字，类似于类的继承...约束条件有点特殊，它可以引用泛型列表中的其他类型，但是不能循环引用。...类型查询在JS中 typeof 可以判断一个变量的类型，TS对 typeof 做了扩展，在类型别名 type 等号右侧的 typeof 获取的是变量在TS中定义的类型。

1331 0

TS 从 0 到 1 - 泛型进阶

但这个函数并不是可以扩展或通用的。虽然可以使用 any 解决通用性问题，但那就失去了定义应该返回那种类型的能力，并且也使编译器失去了类型保护的作用。...T 代表 Type，在定义泛型时通常用作第一个类型变量名称，它可以用任何有效名称代替。...一个被现有类或接口合并的类或者接口的声明可以为现有类型参数引入默认类型一个被现有类或接口合并的类或者接口的声明可以引入新的类型参数，只要它指定了默认类型 # 泛型条件类型条件类型可以根据某些条件得到不同的类型...= UnPromisify; // Person # 泛型工具类型 # Partial Partial 用于将某个类型里的属性全部变为可选项 ?...定义 type ReturnType any> = T extends (...args: any) => infer R ?

7172 0

Typescript 高级用法以及项目实战问题

泛型名 extends 类型泛型条件上面提到 extends，其实也可以当做一个三元运算符，如下： T extends U?...此时返回的 T，是满足原来的 T 中包含 U 的部分，可以理解为 T 和 U 的「交集」。所以，extends 的语法格式可以扩展为泛型名A extends 类型B ?...类型C: 类型D 泛型推断 infer infer 的中文是“推断”的意思，一般是搭配上面的泛型条件语句使用的，所谓推断，就是你不用预先指定在泛型列表中，在运行时会自动判断，不过你得先预定义好整体的结构...，使用了infer对应的type type Three = Foo void}> // () => void，泛型定义是参数的子集，同样适配 infer用来对满足的泛型类型进行子类型的抽取......args: any) => infer R ?

1.9K5 0

TypeScript infer 关键字

Person { name: string; age: number; } type PersonName = Person["name"]; // string 但是，更有趣的是，我们也可以从泛型和函数中提取类型...args: any) => any'. type T6 = ReturnType; // Error // Type 'Function' does not satisfy the constraint...'(...args: any) => any'. // Type 'Function' provides no match for the signature '(...args: any): any...'. type T7 = ReturnType; // Error 为什么 ReturnType 和 ReturnType 会抛出上述的异常呢？...{ a :number, b: string}>; let abinfstr : abInferredNumberString = 1; abinfstr = "test"; 在上面代码中，我们使用泛型语法定义了一个名为

1.3K4 0

Typescript 严格模式有多严格？

若需要正常使用这类Web API，就需要在全局定义扩展。...“...”扩展运算符和reduce老友来相救： // Typescript严格模式 function sum (...args: number[]) { return args.reduce<number...方法被专门排除在外是为了确保带泛型的类和接口（如 Array ）总体上仍然保持协变。...任何一种模式中，第三个赋值都是错误的，因为它永远不合理。...[3] TypeScript 严格函数类型[4] 在面试的过程中，常被问到为什么Typescript比JavaScript好用？

2.1K4 0

如何进阶TypeScript功底？一文带你理解TS中各种高级语法

unknown 所以暂时这里使用any 代替 new(...args: unknown[]): T; } function getInstance(Clazz: IPerson) {...当泛型出现在接口内部时，比如第二个例子中的 IPerson接口代表一个函数，接口本身并不具备任何泛型定义。而接口代表的函数则会接受一个泛型定义。...我们先来看看如何使用它： interface IHasLength { length: number; } // 利用 extends 关键字在声明泛型时约束泛型需要满足的条件 function...其次我们在 MyParameters 内部对于传入的泛型参数进行了条件判断，如果满足条件也就是 T extends ( ...args: infer R ) => any，需要注意的是条件判断中函数的参数并不是在类型定义时就确认的...那么此时我会返回满足条件的函数推断参数组成的数组也就是 ...args 的类型 R ，否则则返回 never 。

1.8K1 0

TS 从 0 到 1 - 泛型

和 any 相比，使用泛型来创建可复用的组件要更好，因为泛型会保留参数类型。...T 代表 Type，在定义泛型时通常用作第一个类型变量名称。实际上 T 可以用任何有效名称代替。...(x, y) { return x + y; }; # 泛型工具类型 # typeof typeof 用来获取一个变量声明或对象的类型。..., c: any } # infer 在条件类型语句中，可以用 infer 声明一个类型变量并进行使用。...R : any; # extends 可以使用 extends 添加泛型约束。

3911 0

TypeScript的另一面：类型编程

这一块对代码的功能层面没有任何影响，即使你一行代码十个any，遇到类型错误就@ts-ignore，代码该咋样还是咋样。...正文部分包括：泛型基础索引类型 & 映射类型条件类型 & 分布式条件类型 infer 关键字类型守卫与 is、 in 关键字内置工具类型原理内置工具类型的增强更多通用工具类型泛型 Generic...为什么会有条件类型？可以看到通常条件类型通常是和泛型一同使用的，联想到泛型的使用场景，我想你应该明白了些什么。...当ReturnType被调用，泛型T被实际类型填充，如果T满足条件类型的约束，就返回R的值，在这里R即为函数的返回值实际类型。...实际上为了严谨，应当约束泛型T为函数类型，即： type ReturnType any> = T extends (...args: any) =

1.6K2 0

TypeScript进阶之重难点梳理

我们可以理解为&表示必须同时满足所有的契约。|表示可以只满足一个契约。...在 ts 中，「extends 关键字既可以来扩展已有的类型，也可以对类型进行条件限定」。在扩展已有类型时，不可以进行类型冲突的覆盖操作。...理论上，任何运行时的符号名想要为类型系统所用，都要加上 typeof。在使用class时，class名表示实例类型，typeof class表示 class本身类型。...说白了，「泛型就是不预先确定的数据类型，具体的类型在使用的时候再确定的一种类型约束规范」。泛型可以应用于 function、interface、type 或者 class 中。...但是注意，「泛型不能应用于类的静态成员」几个简单的例子，先感受下泛型 function log(value: T): T { console.log(value); return

3.9K2 0

速查手册 - TypeScript 高级类型 cheat sheet

附中文文档，有人做了专门的读书笔记 Typescript学习记录：高级类型 TypeScript: Built-in generic types：推荐，用案例详细解释高阶类型的使用； TS 一些工具泛型的使用及其实现...：TS 内置工具泛型高阶使用 TypeScript 2.1 新特性一览：查找/映射类型及 any 类型的推断都是在 2.1 版本引入的 TypeScript 2.8：Exclude 等条件类型是在 2.8...示例： function foo(x: number): Array { return [x]; } type fn = ReturnType; 4、函数相关...: any[]) => any> = T extends new (...args: any[]) => infer R ?...[]) => any> = T extends new (...args: infer P) => any ?

1.3K1 0

typescript基础笔记

,使用is关键字， is关键字一般用于函数返回值类型中，判断参数是否属于某一类型，并根据结果返回对应的布尔类型： function isObject(val: any): val is Object{...泛型在ts中非常重要，使用泛型来创建可重用的组件，一个组件可以支持多种类型的数据。...E：element 泛型是类型，并不是具体的参数。...extends 用来约束泛型的范围，约束要满足约束的特点，满足是拥有特性，只要含有要求的属性 interface Ex{ name: string } function fn<T extends...}; let obj1: Obj1 = {name: '', age: 3}; 条件类型分发泛型中如果通过条件判断返回不同的类型，放入的是联合类型（|），具备分发功能： type Obj1 = {

7343 0

精读《Typescript infer 关键字》

我们无法用泛型来描述这种类型推导，因为泛型类型是一个整体，而我们想要返回的是入参其中某一项，我们并不能通过类似 T[0] 的写法拿到第一项类型： function xxx(...args: T[]...设计角度理解 infer 从类型推导功能来看，泛型功能非常强大，我们可以用泛型描述调用时才传入的类型，并提前将它描述在类型表达式中： function xxx(value: T): { result...R[0] : never 可以理解为，如果此时 T 满足 (...args: any) => any 这个结构，同时我们用 infer R 表示 R 这个临时变量指代第一个 any 运行时类型，那么整个函数返回的类型就是...any 之类的任何类型。...总结 infer 关键字让我们拥有深入展开泛型的结构，并 Pick 出其中任何位置的类型，并作为临时变量用于最终返回类型的能力。

7934 0

TS扫盲大法-基础篇

通常我们在项目中经常看到封装的工具函数中有泛型，那么我们可以简单的写个,具体可以看下下面简单的一个一个工具请求函数 /*** * * 方法泛型 */ function genterFeach<T...function getStrArr2([a, b, c]: strVal) { console.log(a, b, c); } getStrArr2(strArr); // ok 泛型对于泛型在笔者初次遇见她时...，还是相当陌生的，感觉这词很抽象，不好理解，光看别人写的，一堆泛型，或许增加了阅读代码的复杂度，但是泛型用好了，那么会极大的增加代码的复用度。...: any) => any> = T extends (...args: any) => infer R ?...,可以在接口,函数,type使用泛型，泛型可以理解js中的形参，更加抽象和组织代码 3、extends约束泛型，并且可以在ts中做条件判断 4、使用keyof获取对象属性key值，如果需要获取一个对象定义的

1.1K1 0

1.8W字|了不起的 TypeScript 入门教程（第二版）

所以类中成员方法满足重载的条件是：在同一个类中，方法名相同且参数列表不同。...相比于使用 any 类型，使用泛型来创建可复用的组件要更好，因为泛型会保留参数类型。 12.1 泛型语法对于刚接触 TypeScript 泛型的读者来说，首次看到语法会感到陌生。...其中 T 代表 Type，在定义泛型时通常用作第一个类型变量名称。但实际上 T 可以用任何有效名称代替。...5.extends 有时候我们定义的泛型不想过于灵活或者说想继承某些类等，可以通过 extends 关键字添加泛型约束。...let newMethod = function(...args: any[]): any { let result: any = originalMethod.apply(this, args

10.2K5 1

TypeScript小笔记

testKeyof(props: Ikea): void { } 复制代码 extends 定义 Ts中extends除了用在继承上，还可以表达泛型约束，通过extends关键字可以约束泛型具有某些属性...{ length: number } // 表示传入的泛型T接受Lengthwise的约束 // T必须实现Lengthwise 换句话说 Lengthwise这个类型是完全可以赋给T function...demo type ParamType = T extends (...args: infer P) => any ?...: any) => any> = T extends (...args: infer P) => any ?...never : T 传入两个泛型我们这里用 typeof a 也就是 string | number 去代表 T 用 string 属性去代表第二个泛型 U T extends U 就判断是否string

1K2 0

掌握 TypeScript：20 个提高代码质量的最佳实践

最佳实践16：使用泛型泛型是 TypeScript 的一个强大特性，可以让你编写可以与任何类型一起使用的代码，从而使其更具有可重用性。...泛型允许你编写一个单独的函数、类或接口，可以与多种类型一起使用，而不必为每种类型编写单独的实现。...例如，你可以使用泛型函数来创建任何类型的数组： function createArray(length: number, value: T): Array { let result =...result; } let names = createArray(3, "Bob"); let numbers = createArray(3, 0); 你也可以使用泛型来创建一个可以处理任何类型数据的类...基于其他类型的条件创建新类型。例如，可以使用条件类型来提取函数的返回类型： type ReturnType = T extends (...args: any[]) => infer R ?

4.1K3 0

TypeScript 中的泛型你真搞懂了吗？

在学习ts源码的时候，发现很多泛型还是看不懂，于是想写一篇文章，总结一下常用的泛型。...type Parameters = T extends (...args: infer R) => any ?...; // [name: string, age: number] 泛型进阶很多人对于泛型的理解还停留在基础的层面，我讲站在集合的视角去理解一下什么叫泛型。...//Compute的作用是将交叉类型合并 type Compute = A extends Function ?...Overwrite 泛型，解决了谁覆盖谁的问题。

1.1K3 0

typescript高级用法之infer的理解与使用

T extends (...args: any[]) => infer R ?...那么如果通过泛型传呢？...可惜args必须是个数组类型，所以用泛型传还得限定下它的条件： type Parameters> = T extends (...args:R) => any...R : any; type T0 = Parameters string,string[]>; ‍ 可以发现，这么传跟已知类型传其实没太大区别，因为在传第二个泛型的时候，这个类型我们是知道的...，所以这种情况，也没什么太大用处，除非传泛型的是另一个人，那么我们在写这个库的时候，倒是可以拿到用户所定义的类型。

2.1K4 0

TypeScript基础（一）基本类型与类型运算

TypeScript添加了静态类型检查和其他一些新特性，以提高代码的可读性、可维护性和可扩展性。...泛型约束（Generic Constraints）使用 extends 关键字对泛型进行约束，限制泛型参数必须满足某些条件。...console.log(arg.length); } logLength("Hello"); // 输出 5 logLength([1, 2, 3]); // 输出 3 在这个示例中，我们使用 extends 关键字约束泛型参数...T 必须满足 Lengthwise 接口的要求，即具有 length 属性。...通过泛型约束，我们可以在函数内部使用泛型参数的特定属性或方法。这些类型运算符可以帮助开发者更灵活地操作和组合类型，提供了更强大的类型系统支持。

2083 0

《现代Typescript高级教程》泛型和类型体操

X : Y 其中，T 是待检查的类型，U 是条件类型，X 是满足条件时返回的类型，Y 是不满足条件时返回的类型。...type ReturnType = T extends (...args: any[]) => infer R ?...通过调用 ReturnType，我们推断出 add 函数的返回类型为 number。当涉及到泛型时，还有一些重要的概念和内置泛型函数可以深入分析。...这样可以确保传递给泛型的类型满足特定条件。...({ name: 'John', age: 25 }); // 输出 'John' 在上面的示例中，printProperty 函数接受一个泛型参数 T，该参数必须满足一个约束条件：具有 name 属性

3043 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭