在 typescript 中，如何使用泛型来约束和描述函数的返回值类型？

Question

Look the code,I think tom is type of BB extends AA, So it should be work

Code Error: TS2322: Type 'BB' is not assignable to type 'T'

interface AA {
    name: string
}
interface BB extends AA{
    age: number
}
const tom: BB = {
    name: 'tom',
    age: 20
}
function something<T extends AA>(): T {
    return tom
}

How can I use like

something<BB>() 

to get a value which extends AA; Or

something<CC>() 

which CC extends AA

Answer 1

Your identify function should look like this:

interface AA {
    name: string
}
interface BB extends AA{
    age: number
}
const tom: BB = {
    name: 'tom',
    age: 20
}
function identity<T extends AA>(arg: T) {
    return arg
}

identity(tom)

The problem with you current implementation is that you are using a specific kind of type T .