首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

使用keyof的参数泛型推断

使用keyof的参数泛型推断是一种在 TypeScript 中使用泛型推断对象属性的技巧。keyof是一个索引类型查询操作符,它可以用来获取一个类型的所有属性名组成的联合类型。

具体来说,使用keyof的参数泛型推断可以用于以下场景:

  1. 访问对象属性:通过将一个对象的属性名作为泛型参数传递给keyof,可以获取该对象的所有属性名的联合类型。例如:
代码语言:txt
复制
type Person = {
  name: string;
  age: number;
};

function getProperty<T, K extends keyof T>(obj: T, key: K) {
  return obj[key];
}

const person: Person = {
  name: "John",
  age: 30,
};

const name = getProperty(person, "name"); // 类型推断为 string
const age = getProperty(person, "age"); // 类型推断为 number
  1. 遍历对象属性:通过结合keyoffor...in循环,可以遍历一个对象的所有属性。例如:
代码语言:txt
复制
type Person = {
  name: string;
  age: number;
};

function logProperties(obj: Person) {
  for (let key in obj) {
    console.log(`${key}: ${obj[key]}`);
  }
}

const person: Person = {
  name: "John",
  age: 30,
};

logProperties(person);
// 输出:
// name: John
// age: 30
  1. 限制泛型参数:通过使用keyof限制泛型参数的取值范围,可以确保传入的属性名是对象实际存在的属性。例如:
代码语言:txt
复制
type Person = {
  name: string;
  age: number;
};

function getProperty<T, K extends keyof T>(obj: T, key: K) {
  return obj[key];
}

const person: Person = {
  name: "John",
  age: 30,
};

const address = getProperty(person, "address"); // 错误,"address" 不是 Person 的属性

总结一下,使用keyof的参数泛型推断是一种利用 TypeScript 的索引类型查询操作符来推断对象属性的技巧。它可以用于访问对象属性、遍历对象属性以及限制泛型参数的取值范围。在实际开发中,可以根据具体需求灵活运用该技巧来提升代码的类型安全性和可读性。

腾讯云相关产品和产品介绍链接地址:

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

【Kotlin】 ① ( 类 | 参数 | 型函数 | 多参数 | 类型约束 )

, 主构造函数之前 , 该参数 T 是 类型占位符 , 在 该类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型实例对象作为参数..., T 类型可以 作为函数返回值 ; 通常情况下 , 参数使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 参数 , 但是 约定俗成 都使用 T 来表示 ; 代码示例 :...---- 通常情况下 , 参数使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 参数 , 但是 约定俗成 都使用 T 来表示 ; 在下面的代码中 , 使用 M 作为 参数...---- 型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 参数返回值 都是 的话 , 在该型函数 中可能需要使用多个 , 使用不同字母表示不同 ; 如果函数中 引入了新类型..., 需要两个参数来表示其类型 ; T 类型在类中注明 , 可以在该类 Student 中随意使用 , 但是 参数 R 是首次在该函数中使用 , 因此需要在该函数 fun 关键字

2.6K10

【Kotlin】总结 ★ ( 类 | 参数 | 型函数 | 多参数 | 类型约束 | 可变参数结合 | out 协变 | in 逆变 | reified 检查参数类型 )

主构造函数中可以接收 T 类型实例对象作为参数 , T 类型可以 作为函数返回值 ; 通常情况下 , 参数使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 参数 , 但是 约定俗成...都使用 T 来表示 ; 代码示例 : 下面的代码中 , 声明了 Student 类 , 该类 接收 T 类型参数 , 在主构造函数中接收 T 类型参数 , 在该类中声明了 T...---- 型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 参数返回值 都是 的话 , 在该型函数 中可能需要使用多个 , 使用不同字母表示不同 ; 如果函数中 引入了新类型...六、可变参数 vararg 关键字与结合使用 ---- 如果 类型 T 参数 是 vararg 可变参数 , 则在接收 可变参数 时 , 需要使用 Array 类型 变量进行接收...子类 类对象 , 可以赋值给 参数 是父类 变量 , 前提是参数必须使用 out 关键字修饰 ; 使用 in 关键字 , 可以使 父类对象 赋值给 子类对象 ; 使用

3.7K10

【Rust 基础篇】Rust默认参数:简化使用

