[TypeScript] Dynamically Allocate Function Types with Conditional Types in TypeScript

Conditional types take generics one step further and allow you to test for a specific condition, based on which the final type will be determined. We will look at how they work on a basic level and then leverage their power to allocate function types dynamically based on the type of their parameters, all without any overloads.

For example, the following code, the 'contianer' type is 'any'

interface StringContainer { 
    value: string;
    format(): string;
    split(): string[]
}

interface NumberContainer { 
    value: number;
    neatestPrime: number;
    round(): number;
}

type Item<T> = {
    id: T,
    container: StringContainer | NumberContainer
}

let item: Item<string> = {
    id: 'ad',
    container: null
}

item.container.value;
item.container.split(); // Compiler error      

Conditional Type can help with this:

type Item<T> = {
    id: T,
    container: T extends string ? StringContainer : NumberContainer
}      

We can build 'ArrayFilter' type to only get Array based type:

type ArrayFilter<T> = T extends any[] ? T : never;
type StringsOrNumbers = ArrayFilter<string | number | string[] | number[]>      

It filters out 'string, number' type becasue they are not match 'any[]' Array type. And 'never' type is ignored.

interface Book { 
    id: string;
    tableOfContent: string[];
}

interface Tv { 
    id: number;
    diagonal: number;
}

interface IItemService { 
    getItem(id: string): Book;
    getItem(id: number): Tv;
    getItem<T>(id: T): Book | Tv;
}

let itemService: IItemService;      

interface IItemService { 
    getItem<T>(id: T): T extends string ? Book: Tv;
}