смысл его сводится к тому, равенство это случается лишь однажды, при первом совпадении. С тем же успехом можно было поставить начальное значение -1 и сравнивать if (ret < 0)
Для начала - расскажи-ка, а что эта функция должна делать? Как можно определить, что "все правильно в ней, нет опечаток", если вообще неизвестно, что тут должно быть? Проверка ret==s.size() используется, потому что при первом сравнении значение ret изменяется.