Понимание кода Debounce

Я не понимаю следующий код Debounce. (Полный код приведен внизу.) Насколько я понимаю, когда пин что-то считывает, мы ждем не менее 50 миллисекунд, прежде чем что-либо выполнить. Но разве переменная чтения не сбрасывается при каждой итерации цикла, поэтому чтение равно нулю во внутреннем условии if на каждой итерации.

Я думаю, это последовательность событий: loop(), loop(), loop(), "loop(), нажатие кнопки, чтение=1, установка lastDebounceTime, сначала, если условие не выполняется, потому что нам нужно ждать, set lastButtonState=1", loop(), loop(),loop(), "loop()" прошло достаточно времени, но поскольку ни одна кнопка не нажата в этой и последних итерациях, чтение и lastButtonState равны нулю", цикл (), ... .

Однако этот код работает.

Почему мы сохраняем чтение в локальной переменной? Тогда не будет ли код практически всегда таким:

if (reading != lastButtonState) {
    // сброс таймера устранения дребезга
    lastDebounceTime = millis();
  }

  if ((millis() - lastDebounceTime) > debounceDelay) {
    // каким бы ни было чтение, оно было там дольше, чем устранение дребезга
    // задержка, так что примите это как фактическое текущее состояние:

    // если состояние кнопки изменилось:
    if 0 != buttonState) {
      buttonState = 0;

...

Весь код:

/*
  Debounce

  Each time the input pin goes from LOW to HIGH (e.g. because of a push-button
  press), the output pin is toggled from LOW to HIGH or HIGH to LOW. There's a
  minimum delay between toggles to debounce the circuit (i.e. to ignore noise).

  The circuit:
  - LED attached from pin 13 to ground
  - pushbutton attached from pin 2 to +5V
  - 10 kilohm resistor attached from pin 2 to ground

  - Note: On most Arduino boards, there is already an LED on the board connected
    to pin 13, so you don't need any extra components for this example.

  created 21 Nov 2006
  by David A. Mellis
  modified 30 Aug 2011
  by Limor Fried
  modified 28 Dec 2012
  by Mike Walters
  modified 30 Aug 2016
  by Arturo Guadalupi

  This example code is in the public domain.

  http://www.arduino.cc/en/Tutorial/Debounce
*/

// константы не изменятся. Они используются здесь для установки номеров контактов:
const int buttonPin = 2;    // номер вывода кнопки
const int ledPin = 13;      // номер вывода светодиода

// Переменные изменятся:
int ledState = HIGH;         // текущее состояние выходного вывода
int buttonState;             // текущее чтение с входного вывода
int lastButtonState = LOW;   // предыдущее чтение с входного вывода

// следующие переменные являются беззнаковыми длинными, потому что время, измеренное в
// миллисекунды, быстро станет большим числом, чем может быть сохранено в int.
unsigned long lastDebounceTime = 0;  // последний раз, когда выходной пин был переключен
unsigned long debounceDelay = 50;    // время устранения дребезга; увеличить, если выход мерцает

void setup() {
  pinMode(buttonPin, INPUT);
  pinMode(ledPin, OUTPUT);

  // устанавливаем начальное состояние светодиода
  digitalWrite(ledPin, ledState);
}

void loop() {
  // прочитать состояние переключателя в локальную переменную:
  int reading = digitalRead(buttonPin);

  // проверяем, не нажали ли вы кнопку только что
  // (т.е. входной сигнал изменился с НИЗКОГО на ВЫСОКИЙ), и вы ждали достаточно долго
  // с момента последнего нажатия, чтобы игнорировать любой шум:

  // Если переключатель изменился из-за шума или нажатия:
  if (reading != lastButtonState) {
    // сброс таймера устранения дребезга
    lastDebounceTime = millis();
  }

  if ((millis() - lastDebounceTime) > debounceDelay) {
    // каким бы ни было чтение, оно было там дольше, чем устранение дребезга
    // задержка, так что примите это как фактическое текущее состояние:

    // если состояние кнопки изменилось:
    if (reading != buttonState) {
      buttonState = reading;

      // переключать светодиод только в том случае, если состояние новой кнопки ВЫСОКОЕ
      if (buttonState == HIGH) {
        ledState = !ledState;
      }
    }
  }

  // устанавливаем светодиод:
  digitalWrite(ledPin, ledState);

  // сохранить чтение. В следующий раз в цикле это будет lastButtonState:
  lastButtonState = reading;
}

(Код устранения отказов взят из: https://www.arduino.cc/en/tutorial/debounce.<!-- а-->)