TypeScript 条件通用接口(interface)作为参数(数组或对象，基于 bool 值)

Question

我有一个函数应该能够接收两个相似的类型作为参数。取决于如果 props.multi是true或 false .

问题是它仍然允许我通过 value = []与 multi = false .我怎样才能摆脱这个？

interface PropsSingle<T> {
    value: T,
    multi: false
}

interface PropsMulti<T> {
    value: T[],
    multi: true
}

function foo<T>(props: PropsSingle<T> | PropsMulti<T>) {
    if(props.multi) {
        let arr = props.value // type detection works fine
    } else {
        let obj = props.value // type detection works fine
    }
}

foo({multi: true, value: []}) // works as expected
foo({multi: true, value: {}}) // throws error as expected
foo({multi: false, value: {}}) // works as expected
foo({multi: false, value: []}) // THIS SHOULD THROW AN ERROR

我已经试过了foo<T extends object>(...)和 foo<T extends {[key: string]: any}>(...)

我找到的唯一一种解决方案/解决方法是:

interface PropsSingle<T> {
    value: T extends any[] ? never : T,
    multi: false
}

但我觉得这很奇怪。

为什么我不能限制 function foo 的类型？

Answer 1

原因很简单，没有什么可以阻止 PropsSingle 中的 T 成为 any[]。并且没有简单的方法让 typescript 知道泛型参数不能扩展给定的类型，我们只能指定 T 扩展的内容。

您的解决方案应该可行，我通常在函数上添加约束并使用字符串文字类型在处理此类场景时提供更具启发性的错误消息:

interface PropsSingle<T> {
    value: T,
    multi: false
}

interface PropsMulti<T> {
    value: T[],
    multi: true
}

type ErrorIf<T, U, TError> = T extends U ? TError : {} 

function foo<T>(props: (PropsSingle<T> & ErrorIf<T, any[], "Argument to PropsSingle can't be []")| PropsMulti<T>) {
    if(props.multi) {
        let arr = props.value // type detection works fine
    } else {
        let obj = props.value // type detection works fine
    }
}

foo({multi: true, value: []}) // works as expected
foo({multi: true, value: {}}) // throws error as expected
foo({multi: false, value: {}}) // works as expected
foo({multi: false, value: []}) // Error Type '{ multi: false; value: undefined[]; }' is not assignable to type '"Argument to PropsSingle can't be []"'.