在泛型接口中推断变量类型

Question

我有下面的例子。

enum Foo {
    bar,
    baz
}

interface IBar {
    qux: number
}

interface IBaz {
    quux: string
}

type InterfaceType<T> = 
    T extends Foo.bar ? IBar :
    T extends Foo.baz ? IBaz : never;
    
interface ICorge<T> {
    foo: T
    attributes: InterfaceType<T>
}

const grault: Array<ICorge<unknown>> = [
    {
        foo: Foo.bar,
        attributes: {
            qux: 404
        }
    }, {
        foo: Foo.baz,
        attributes: {
            quux: "not found"
        }
    }   
]

我希望从foo 的类型自动推断出我的接口ICorge 的类型。有没有办法在打字稿中正确地做到这一点？

Answer 1

编辑：抱歉，我把 | 搞错了。

只要做：

const grault: Array<ICorge<Foo.bar> | ICorge<Foo.baz>> = [
    {
        foo: Foo.bar,
        attributes: {
            qux: 404
        }
    }, {
        foo: Foo.baz,
        attributes: {
            quux: "not found"
        }
    }   
]

查看TS playground

Answer 2

相当有类型的仪式。更实用的类型解决方案：

interface IBar {
    foo: 'bar'
    attributes: {
      qux: number
    }
}

interface IBaz {
    foo: 'baz'
    attributes: {
      quux: string
    }
}

const grault: (IBar | IBaz)[] = [
    {
        foo: 'bar',
        attributes: {
            qux: 44
        }
    }, {
        foo: 'baz',
        attributes: {
            quux: "not found"
        }
    }   
]

TS playground

除非绝对必要，否则至少我强烈建议不要在生产代码中使用enums。