Special Effects FX 스스로를 감동시켜야 최선을 다 한 것이다.

'양방향 연결 리스트(doubly linked list)' 또는 '이중 연결 리스트' 라고도 불리는 이 자료구조는 그 이름이 의미하듯이 노드가 양쪽 방향으로 연결된 구조의 리스트이다.

즉, 왼쪽 노드가 오른쪽 노드를 가리킴과 동시에 오른쪽 노드도 왼쪽 노드를 가리키는 구조이다.

ex) data1-> <-data2 -> <-data3

더미 노드 양방향 연걸리스트도 있고, 원형 연결 기반의 양방향 연결 리스트 등등도 있다.

밑에 나오는 예제는 기본적인 양방향 연결 리스트이다.

서로 봐라보는 것이라 복잡하게 느껴진다. 하지만 실제로 코드를 비교해 보면 상대적으로 더 복잡하지 않음을 알 수 있다. 

양쪽 방향으로 이동할 수 있기 때문에 단방향 연결 리스트에서는 어렵게 구현했던 것이 쉽게 구현되기도 한다. 때문에 오히려 단순하게 느껴지는 측면도 있다.

예제

이 예제에서는 배열의 단점을 분명히 보여주고 있다.

"배열은 메모리의 특성이 정적이어서(길이의 변경이 불가능해서) 메모리의 길이를 변경하는 것이 불가능하다."

위 예제를 실행한 후 0 이하의 값을 입력하지 않고 계속해서 자연수만 입력을 하면 할당된 배열의 길이를 넘어서는 문제가 발생한다. 

이렇듯 특성이 정적인 배열은 필요로 하는 메모리의 크기에 유연하게 대처하지 못한다. 그래서 등장한 것이 '동적인 메모리의 구성' 이다.

프로그램 실행 중에 필요할 때마다 메모리 공간을 마련하는 유일한 방법은 "malloc 또는 그와 유사한 성격의 함수를 호출하는 메모리의 동적 할당" 이다.

연결 리스트의 기본 원리

"필요할 때마다 바구니의 역할을 하는 구조체 변수를 하나씩 동적 할당해서 이들을 연결한다."

동적할당으로 노드를 구성하는 예제)

자료구조는 코드를 통해서 공부하는 과목이 아니다. 코드를 통한 학습 이전에, 그림으로 설명하고 그림으로 이해해야 하는 과목이다.

위의 linked.c의 방식은 적절치 않다. 대표적인 두 가지 이유는 다음과 같다.

1. 연결 리스트의 ADT를 정의하지 않았다.

2. 삽입, 삭제, 조회의 기능이 별도의 함수로 구분되어 있지 않다.

즉, 위의 예제는 연결 리스트와 과련된 코드를 모조리 main 함수에다 집어넣었기 때문에 필요할 때 가져다 쓸 수 있는 형태가 아니다.

배열 기반 리스트의 단점

- 배열의 길이가 초기에 결정되어야 한다. 변경이 불가능하다.

- 삭제의 과정에서 데이터의 이동(복사)가 매우 빈번히 일어난다.

배열 기반 리스트의 장점

- 데이터의 참조가 쉽다. 인덱스 값을 기준으로 어디든 한 번에 참조가 가능하다.

위의 장점 및 단점은 '연결 기반 리스트' 를 대상으로 비교한 결과이다.

보통 '리스트'라고 하면 '연결 기반 리스트' 를 떠올리고 혹자는 '배열 기반 리스트' 는 불필요하다고까지 말하는 경우가 있다. 하지만 이는 잘못된 것이다.

배열 기반 리스트도 나름의 장점이 있다. 그리고 그 장점은 연결 기반 리스트에는 없는 장점이다.

"배열 기반 리스트도 각종 자료구조의 구현에 중요한 도구이고, 그 자체로도 훌륭한 자료구조이다."

배열 기반 리스트의 활용(주소 값을 저장)

ArrayList.c

ArrayList.h

리스트를 활용하는 것이라 ArrayList.h, ArrayList.c 를 포함시켜야 한다.

이 중에서 헤더파일인 ArrayList.h의 typedef 선언은 다음과 같이 변경해야 한다.

typedef int LData;        (typedef 선언 변경)     →        typedef NameCard * LData;

그리고 NameCard라는 이름의 인식을 위해서 ArrayList.h에 다음 문장도 포함시켜야 한다.

