[자료구조] 추상 자료형 (ADT)

추상 자료형 (ADT; Abstract Data Type)

자료형 말 그대로 데이터의 종류입니다. 프로그래밍 언어가 기본적으로 제공합니다. ex) 정수, 실수, 문자, 배열 등…

추상 자료형 실제적인 구현으로부터 분리되어 정의된 자료형입니다. ex) 자료구조

 

특징

• 구현과 분리해 자료형을 추상적(수학적)으로 정의했습니다.
• 데이터나 연산이 무엇(what)인지는 정의되지만 어떻게(how) 컴퓨터 상에서 구현할 것인지는 정의되지 않습니다.
• 자바에서 사용하는 interface도 추상 자료형을 나타내기 위한 방법입니다.
• ::= ’~으로 정의된다’를 의미합니다.

 

예시 1. ADT 표기

자료구조 중 스택을 ADT로 표기해보겠습니다. ::= 기준으로, l-value에는 정의할 메소드명을 기입해주고 r-value에는 어떻게 동작하는지 기입해주면 됩니다.

create(size) ::= 크기가 size인 스택 생성
is_full(s) ::= if(스택(s)의 원소 수 == size) return true; else return false;
is_empty(s) ::= if(s의 원소 수 == 0) return true; else return false;
push(s, item) ::= if(is_full(s)) return FULLSTACK_ERROR; else stack 맨 위에 item 추가
pop(s) ::= if(is_empty(s)) return EMPTY_ERROR; else stack 맨 위 item 제거 및 반환

 

 

예시 2. 코드 작성

실제 코드로는 어떻게 사용할 수 있는지 자바로 예시를 들어보겠습니다. interface를 통해 추상 자료형을 만들고 class로 구현한 코드 입니다.

@Getter
@Setter
public interface student {
	private int age;
	private String name;
	private int grade;

	public void hello();
}

public class SchoolEx {
	public static void main(String[] args) {
		Freshman f1 = new Freshman();
		Undergraduate u1 = new Undergraduate();

		f1.hello();
		u1.hello();
	}
}

public Freshman implements student {
	public void hello() {
		System.out.println("Hello!");
	}
}

public Undergraduate implements student {
	public void hello() {
		System.out.println("Hell.....lo...");
	}
}