这时,Rust默认参数就派上用场了。本篇博客将深入探讨Rust中默认参数,包括默认参数定义、使用场景、使用方法以及注意事项,以便读者了解如何在Rust中简化使用。 1....什么是默认参数? 在Rust中,默认参数允许我们为参数提供默认值。当我们在使用时不指定具体类型,就会使用默认参数类型。...使用场景 默认参数主要用于以下场景: 2.1 简化使用 默认参数允许我们为参数提供默认值,使得在使用时不需要显式指定类型,简化了代码使用。...3.2 使用默认参数使用类型或函数时,不指定具体类型,即可使用默认参数类型。...通过深入理解和合理使用默认参数,我们可以更加灵活地使用,并简化代码使用。 本篇博客对Rust默认参数进行了全面的解释和说明,包括默认参数定义、使用场景、使用方法以及注意事项。

33520

来实现编译时期类型推断

第一章都是讲,距离上一篇Effective C#随笔已经是很久以前事情了。。。 今天Item4,讲的是类型推断功能。...东西好不好,都是比较出来了,当然也不是绝对好或者绝对不好。 首先上一段不用代码。...但是这样意味着要写更多代码,写更多编译器和JIT引擎可以帮你实现代码。 接下来上场,原文叫“correct answer”。...解决了原先几个问题。 ①类型转换。类中LoadFromFile方法,返回类型其实已经被限定了,就是T类型,至于T具体是什么类型,就看自己在调用时候尖括号之间写具体值了。...最后一段: 很多时候如果用了Type类型参数,通常都可以定义出一个版本。编译器就会 “Create the Specific version for you.”。

1.2K30

【Kotlin】 ③ ( out 协变 | in 逆变 | invariant 不变 | 逆变协变代码示例 | 使用 reified 关键字检查参数类型 )

作为 函数返回值 类型 , 则在 声明 参数 类型 时 , 在 参数使用 out 关键字 , 同时 该 类 又称为 生产类 ( 生产接口 ) , 用于生产 类 指定对象...- 使用 in 关键字 , 可以使 父类对象 赋值给 子类对象 ; 在 类 中 , 如果只将 类型 作为 函数参数 类型 , 则在 声明 参数 类型 时 , 在 参数 前...类型 作为 函数返回值 类型 , 则在 声明 参数 类型 时 , 既不使用 in 关键字 , 又不使用 out 关键字 ; 代码示例 : 在下面的接口中 , 类型 即用于作为 返回值 ,...子类 类对象 , 可以赋值给 参数 是父类 变量 , 前提是参数必须使用 out 关键字修饰 ; 使用 in 关键字 , 可以使 父类对象 赋值给 子类对象 ; 使用... // 在 Consumer 中 , 使用参数 in 逆变 // 参数是父类 类对象 可以赋值给 参数是子类 对象 val consumer

1.6K10

Java详解:和Class使用类,方法详细使用实例

InfoImpl,然后把变量T传给了Info,这说明接口和使用都是同一个变量。...然后在使用时,就是构造一个实例过程,使用过程也不变。    ...  上面我们讲解了类和接口使用,下面我们再说说,怎么单独在一个函数里使用。...arg ;            // 返回数组     }      首先,定义了一个静态函数,然后定义返回值为T[],参数为接收T类型可变长参数。...1,一个是表示某一个类型参数。为传递某一类参数对象  2,另一个则是传递不是参数,而是代表Class,某一个类。 恰巧我都使用过,就正好记录一下实际使用实例。

3.2K50

类、方法、类型通配符使用

类、方法、类型通配符使用 一.类        声明和非声明类似,除了在类名后面添加了类型参数声明部分...和方法一样,类型参数声明部分也包含一个或多个类型参数参数间用逗号隔开。一个参数,也被称为一个类型变量,是用于指定一个类型名称标识符。...每一个类型参数声明部分包含一个或多个类型参数参数间用逗号隔开。一个参数,也被称为一个类型变量,是用于指定一个类型名称标识符。...类型参数能被用来声明返回值类型,并且能作为方法得到实际参数类型占位符。 方法体声明和其他方法一样。...下面的例子演示了"extends"如何使用在一般意义上意思"extends"(类)或者"implements"(接口)。该例子中方法返回三个可比较对象最大值。

3.8K40

Go 之类型参数

