（二十四）泛型约束

interface Product {
    title: string
    price: number
}

// 继承上面的属性, 然后在添加自己独有的属性
interface Tshirt extends product {
    size: 'S' | 'L' | 'M'
}

// 这里如果是传递的 Product 的子类的话就会验证成功，否则的话就会验证失败
function displayTitle<T extends Product>(t: T) {
    console.log(t.title)
}

let product: Product = {
    title: '牛仔裤',
    price: 100
}

displayTitle<Product>(product)          // ok
displauTitle<string>(product)           // 不满足泛型约束，因为上面写的是 Product 的子类才可以通过验证

let tshirt: Tshirt = {
    title: '牛仔裤',
    price: 100,
    size: 'M'    
}
displayTitle<Tshirt>(tshirt)        // 这样也是 ok 的因为 Tshirt 是 Product 的子类