Lesson 35 of 59

5 mins read

Extension Types: Zero-Cost Inline Wrappers in Dart 3.3

In Plain English

Introduced in Dart 3.3, **Extension Types** (`extension type Name(UnderlyingType)`) provide compile-time type safety and custom APIs around an underlying representation type without allocating an extra wrapper object on the heap. At runtime, the extension type completely disappears and operates directly as the raw underlying type (zero memory overhead).

The Mental Model

"An extension type is like putting on specialized sunglasses: looking through them gives you specialized tinted vision (custom API methods), but your actual eyes (the underlying data) remain unchanged."

Deep Dive: How It Works

Zero-Cost Abstraction: Prevents heap object allocations, garbage collector overhead, and pointer indirection.

Representation Declaration: `extension type Id(int value)` declares `int` as the backing storage.

Compile-Time Boundary: The compiler treats `Id` and `int` as distinct types, preventing passing a raw `int` where an `Id` is expected.

Syntax Blueprint

// Extension Type Definition
extension type UserId(int id) {
  bool get isValid => id > 0;
  void printBadge() => print("User #$id");
}

Zero-cost type wrapper wrapping int with custom methods.

Core Rules to Remember

Zero Heap Allocation: Replaces heavy wrapper classes with zero runtime memory overhead.

Strong Type Separation: Prevents accidentally mixing up different identifier types (e.g. `UserId` vs `OrderId`).

JS Interop Foundation: The foundation of modern Dart-to-Wasm and JS-interop bindings in Dart 3.3+.

Common Beginner Traps & How to Fix Them

Mistake:Expecting `extension type` to perform runtime polymorphism checks with `is`.

Why it happens: At runtime, extension types erase to their underlying representation type.

How to fix: Use extension types for compile-time safety and JS interop, not runtime subtype polymorphism.

Pro Tip: Use extension types for domain IDs (`CustomerId`, `ApiKey`) to eliminate ID mismatch bugs across API boundaries.

Live Interactive Example

Hit Run Code to see it live

Zero-Cost Identifier Wrappers with Extension Types

Python 3.12

Output Console

Click "Run Code" to view the rendered output.

How it works: AccountId provided type safety and custom methods with zero runtime wrapper allocation overhead.

Your Turn: Micro Challenge

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

Micro Exercise

Create Meters Extension Type

Create `extension type Meters(double value) { double get toKm => value / 1000; }`.
In `main()`, instantiate `final dist = Meters(5000.0);` and print `KM: ${dist.toKm}`.

Sandbox Output

Click "Run & Check" to test your solution.

Finished reading and practicing?

Mark this lesson as completed to update your course progress.