공간 검사
size < capacity
회원 추가는 불변식을 보존하는 순서로 실행한다
어느 단계에서 실패해도 기존 사용 영역이 변하지 않도록 검사와 상태 확정을 분리합니다.
1 2 값 검사
email·age 유효
3 동시 기록
두 배열의 index=size
4 확정
성공 뒤 size++
핵심: size는 두 배열 쓰기가 모두 끝난 뒤 마지막 커밋처럼 증가합니다.
어느 단계에서 실패해도 기존 사용 영역이 변하지 않도록 검사와 상태 확정을 분리합니다.
size < capacity
email·age 유효
두 배열의 index=size
성공 뒤 size++
핵심: size는 두 배열 쓰기가 모두 끝난 뒤 마지막 커밋처럼 증가합니다.