typescript - 高级 TypeScript 参数约束

Question

我想知道在 TypeScript 中是否可以实现以下内容，我想要实现的目标:

1. 如果type 是inbox 那么obj 应该是interface IInbox 类型。
2. 如果type是sent那么obj应该是interfaceISent类型。

---

interface IInbox {

}

interface ISent {

}

class MailClient {
    delete(type: "inbox" | "sent", obj: IInbox | ISent) {

    }
}

let client = new MailClient();
client.delete('inbox', <ISent>{}); // should give compile error

Answer 1

您可以定义多个签名:

class MailClient {
    delete(type: "inbox", obj: IInbox);
    delete(type: "sent", obj: ISent)
    delete(type: "inbox" | "sent", obj: IInbox | ISent) {}
}

但是那仍然不会有编译错误，因为你们的接口(interface)是相同的。
因为 typescript 正在使用 duck typing那么空对象 ({}) 满足类型要求。
如果您区分两者:

interface IInbox {
    a: string;
}

interface ISent {
    b: string;
}

然后你得到你的错误:

client.delete('inbox', {} as ISent); // Argument of type '"inbox"' is not assignable to parameter of type '"sent"'

( code in playground )