Lesson 39 of 59

5 mins read

Sound Null Safety: Core Architecture

In Plain English

Dart features **Sound Null Safety**. By default, all types are non-nullable (`String`, `int`, `User`), meaning a variable can NEVER hold a `null` value unless explicitly annotated with a question mark (`String?`). Because the type system is 100% sound, if a variable is typed as `int`, it is guaranteed to NEVER be null at runtime, enabling ahead-of-time compiler speed optimizations.

The Mental Model

"Sound null safety is like airport security: instead of checking passenger tickets on every step down the terminal aisle, every traveler is verified at the security gate (compile-time) so they can board the plane smoothly without repeated checks."

Deep Dive: How It Works

Non-Nullable by Default: Standard type declarations like `int count = 0;` forbid `null` assignment at compile time.

Soundness: If the compiler guarantees a variable is non-nullable, it is impossible for it to be `null` at runtime.

Optimization Unlocks: The compiler can eliminate redundant null-checks, reduce compiled binary size, and inline native machine code.

Syntax Blueprint

String nonNullable = "Always has text";
// nonNullable = null; // COMPILE ERROR!

String? nullable = "Can be null";
nullable = null; // Valid

Non-nullable default vs explicit nullable declaration.

Core Rules to Remember

Non-Nullable by Default: Eliminates unexpected `NullPointerExceptions` before code ever runs.

100% Soundness: Guarantees are verified statically, removing runtime null checks.

Clear Intent: The `?` annotation explicitly documents when absence of a value is allowed.

Common Beginner Traps & How to Fix Them

Mistake:Leaving a non-nullable variable uninitialized without a default value.

Why it happens: Non-nullable variables must have a valid non-null value before they can be read.

How to fix: Initialize the variable upon declaration, via constructor formals, or use `late`.

Pro Tip: Sound null safety allows the Dart compiler to generate smaller, faster native binaries because it can omit defensive runtime null guards.

Live Interactive Example

Hit Run Code to see it live

Sound Null Safety Invariants in Practice

Python 3.12

Output Console

Click "Run Code" to view the rendered output.

How it works: Verified non-nullable String length calculation without runtime checks and declared nullable String?.

Your Turn: Micro Challenge

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

Micro Exercise

Declare Non-Nullable and Nullable Strings

Declare `String title = "Dart Course";`.
Declare `String? subtitle = null;`.
Print `Title: $title, Subtitle: $subtitle`.

Sandbox Output

Click "Run & Check" to test your solution.

Finished reading and practicing?

Mark this lesson as completed to update your course progress.