Lesson 44 of 59

5 mins read

Type Promotion & Flow Analysis

In Plain English

Dart features sophisticated **Flow Analysis**. When the compiler sees a control flow branch that checks `if (variable != null)` or `if (variable is Subclass)`, it **promotes** the variable from a nullable or general type to a non-nullable or specific type automatically throughout that branch. In Dart 3.2+, type promotion even extends to private final fields.

The Mental Model

"Type promotion is like getting an authenticated wristband at a conference: once the check-in desk verifies your ID at the door (`!= null`), you can walk into every VIP room inside without showing your passport again."

Deep Dive: How It Works

Null Checking Promotion: `String? x` checked with `if (x != null)` is automatically treated as `String` inside the block.

Type Test Promotion: `Object obj` checked with `if (obj is List)` is automatically promoted to `List` (unlocking `.length`, `.add()`).

Definite Assignment: Flow analysis verifies that variables are assigned before use along every possible execution path.

Syntax Blueprint

void process(Object? item) {
  if (item is String) {
    print(item.toUpperCase()); // Promoted to String!
  } else if (item is List) {
    print("Items: ${item.length}"); // Promoted to List!
  }
}

Smart type promotion across branching flow conditions.

Core Rules to Remember

Zero Manual Casting: Eliminates ugly `(item as String)` type cast boilerplate.

Definite Assignment: Ensures local variables are initialized on all code paths.

Private Field Promotion: Dart 3.2+ promotes private final fields (`_privateField != null`).

Common Beginner Traps & How to Fix Them

Mistake:Expecting public mutable fields to promote across methods.

Why it happens: A public mutable field could theoretically be modified by another thread or getter between checks.

How to fix: Copy the field to a local variable (`final val = myField; if (val != null) ...`).

Pro Tip: Shadow nullable fields into local final variables (`final user = _user; if (user != null) ...`) for guaranteed smart flow promotion.

Live Interactive Example

Hit Run Code to see it live

Smart Type Promotion with Flow Analysis

Python 3.12

Output Console

Click "Run Code" to view the rendered output.

How it works: Flow analysis promoted data to String and int, unlocking specific methods without manual casting.

Your Turn: Micro Challenge

No pressure! Edit the starter code below and test your solution with instant feedback.

Micro Exercise

Promote Object to String

Write function `void printUpper(Object? val) { if (val is String) { print(val.toUpperCase()); } }`.
In `main()`, call `printUpper("zencompiler");`.

Sandbox Output

Click "Run & Check" to test your solution.

Finished reading and practicing?

Mark this lesson as completed to update your course progress.