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

接口类型推断

type-inference types typescript

rid · 技术社区 · 7 年前

我有以下类型:

interface A { a: string }
interface B extends A { b: string }
interface C extends A { c: string }

我现在要编写以下函数,该函数返回 A :

function test(t: number): A {
    return t > 10
        ? { a: "a", b: "b" }
        : { a: "a", c: "c" };
}

只有当我显式地将返回的对象转换为 一 , B 或 C ,或者如果我创建单独的函数,显式返回 乙 或A C 然后用这些来构造对象。

编译器是否可以推断返回的对象实际上是 乙 或A C 因此, 一 ,而不需要我具体说明?

2 回复 | 直到 7 年前

cartant 7 年前

我的理解是,这是因为typescript对与多余属性相关的对象文本实施了额外的约束。如果是这样写的,没有错误:

interface A { a: string }
interface B extends A { b: string }

function test(): A {
    const result = { a: "a", b: "b" };
    return result;
}

还有 suppressExcessPropertyErrors compiler option .

rid 7 年前

看起来typescript没有将对象的类型推断为接口定义的类型。

推断的类型 { a: "a", b: "b" } 是 { a: string, b: string } ,可用于 A 或A B 可以使用,但两者都不是 一 也不 乙 ,这是另一种类型。

所以答案是:不,编译器不会推断 一 或 乙 ,它将推断其他内容,如果所需类型为 一 或 乙 .

推荐文章

Picci · Typescript推断问题-导出函数的返回类型具有或正在使用名称。。。但无法命名

7 年前

sweisgerber.dev · 将var与文本一起使用是否会产生一个基元或基元包装器类?

7 年前

Michael Runzler · 动态类型化方法中的奇数型推理

7 年前

K.Os · Kotlin和RxJava类型推断失败

7 年前

Crazycolorz5 · (^)上的类型推断问题

7 年前

Igor Soloydenko · 广义“promisify”函数中的类型脚本类型推断

7 年前

Josh Stone · Scala类型推断错误

7 年前

LazyHatIQ · 类型脚本类型推断、扩展语法和多类型返回

7 年前

hkk David Calhoun · Tern无法使用JSDoc类型信息

7 年前

MasterScrat · 将TypeScript编译器推断出的类型添加到原始TS源代码中

7 年前