추상 자료형

October 17, 2022

추상 자료형이란 #

추상 자료형은(Abstract Data Type, ADT)는 자료의 형태와 그와 관계된 연산을 수학적으로만 정의한 것이다. 해당 자료형이 내부적으로 어떤 방식으로 구현되는지는 관심이 없다. ‘형’과 ‘Type’, ‘자료’와 ‘Data’가 동일한 뜻인 것을 가끔 인지하지 못할 때가 있다.

정수는 추상 자료형(ADT)이다. …, -2, -1, 0, 1, 2, …의 값으로 정의되며, 연산은 더하기, 빼기, 곱하기, 나누기가 가능하고, 대소 비교 등도 가능하다.

추상적 자료형은 구현 방법을 명시하고 있지 않다는 점에서 자료 구조와 다르다. 비슷한 개념의 추상적 자료 구조는 각 연산의 시간 복잡도를 명기하고 있지만 추상적 자료형에서는 이것조차 명기하지 않는다.

추상 자료형의 정의 #

어떻게 정의되어야 하는지에 대한 표준화된 약속은 없다. 넓게 나눠보면 “명령적”(혹은 “절차적”), “기능적”(혹은 “공리적”)인 정의 방식이 있다.