Conditional types for overload replacement in Typescript - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is the main purpose of conditional types in TypeScript?

Conditional types allow you to choose one type or another based on a condition, similar to an if-else statement but for types. They help create flexible and reusable type logic.

intermediate

How can conditional types replace function overloads?

Instead of writing multiple function signatures (overloads), conditional types let you define a single function with a type that changes based on input types, simplifying code and improving maintainability.

beginner

Explain this conditional type: <br>type Result<T> = T extends string ? number : boolean;

This type means: if T is a string, then Result<T> is number; otherwise, Result<T> is boolean. It picks the output type based on whether T is a string.

intermediate

Why might conditional types be preferred over overloads in some cases?

Conditional types reduce repetition by combining multiple overloads into one type expression. This makes code easier to read, write, and maintain, especially when many similar overloads exist.

beginner

What does the 'extends' keyword do in a conditional type?

In conditional types, 'extends' checks if one type fits within another. It acts like a test: if the left type can be assigned to the right type, the condition is true.

What does this conditional type do? <br>type Check<T> = T extends number ? 'num' : 'not num';

A Returns 'num' for all types

B Returns 'num' if T is number, else 'not num'

C Returns 'not num' for all types

D Causes a syntax error

The conditional type checks if T is assignable to number. If yes, it returns 'num', otherwise 'not num'.

Which keyword is used to test a type condition in conditional types?

A extends

B implements

C typeof

D instanceof

'extends' is used in conditional types to check if one type fits within another.

How do conditional types help replace function overloads?

A By forcing all inputs to be the same type

B By removing the need for functions

C By using multiple functions instead

D By defining a single function with a type that changes based on input

Conditional types allow one function signature to adapt its return type based on input types, replacing multiple overloads.

What is the output type of Result<string> if type Result<T> = T extends string ? number : boolean;?

A number

B boolean

C string

D never

Since T is string, the condition is true, so the type is number.

Which is NOT a benefit of using conditional types over overloads?

A Less repetitive code

B Easier to maintain

C More runtime performance

D Simpler type definitions

Conditional types affect compile-time types only and do not improve runtime performance.

Describe how conditional types work and how they can replace function overloads in TypeScript.

Think about how if-else logic applies to types.

Write a simple conditional type that returns 'string' if the input type is boolean, and 'number' otherwise.

Use T extends boolean ? string : number