#include "NameCard.h"

리스트라는 자료구조는 구현방법에 따라서 다음과 같이 크게 두 가지로 나뉜다.

- 순차 리스트                        배열을 기반으로 구현된 리스트

- 연결 리스트                        메모리의 동적할당을 기반으로 구현된 리스트

하지만 이는 리스트의 구현방법의 차이에서 비롯된 것이기 때문에 이 둘의 ADT가 동일하다고 해서 문제 될 것은 없다. 물론 각각의 특성적 차이 때문에 ADT에 차이를 두기도 한다. 

리스트의 ADT 정의를 위해서 리스트 자료구조의 가장 기본적이고도 중요한 특성

1. 리스트 자료구조는 데이터를 나란히 저장한다.

2. 리스트 자료구조는 중복된 데이터의 저장을 막지 않는다.

자료구조 중에서는 중복된 데이터의 저장을 허용하지 않는 경우도 있다. 하지만 리스트는 이를 허용한다. 

즉, 리스트는 수학적으로 중복을 허용하지 않는 '집합' 과는 다르다. 그리고 이것이 리스트 ADT를 정의하는데 있어서 고려해야 할 유일한 요소이다. 

리스트 자료구조의 ADT

void ListInit(List * plist);        //C++의 생성자 역할

- 초기화할 리스트의 주소 값을 인자로 전달.

- 리스트 생성 후 제일 먼저 호루되어야 하는 함수.

void LInsert(List * plist, LData data);

- 리스트에 데이터를 저장한다. 매개변수 data에 전달된 값을 저장한다.

int LFirst(List * plist, LData * pdata);

- 첫 번째 데이터가 pdata가 가리키는 메모리에 저장된다. 

- 데이터의 참조를 위한 초기화가 진행된다.

- 참조 성공 시 TRUE(1), 실패 시 FALSE(0) 반환.

int LNext(List * plist, LData * pdata);

- 참조된 데이터의 다음 데이터가 pdata가 가리키는 메모리에 저장된다.

- 순차적인 참조를 위해서 반복 호출이 가능하다.

- 참조를 새로 시작하려면 먼저 LFirst 함수를 호출해야 한다.

- 참조 성공 시 TRUE(1), 실패 시 FALSE(0) 반환.

LData LRemove(List * plist);

- LFirst 또는 LNext 함수의 마지막 반환 데이터를 삭제한다. 

- 삭제된 데이터는 반환된다.

- 마지막 반환 데이터를 삭제하므로 연이은 반복 호출을 허용하지 않는다.

int LCount(List * plist);

- 리스트에 저장되어 있는 데이터의 수를 반환한다.

사실 위의 정보만 가지고는 리스트의 활용방법을 정확히 이해하기는 힘들다 이를 위해서는 헤더파일과 위의 함수들을 호출하는 main함수를 보아야 한다. 

그러나 위의 정보만 가지고도 리스트 자료구조가 제공하는 기능을 어느 정도 예측할 수 있어야 한다.      

모든 자료구조는 내부적으로 다양한 정보를 담게 된다. 그저 데이터만 담는 게 아니라 그 데이터를 효율적으로 저장 및 참조하기 위한 정보들도 담기기 마련이다. 따라서 이와 관련된 변수들의 초기화가 서너행되어야 하며 이를 담담하는 함수가 ListInit이다.

LFirst 함수를 호출하도록 ADT를 디자인한 이유는 무엇일까?

- 이에 대한 해답은 "LNext 함수를 호출할 때마다 다음에 저장된 데이터를 얻을 수 있다." 라는 사살에서 찾을 수 있다. 

이것이 가능한 이유는  리스트 내에서 '데이터의 참조위치' 를 기록하기 때문이다. 따라서 처음부터 참조를 새롭게 시작하기 위해서는 바로 이 정보를 초기화해야 한다. 그리고 이를 목적으로 LFirst 함수의 호출을 요구하는 것이다.

※ 자료구조를 공부하다보니 파이썬의 자료형들을 더욱 깊이 알게 되는구나!!

파이썬의 자료형 중 리스트를 다룰때마다 대충 이런식으로 되어있구나 하고 생각했었는데,

C 자료구조를 공부하니 이런식의 ADT가 되어있다는 것을 확실히 알았다.