TypeScript 条件通用接口作为参数（数组或对象，基于布尔值）

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 []"'.