Go 之了解类型参数 一、Go 与其他主流编程语言差异 Go和其他支持主流编程语言之间设计与实现存在差异一样,Go 与其他主流编程语言也是不同。...不过,这个类型实参自动推断有一个前提,你一定要记牢,那就是它必须是函数参数列表中使用类型形参,否则就会像下面的示例中代码,编译器将报无法推断类型实参错误: func foo[T comparable...F *P[T2, T1] // 不符合技术方案,但Go 编译器并未报错 } 5.2 使用类型 和型函数一样,使用类型时也会有一个实例化(instantiation)过程,比如: var sl...六、方法 我们知道 Go 类型可以拥有自己方法(method),类型也不例外,为类型定义方法称为方法(generic method),接下来我们就来看看如何定义和使用方法。...Go 社区在使用过程中反馈而定。

15610

Kotlin :类型参数约束

上一篇文章讲了 Kotlin :基本使用,接下来我们再进一步了解使用相关进阶知识。本篇是 Kotlin 类型参数约束讲解,更多内容可点击链接查看。...Kotlin :基本使用Kotlin :类型参数约束系列持续更新中,欢迎关注订阅。...为什么需要类型参数约束在上一篇文章里,我们使用定义了一个列表List,使用这个列表,我们可以在使用时候,实例化出各种具体类型列表,比如字符串列表List、整型列表List...什么是类型参数约束对于上述场景,最理想实现应该满足这些条件:只有数值类型列表才能调用这个拓展函数拓展函数对「类型参数」所具备特征有必要了解,如知道它是一个Number类型因此,我们需要使用参数约束...中属性也同样变得可空,这使得类在具体实现时候,需要考虑参数为空情况,也让编写代码具体实现变得复杂。

2.1K31

高级使用

是什么 记得以前面试时候经常被问是什么,为什么要使用:可以说是类型参数化。...也就是说操作数据类型,被指定为一个参数,这种参数可以用在类、接口、方法上,分别可以叫做类、接口、方法。...,我们在编译时候就发现错误,不用等运行时候,这也是使用一个好处。.../** * 传入实参时: * 定义一个生产器实现这个接口,虽然我们只创建了一个接口TestInter * 在实现类实现接口时,如已将类型传入实参类型,则所有使用地方都要替换成传入实参类型...由此可以看出:同一种可以对应多个版本(因为参数类型是不确定),不同版本类实例是不兼容

41610

【Kotlin】 ② ( 可变参数 vararg 关键字与结合使用 | 使用 [] 运算符获取指定可变参数对象 )

文章目录 一、可变参数 vararg 关键字与结合使用 二、使用 [] 运算符获取指定可变参数对象 一、可变参数 vararg 关键字与结合使用 ---- 如果 类型 T 参数 是 vararg...可变参数 , 则在接收 可变参数 时 , 需要使用 Array 类型 变量进行接收 ; 参数为 vararg 可变参数 , 那么可以传入多个 指定类型 实例对象 ; 在下面的代码中..., 声明了 参数 T , T 类型不必须是 Weapon 类子类类型 ; 在 Soldier 主构造函数中 , 传入了 T 类型 可变参数 对象 ; 如果要使用 成员属性 接收该 ...T 类型 可变参数 对象 , 则必须 使用 Array 类型对象进行接收 ; 代码示例 : class Soldier(vararg _items: T) {...二、使用 [] 运算符获取指定可变参数对象 ---- 如果想要 使用 [] 运算符获取指定可变参数对象 , 就需要 重写 该类 get 函数 进行 运算符重载 ; 如果想要通过 Soldier 实例对象

63920

【Java 简介 ( 类 | 方法 | 静态方法 | 类与方法完整示例 )

; 其中 参数 , 返回值 类型是 T , 但 这个 T 是作为一个正常类型使用 , 并不是声明在 方法 中 ; 如果 类 , 接口 , 方法 是 类 , 接口 , 方法 , 则该...---- 方法 : 在方法 返回值前 , 使用 声明方法 , 是方法 ; 将某个类型作为参数传入 ; 个数 : 该方法是方法 , 且指定了 2 个 , 个数可以有很多个...: 方法中定义 T , 与 参数类型 T , 返回值类型 T , 方法内部 T , 都是同一个类型 ; /** * 类 * 该 T 类型作为参数使用 * T 是参数化类型...---- 静态方法 : 如果静态方法中 使用了 类中 T , 作为参数 或 返回值 , 这种使用时错误 ; 如果必须在 静态方法 中使用 T , 则该 T 必须是静态方法 ,...不能是类 ; 错误用法 : 正确用法 : 五、类与方法完整示例 ---- /** * 类 * 该 T 类型作为参数使用 * T 是参数化类型 , 可以由外部传入

13.5K30

java(一)、基本介绍和使用

一、基本概念 定义:是JDK 1.5一项新特性,它本质是参数化类型(Parameterized Type)应用,也就是说所操作数据类型被指定为一个参数,在用到时候在指定具体类型...这种参数类型可以用在类、接口和方法创建中,分别称为类、接口和方法。  ...(类型擦除在后面在学习)   使用机制编写程序代码要比那些杂乱使用Object变量,然后再进行强制类型转换代码具有更好安全性和可读性。对于集合类来说尤其有用。  ...中念为typeof   Integer ArrayList称为原始类型 二、使用 参数类型可以用在类、接口和方法创建中,分别称为类...所以当我们使用  List时候,编译器看到不是String,而是一个Object(java中所有类型都继承于Object)。 一旦【类定义区域】中参数被擦除了。

1.5K10

android 如何正确使用 和 多参数 “偷懒”

个选项,采用布局是一个 TextView 对应一个小三角 ImageView,各个选项没被点击时,字体颜色是 黑色,小三角不显示,点击后,字体变色,小三角居下显示,同时在下面的 layout 显示对应布局内容...要实现这样逻辑,并不难,但是,如果常规地去写的话,代码段很长,很繁琐!后来我这样做了。...先写个获取 list 型函数,用来获取 要显示布局集合 再写个获取 TextView 和 ImageView 对应绑定 Map 型函数 最后是整合,集体改变 这样调用 那么我们就配置好了一个选项...,上面共四个选项,对应四个点击事件,就是写四次,你只需要改变,传入整数,其他不用便,0,1,2,3.....

1.3K90

TypeScript-在约束中使用类型参数

约束中使用类型参数概述一个被另一个约束, 就叫做 约束中使用类型参数博主需求: 定义一个函数用于根据指定 key 获取对象 value:let getProps = (obj: object..., key: string): any => { return obj[key];}如上代码在编译器当中是会报错,报错原因就是它不知道 obj[key] 返回到底是不是 any 这个类型,...,那么这时就可以利用 在约束中使用类型参数 来解决该问题,代码如下:图片let getProps = (obj: T, key: K): any => {...obj[key];}let obj = { a: 'a', b: 'b'}let res = getProps(obj, "c");console.log(res);如上 K extends keyof...T 含义为,key 只能是在 obj 当中存在属性,如果指定 key 在 obj 当中不存在就不允许获取图片图片最后本期结束咱们下次再见~ 关注我不迷路,如果本篇文章对你有所帮助,或者你有什么疑问

16910

什么是,怎么使用分析

大家好,又见面了,我是你们朋友全栈君。 1、 1:什么是?...就是广泛类型,也是一种数据类型,而这种数据类型可以是任意类型,编写过程中当中不能确定类型,创建对象时必须指定具体类型,不指定也可以,但是会出现一些错误。...是编译器行为,只能在编译期有效,如果能够跨过编译器,那么就没有任何意义了。 2、类 怎么定义类?...那么将确定类型 class UserServiceImpl implements UserService 代码示例: 4、方法 方法中使用...该方法就是一个方法 静态方法无法使用类中声明类型 因为类型的确定是创建对象时确定,而静态方法是先于对象存在 ,如果要使用,在当前静态方法上声明类型

78720

针对常量参数分类实现

而论及参数 (generic parameters),我们总是想到 trait bounds 和生命周期。或者有时候,我们完全没注意到“参数”这个描述。...我们知道,函数参数是列在函数名之后 (...) 内部分,而参数是列在 内部分。...参数分为三类: 生命周期参数 类型参数 常量参数 而且它们顺序被规定为:生命周期必须放置于后两类之前,后两类可以交叉摆放。...= 0 {} 常量参数 常量参数 (const generics parameters): 可以在任何 常量条目 中使用,而且只能独立使用,通常作为某类型参数出现。...I 和 I == 0 从角度看, struct Item; 定义了一个具体类型参数,但并不限定这个值。

70510

Java 使用

是Java中一项十分重要特性,在Java 5版本被引入,在日常编程过程中,有很多依赖场景,尤其是在集合容器类使用过程中,更是离不开影子。...作用 提供功能有:参数化类型,以及编译期类型检查。 1 参数化类型 在方法定义中,方法参数称为形参,在实际调用方法时传递实参。...使用中,可以将类型定义为一个参数,在实际使用时再传递具体类型。将这种使用方式称之为参数化类型。...1 定义方式较为简单,通过将类型抽象为参数,附加在类名称后,即可完成定义,示例: public class Test { public static void main(...,但是并不算是方法,因为这些方法中使用参数类型是类定义

78320
领券