Здравствуйте, skeptic, Вы писали:

S>А что такое — "= 0"? и для любого ли типа такой 0 прокатит?

Дефолтная инициализация.
У любого типа есть она.

Вот такое дефолтно инициализирует структуру, содержащую любые поля.

struct {
  int i;
  void* p;
} s = {};

S>Ну и в конце концов чем отличается такой вот 0 от мусора?

Предсказуемостью. Меньше будет проблем которые воспроизводятся только в определённой фазе луны.