Pure Virtual Methods as Compile-Time Contracts: Concept Explained

Concept

In short: `pure virtual` methods create mandatory API contracts that every concrete subclass must implement before it can be instantiated.

A pure virtual method is the strongest way to define required behavior in an abstract base class. The compiler/elaborator enforces the contract: no concrete class can exist without implementing every required method.

This turns architecture intent into a hard rule. Instead of relying on code review discipline, you get language-level checks that drivers, adapters, and models implement the operations your environment depends on.

Related topics

• Back to Pure Virtual Methods as Compile-Time Contracts