А>Что означает этот код, когда мы прибавляем integer к структуре? Если учесть что tree_node это не массив структур.
Видишь звездочку? Это значит, что tree_node_2 — это не структура, а указатель (адрес).
Так что ты прибавляешь integer не к структуре, а к адресу, т.е. просто получаешь адрес, увеличенный на k размеров структуры.