ADT CONTRACT

스택과 큐는 꺼내는 순서가 계약이다

같은 입력을 넣어도 LIFO와 FIFO 계약이 다르면 탐색과 처리 결과가 즉시 달라진다.

Stack: LIFO

push 1 push 2 push 3

pop 두 번 → 3, 2

Queue: FIFO

enqueue 1 enqueue 2 enqueue 3

dequeue 두 번 → 1, 2

계약 포인트: push/pop, enqueue/dequeue 이름보다 빈 구조 처리와 반환 규칙을 먼저 고정해야 한다.