How TypeScript infers generic types - Quick Revision & Summary

Recall & Review

beginner

What does it mean when TypeScript 'infers' generic types?

TypeScript automatically figures out the specific types to use for generic parameters based on the values you provide when calling a function or creating an object.

beginner

How does TypeScript infer the generic type in this function?<br>

function identity<T>(arg: T): T { return arg; }

TypeScript looks at the argument you pass to identity and sets T to that argument's type automatically. For example, if you call identity(5), T becomes number.

intermediate

Can TypeScript infer multiple generic types in a function? Give an example.

Yes. For example:<br>

function pair(first: T, second: U): [T, U] { return [first, second]; }

When you call pair('hello', 10), TypeScript infers T as string and U as number.

beginner

What happens if TypeScript cannot infer a generic type?

You must explicitly provide the generic type when calling the function or creating the object. For example, identity<string>('text') tells TypeScript exactly what type to use.

beginner

Why is generic type inference helpful in TypeScript?

It saves you from writing extra type annotations, making code cleaner and easier to read, while still keeping type safety.

What does TypeScript use to infer a generic type in a function?

A The type of the argument passed to the function

B The return type of the function

C The name of the generic parameter

D The order of the generic parameters

TypeScript looks at the argument's type to decide what the generic type should be.

If a function has two generic types T and U, how does TypeScript infer them?

A From the first argument only

B From the function's return type

C From the types of the corresponding arguments passed

D It cannot infer multiple generic types

TypeScript infers each generic type from the matching argument's type.

What should you do if TypeScript cannot infer a generic type?

A Explicitly specify the generic type when calling the function

B Rename the generic type

C Ignore the error and run the code

D Remove the generic type

You provide the type explicitly to help TypeScript understand what you mean.

Which of these is a benefit of TypeScript's generic type inference?

A It disables type checking

B It removes type safety

C It makes code longer

D It reduces the need for extra type annotations

Inference helps keep code clean without losing type safety.

Given function wrap<T>(value: T): { value: T }, what is the inferred type of T when calling wrap('hello')?

A number

B string

C boolean

D any

Since 'hello' is a string, TypeScript infers T as string.

Explain how TypeScript infers generic types when you call a generic function.

Think about how TypeScript guesses the types based on what you pass in.

Describe a situation where you need to explicitly specify generic types in TypeScript.

Consider functions with no input or complex types.