2.1절. 추상에 대해서

보통 영어로 abstract라고 하며, 한문으로는 抽象 이라고 표기된다. 그럼 추상이란 무엇인가에 대해서 뜻풀이를 해보도록 하자.

아무래도 우리는 한자문화권에 속해 있고, 추상역시 한자어 임으로 抽象 을 이용해서 기본적인 뜻을 알아보도록 하겠다. 抽 는 "빼다", "없애다" 의 뜻을 가지며, 象 은 "모양", "그림", "형태" 의 뜻을가진다. 즉 "모양이나 형태가 없는", "모양이나 형태를 뺀 혹은 감춘", 이란 뜻을 보여준다.

다시말해서 보이지 않는 것의 실체를 뜻한다. 보이지 않는데 실체가 있다니.. 무슨소리인가. ... 권력은 눈에 보이지 않지만 사회를 지배하고, 평화를 낳기도 하며 전쟁을 일으키기도한다. 숫자도 눈에 보이지 않지만 물리법칙을 통해 우주의 질서를 이루어낸다. 사랑역시 눈에 보이지 않지만 남여사이를 관장한다.

권력의 실체는 저뒤에 숨어 있으며, 우리는 그 권력의 결과를 몸소 체험하면서 살고 있다. 보이지 않는 저 뒤의 권력이 어떻게 작용하느냐에 따라서 사회, 국가 개인의 희비가 교차한다. 눈에 보이지 않음으로 별거 아니라고 생각하고 있지만 실은 눈에 보이는것보다 더 큰힘을 행사하는게 이런 추상적인 것들이다.

세계적인 철학자, 과학자, 정치가, 경제가 들은 이러한 보이지 않는 실체를 탐구해서 그 핵심에 거의 다다르고 있는 사람들이다. 이러한 추상화는 보이지 않는 실체와 그 결과를 구분시켜 준다. 그럼으로써 얻는 이익을 생각해 보자. 보통의 일반인들은 경제가 어떻게 구현되고 흘러가는지 알지 못해도 세상을 살아갈수 있다. 정치, 과학, 수학 이런것들 역시 마찬가지이다. 이런 고효율의 사회(국가)를 만들어 준다. 개인에게 다른것들이 어떻게 구현되는지 신경쓸필요 없이 자신의 전분분야에 집중할수 있게 만들어 주기 때문이다.

추상화가 이루어지지 않은 사회에서는 세상을 살아갈경우를 생각해보자, 원시 부족사회를 예를 들어보자면 하나의 가정은 살아남기 위해서, 수렵도 해야 하고, 사냥도 해야하고, 밭도 일구어야 하고, 집도 만들어야하고 가재도구도 손수 만들어야 하며, 아이들 교육도 직접 해야한다. 부족내에서 구하기 힘든 물건을 구하기 위해서 손수 물물교환을 해야하기도 한다. 회의에도 몸소참석해야 한다. 하나부터 열까지 모두 신경써줘야 한다. 그나마 간단한 부족사회라면 가능하겠지만, 조금만 규모가 커지면 이정도가지고는 힘들어진다. 지금 사회를 살고 있는 우리는 쌀이 어떻게 만들어져서 어떤경로를 거쳐서 쌀통까지 오는지 몰라도 된다. 이런건 농사꾼, 유통업자, 가공업자 등등의 사람들이 할일이다. 경제 수학 다른 것도 마찬가지다. 그럼으로 개인은 개인이 할일에 충실히하는 (물론 다른분야에도 약간의 관심을 가지고 접근하면 더 좋겠지만) 정도로도 복잡한 사회를 유지시켜 나갈수 있게 된다.

이런 추상화의 능력이야 말로 인간과 동물을 구분시켜주는 지적능력의 산물이라고 볼수 있다.

2.2절. ADT(Abstracte Data Type) - 데이타의 추상 -

이상 추상에 대해서 이런저런 잡다한 얘기를 늘어 놓은것은 추상 데이타 타입(ADT)에 대한 설명을 위해서였다.

추상 데이타 타입역시 프로그래밍에서의 추상과 마찬가지로 구현과 사용을 (구현을 숨김으로써)분리시키기 위해서 사용하는 개념이다. 이때 숨겨지는 구현이 자료구조를 위한 것이면 추상 데이타 타입이되 는 것이다.

간단한 예를 들어 보도록 하자. 만약 여러분이 stack 자료구조를 ADT 를 통해서 구현해야 한다고 했을때, 다음과 같이 class 를 통해서 ADT 를 정의 할수 있을 것이다.

예제 : stack_adt.cc

#include <iostream.h>
#define MAX_ELE_NUM 256

using namespace std;

// Stack Class
class Stack
{
    private:
        int element_num;
        int mystack[MAX_ELE_NUM];
    public:
        Stack();
        int push_back(int);
        int get_back();
        int size();
};

// 생성자
Stack::Stack()
{
    element_num = 0;
    memset(mystack, 0x00, sizeof(int)*MAX_ELE_NUM);
}

// 데이타 입력
int Stack::push_back(int data)
{
    if (element_num > (MAX_ELE_NUM))
    {
        return -1;
    }
    mystack[element_num] = data;
    element_num++;

    return 1;
}

// 데이타 가져오기
int Stack::get_back()
{
    element_num--;
    return mystack[element_num];
}

// 가지고 있는 데이타의 갯수 
int Stack::size()
{
    return element_num;
}

int main()
{
    int i;
    Stack *mystack;
    int size;

    mystack = new Stack;
    mystack->push_back(1);
    mystack->push_back(2);
    mystack->push_back(3);
    mystack->push_back(4);

    size = mystack->size();
    for(i = 0; i < size; i++)
    {
        cout << mystack->get_back() << endl;
    }
}
			

위의 코드의 경우 c++ 을 이용했는데, 기본적으로 class 를 이용할 경우 쉽게 ADT 를 정의할수 있기 때문으로 개념설명에 적합하기 때문이다 (class 자체를 ADT라고 볼수 있다). 물론 ADT 는 개념임으로 약간더 신경써주면 C 로도 어렵지 않게 정의 할수 있다.

위의 코드는 int 자료만을 stack 에 입력할수 있는데, c++ 의 다형성을 이용하면 다른 자료형으로도 쉽게 확장 가능할것이다. 만약 Template 를 사용할경우 거의 대부분의 자료형에 대한 입/출력이 가능할것이다. Template 에 대한 내용은 stl(1)-STL 개요에서 (비록 간단하지만)다루고 있음으로 참조하기 바란다.