The Zero-Value Concept

Design types that remain safe and initialized even when constructed using their default zero values.