Связанный список программирования на C для цикла

Учитывая стандартный связанный список, где «яблоки» - это список со свойствами (-> first и -> last), а «яблоко» - это элемент этого списка со свойством (-> next). Как работает этот цикл?

typedef struct
{
    list_element header;
    int value;

} apple;

int main()
{
    list apples;
    apple * a = (apple *) malloc(sizeof(apple));
    apple * b = (apple *) malloc(sizeof(apple));
    apple * c = (apple *) malloc(sizeof(apple));

    a->value = 1;
    b->value = 2;
    c->value = 3;

    list_init(&apples);

    list_push_back(&apples, &a->header);
    list_push_back(&apples, &b->header);
    list_push_back(&apples, &c->header);

    for (a = (apple *) list_begin(&apples); a; a = (apple *) list_next(&a->header))
    {
        printf("%d\n", a->value);
    }

Как работает этот цикл? Функция list_begin просто возвращает -> первое из яблок. ; A; как говорит условный оператор, если не 0, то продолжить цикл for? а последняя часть указывает на следующий элемент в цикле. Итак, когда последним значением цикла является a = 0, что завершит цикл for?

Имеет ли это смысл?