При каком условии значение переменной станет равным 0?

Значение переменной становится равным 0 в нескольких чётко определённых ситуациях. Самый очевидный случай — явное присваивание литерала 0. Однако есть и другие распространённые сценарии: инициализация по умолчанию в некоторых языках, результат арифметических операций с нулевым итогом, преобразование логического false в целочисленный ноль, а также возврат нуля из функции. Ниже разберём каждый случай с примерами.

• Явное присваивание или инициализация
  Прямое указание нуля при объявлении или в коде:
  

  int x = 0;      // инициализация нулём
  x = 0;          // присваивание после объявления

  Это самый понятный и предсказуемый способ.
• Инициализация по умолчанию (только для определённых контекстов)
  В C и C++ глобальные и статические переменные обнуляются компилятором, если их явно не инициализировали:
  

  static int x;   // x == 0 (статические и глобальные)
  int y;          // локальная переменная — значение не определено!

  В Java, C# и Go локальные переменные не обнуляются автоматически — их обязательно нужно инициализировать вручную. Поля классов по умолчанию получают 0 (для числовых типов).
• Результат арифметических или битовых операций
  Любое выражение, которое вычисляется в 0, присваивает переменной ноль:
  

  x = a - a;      // разность числа с самим собой
  x = 0 * b;      // умножение на ноль
  x = a & 0;      // побитовое И с нулём
  x = a ^ a;      // XOR числа с самим собой
  x = a << 31;   // сдвиг, который может дать 0 (зависит от типа)

  Здесь важно следить за типами данных: для целых чисел переполнение опускает лишние биты, но в безопасных языках (C#, Java) это не меняет результат — 0 остаётся 0.
• Приведение типа
  Логическое false в большинстве языков преобразуется в целочисленный 0:
  

  int x = false;   // C#: x == 0
  bool flag = false;
  int x = flag ? 1 : 0; // явное преобразование

  В C/C++ любое ненулевое значение считается истиной, а 0 — ложью, поэтому присваивание результата логического выражения может дать 0 при false.
• Возврат из функции
  Функция, возвращающая 0 в качестве результата, присваивает его переменной:
  

  int getZero() { return 0; }
  int x = getZero(); // x == 0

  Это часто используется как сигнал об успешном завершении в main().
• Особые случаи: указатели и ссылки
  В C и C++ нулевой указатель (NULL или nullptr) при приведении к целому типу даёт 0:
  

  int* ptr = nullptr;
  int x = (int)ptr; // x == 0

  В современных языках с безопасной памятью такое приведение запрещено.

Важно: Деление на ноль не делает переменную равной 0 — в большинстве языков это приводит к исключению (Java, C#, Python) или неопределённому поведению (C/C++). Также стоит помнить, что неинициализированная локальная переменная в C/C++ содержит мусор — надеяться на 0 в таком случае нельзя.