빈 로그
size=0모든 칸 미사용
StudyLog 불변식은 성공한 전이마다 유지된다
추가와 삭제 전후에 사용 영역과 size가 일치해야 합니다.
추가 성공
entry[0] 저장size=1
추가 실패
상태 불변size=1
삭제 성공
뒤 원소 이동마지막 null·size-1
핵심: 실패 경로가 배열 일부나 size를 먼저 바꾸지 않게 순서를 설계합니다.
추가와 삭제 전후에 사용 영역과 size가 일치해야 합니다.
size=0모든 칸 미사용
entry[0] 저장size=1
상태 불변size=1
뒤 원소 이동마지막 null·size-1
핵심: 실패 경로가 배열 일부나 size를 먼저 바꾸지 않게 순서를 설계합니다.