Clean함수의 else부분 질문 있습니다

이해가 안된것 같아요 readPos를 먼저 앞으로 당겼기 때문에 DataSize의 값에 변동이 있어 writePos가 나중에 초기화 되면 예상되는 값이 안나올것 같습니다 writePos가 readPos 만큼 앞으로 당겨지려면writePos가 먼저 초기화 되야하지 않나요??