Control flow analysis behavior in Typescript - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is control flow analysis in TypeScript?

Control flow analysis is TypeScript's way of understanding how your code runs step-by-step to check types and catch errors before running the program.

beginner

How does TypeScript narrow types using control flow analysis?

TypeScript narrows types by checking conditions like if statements or type checks, so it knows more specific types inside those blocks.

beginner

What happens when you use an 'if' statement with a type guard in TypeScript?

Inside the 'if' block, TypeScript treats the variable as the narrowed type, helping you avoid errors and write safer code.

intermediate

Explain how TypeScript handles control flow with variables that can be null or undefined.

TypeScript tracks checks like 'if (variable != null)' to know when a variable is safe to use without null or undefined errors.

intermediate

What is the effect of reassignment on control flow analysis in TypeScript?

When a variable is reassigned, TypeScript updates its understanding of the variable's type, which can widen or narrow the type depending on the new value.

What does TypeScript do when it sees an 'if (typeof x === "string")' check?

A It treats x as a number inside the if block.

B It ignores the type check.

C It treats x as a string inside the if block.

D It throws a runtime error.

TypeScript narrows the type of x to string inside the if block based on the typeof check.

If a variable can be string or undefined, what does TypeScript infer after 'if (variable)' check?

A variable is undefined inside the if block.

B variable is string inside the if block.

C variable is string or undefined inside the if block.

D variable is never inside the if block.

The if check filters out undefined, so inside the block variable is treated as string.

What happens if you reassign a variable inside a block in TypeScript?

A The variable's type becomes any.

B TypeScript ignores the reassignment.

C TypeScript crashes.

D TypeScript updates the variable's type based on the new value.

Reassignment causes TypeScript to update its control flow analysis and adjust the variable's type accordingly.

Which of these helps TypeScript narrow types during control flow analysis?

A Type guards like 'typeof' or 'instanceof'.

B Comments in the code.

C Variable names.

D Whitespace formatting.

Type guards provide runtime checks that TypeScript uses to narrow types.

What does control flow analysis NOT do?

A Change the actual runtime behavior of code.

B Predict runtime errors by checking types.

C Narrow types inside conditional blocks.

D Track variable assignments.

Control flow analysis is a compile-time feature and does not affect how code runs at runtime.

Describe how TypeScript uses control flow analysis to narrow variable types inside an if statement.

Think about how TypeScript understands conditions to know more about variable types.

Explain the impact of variable reassignment on TypeScript's control flow analysis.

Consider what happens when a variable gets a new value.