have_postsとthe_post

phpのプログラムでよく見るのが、以下のようなので始まるループです。

<?php while ( have_posts() ) : ?>
        <?php the_post(); ?>

ぱっと見で初心者の僕には何がなんだかさっぱりわからなかったのですが、どうやら、
・WordPressには$wp_queryという関数が予めあって、その中にループカウンタも入っているらしい
・have_postsはループカウンタ+1と$wp_query内の記事件数との大小を比較し、ループカウンタ+1の方が小さかった場合trueを、同じであった場合にはfalseを返すらしい
・the_postはループ内でカウントアップする機能があるらしい
です。