如何避免在 Typescript 中的每次使用都重复泛型类型约束？

Question

在 Typescript 中使用泛型时如何避免不断重复类型？如果我对泛型类型有一些约束，那么我必须在使用泛型类型的任何地方重复该约束。这很乏味，而且不是很干。

//A constraint on this generic
type MyConstraint = { bar: number }
type GenericOne<T extends MyConstraint> = {
    foo: T
}

要创建一个实例，我不得不重复约束，因为 TS 只对函数进行泛型推断

//This annoyance would I think be solved by generic values https://github.com/microsoft/TypeScript/issues/17574
const testok: GenericOne<MyConstraint> = { foo: { bar: 1 } }

现在，如果我想在其他地方使用我的泛型类型，我还必须重复约束！

const makeGenericOne2: <T extends MyConstraint>(arg: GenericOne<T>) => GenericOne<T> = (arg) => {
    return arg
}

至少现在我可以从对象字面量创建而无需重复自己

const test5 = makeGenericOne2({ foo: { bar: 1 } })
// And I get nice error messsages
const test6 = makeGenericOne2({foo: {baz: 1}})

避免重复约束的唯一方法似乎是带有推理的条件类型

const makeGenericOne: <T>(arg: T extends GenericOne<infer U> ? T : never) => T = (arg) => {
    return arg
}

我仍然可以从对象字面量创建实例而无需重复自己

const test3 = makeGenericOne({ foo: { bar: 1 } })

但现在错误消息不是那么好。

//"number not assignable to never" instead of { baz: 1 } is missing property "bar: number"
const test4 = makeGenericOne({ foo: { baz: 1 } })

似乎需要以下内容——推断 T，因为我们知道它必须扩展 Myconstraint

const propagateGeneric: <infer T>(arg: GenericOne<T>) => GenericOne<T>

很遗憾，目前 TS 不允许这样做。

我如何“传播”泛型类型的约束以避免在使用泛型类型的任何地方重复它？

Sandbox Link

Answer 1

棘手但似乎有效

//A constraint on this generic
type MyConstraint = { bar: number }
type GenericOne<T extends MyConstraint = MyConstraint> = {
    foo: T
}