Lesson 26 of 59

5 mins read

Python Constructors: Initializing Formals & Initializer Lists

In Plain English

Dart eliminates constructor boilerplate using **Initializing Formals** (`Point(this.x, this.y);`), which directly assigns arguments to fields before the constructor body runs. When complex validation or superclass setup is required, **Initializer Lists** (`: assert(x > 0), this.y = compute(x)`) execute before the constructor body.

The Mental Model

"Initializing formals are like a direct vacuum tube delivery: packages sent into the tube land directly in their assigned storage bins without requiring manual unpacking."

Deep Dive: How It Works

Initializing Formals (`this.fieldName`): Directly assigns constructor parameters to instance fields without manual `this.x = x` assignments.

Initializer List (`:`): A comma-separated list of expressions that execute *before* the constructor body and before `super()`.

Null Safety Invariant: Non-nullable final fields MUST be initialized either at declaration, via initializing formals, or in the initializer list.

Syntax Blueprint

class Point {
  final double x;
  final double y;

  // Initializing formals + Initializer list
  Point(this.x, this.y) : assert(x >= 0, "x cannot be negative");
}

Initializing formals binding fields directly with initializer list assertion.

Core Rules to Remember

Zero Assignment Boilerplate: `Point(this.x, this.y);` replaces 6 lines of Java/C++ assignment code.

Initializer List Precedence: Runs before the constructor body, satisfying non-nullable `final` field rules.

Safe Assertions: Assert invariants directly in the initializer list.

Common Beginner Traps & How to Fix Them

Mistake:Trying to assign a non-nullable `final` field inside the `{ ... }` constructor body.

Why it happens: By the time the constructor body runs, all final fields must already be initialized.

How to fix: Use initializing formals (`this.field`) or initializer lists (`: field = expr`).

Pro Tip: Combine initializing formals with named parameters for clean, Flutter-style constructors: `User({required this.id, required this.name});`.

Live Interactive Example

Hit Run Code to see it live

Initializing Formals and Initializer Lists

Python 3.12

Output Console

Click "Run Code" to view the rendered output.

How it works: The initializer list bound width/height, verified assertions, and computed area before body completion.

Your Turn: Micro Challenge

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

Micro Exercise

Build Circle with Initializer List

Create class `Circle` with `final double radius; final double area;`.
Use constructor `Circle(this.radius) : area = 3.14159 * radius * radius;`.
In `main()`, instantiate `Circle(10.0)` and print `Area: ${circle.area}`.

Sandbox Output

Click "Run & Check" to test your solution.

Finished reading and practicing?

Mark this lesson as completed to update your course progress.