代码之家 › 专栏 › 技术社区 › Marnes

Typescript:有n个union类型T的参数的函数,当调用方必须匹配类型时,为什么推断一个参数的类型不能推断所有参数?

type-narrowing generics typescript

Marnes · 技术社区 · 4 年前

给定此函数签名: function foo<T extends X | Y>(bar: T, baz: T) {}
呼叫者不能混音 X 和 Y . 编译器强制执行 bar 和 baz 或者 二者都 十 ,或两者都有

但是,对 酒吧 缩小它的类型,但不是 巴兹 ts playground

方法体外部的这种对称性能否以某种方式延续到方法体中,以便1类型检查缩小所有参数?

1 回复 | 直到 4 年前

Ryan Cavanaugh 4 年前

你的假设是错误的;法律上的比较是

compare<string | number>(10, "");

因此,根据另一个参数的类型缩小一个参数的范围是无效的

推荐文章

Glory Raj · 有什么方法可以使这两个块具有共同的功能吗

2 年前

username128437855 · 在泛型类中使用非泛型方法是否有任何问题?

2 年前

milczi · Swift通用无强制展开向下投射

6 年前

NSjonas · 接受函数并返回包含参数子集的函数的Typescript函数

6 年前

Richard Sand · Java工厂使用泛型和供应商接口,但仍然需要类型转换,有些地方不太正确

6 年前

Stephen Kennedy annamataws · 为什么受“Enum”约束的泛型类型在C#7.3中不能限定为“struct”?

6 年前

bugs · Typescript-泛型类型扩展自身

6 年前

John Bustos · C#通用工厂模式,不说明通用工厂模式的类型

6 年前

Blankdud · 具有默认数据的通用对象创建方法

6 年前

Tim Hutchison · 从泛型对象列表中读取泛型值

6 年前