이전 | 대문 | 영어

내가 C++ 을 주 개발 언어로 사용하지 않는 이유

나는 소프트웨어 개발에 있어서 대개 C 를 주 개발 언어로 사용하는데 세가지 이유가 여기 소개 된다. 나는 여러 컴퓨터 프로그래밍 언어들을 익혀왔고, 특정한 언어가 다른 것들보다 우월하다는 생각보다는 그것이 원하는 목표를 달성하는 도구에 지나지 않는다고 본다.

1992 년에 포트란 77 을 필두로, C, C++ 을 차례로 익혀갔으며 그 후에 파스칼, 베이식, 자바, 펄, 파이선 등 다른 언어들을 익혀갔다. 어쨌든 이 글은 C 와 C++ 에 초점을 두고 있는데 둘 중 어떤 언어가 내가 개발하려는 소프트웨어 라이브러리를 더 만족스럽게 구현할 수 있는지 고민한 적이 있기 때문이다.

1994년, 나는 C++ 언어의 막강함과 그 철학에 매료되어 있었기 때문에 내 소프트웨어 개발들을 C++ 세상에 맞추어가려고 노력했다. 한때 나는 C++ 광신도였다. 그리고 1996년 대학을 졸업한 뒤, 반모서리 고체 모델 구조에 자주 사용되는, 연결 리스트가 주 기능인 자료 구조 라이브러리를 구현하기 시작했다. ( IMA 프로젝트 개발 진행 과정 참조 )

그 당시 나는 작고, 빠르고, 일반화된 코드를 작성하는 것에 관심이 많았기 때문에, 이 조건들을 만족하는 연결리스트를 어떻게 만들 수 있을 지 고민했다. 일반화에 대해서는 C++ 템플릿이 좋은 선택이지만 템플릿은 소스 수준의 일반화 밖에 할 수 없다는 사실을 간과하기 싫었다. 예를 들어 템플릿 메소드

template<class T> T add( T a, T b )
{
	return a + b;
}

만일 이 메소드가 'int' 와 'double' 클래스에 대해 호출된다면, 두개의 'add' 메소드가 최종 이진 코드에 생성될 것이다. 만일 템플릿 코드나 템플릿 인자로 전달되는 클래스들이 증가한다면?

그래서 나는 연결리스트를 이진 코드 수준에서 일반화 할 수 있는 방법을 찾으려했고, 결과적으로 리눅스 커널에서 사용되는 연결리스트 구현 방식을 택했다.

이 기법은 이진 트리들이나 B 트리 또는 많은 다른 자료 구조들에 적용될 수 있고, 템플릿에 비해 많은 실행 코드들을 절감할 수 있다. ( 이 기법은 Coral 라이브러리 의 연결리스트와 이진 트리에 적용되었다. )

하지만, 이 기법을 C++ 에서 사용하는 것이 불가능한가? 그렇지 않지만, C++ 철학에 맞지는 않는다. C++ 세상에서는, 자료 구조의 경우 템플릿을 이용해 구현한 STL 이 인기가 있다.

두번째 이유는, C99 표준에서 가변 배열 멤버 ( FAM, Flexible Array Member ) 라 불리는 다음과 같은 기법이 C++ 표준 할당자 new 로 구현될 수 없다는 점이다.

struct _fam {
	int my_code;
	char my_name[];
};

struct _fam* fam = (struct _fam*)
	malloc( (sizeof(struct _fam)+1) + strlen(name) );

C99 나 컴파일러 확장 없이,

struct _fam {
	int my_code;
	char my_name[1];
};

struct _fam* fam = (struct _fam*)
	malloc( sizeof(struct _fam) + strlen(name) );

끝으로 C 가 언어 중립적 인터페이스를 제공하는 가장 쉬운 방법이라는 점을 지적하고 싶다. 이름 장식과 개체 지향적 특징은 C++ 메소드가 다른 언어들에서 직접 호출될 수 없게 한다. CORBA 나 COM 은 IDL 을 사용하고 C++ 로 구현될 수 있지만, 본질적으로 그것들은 C++ 인터페이스가 아니다. 그리고 그것들은 보다 복잡한 구현 단계를 필요로 한다. CORBA 나 COM 을 사용할 수 있는 현존하는 모든 언어들은 C 함수를 호출할 수 있는데다가 ( CORBA 나 COM 을 위해 필요한 ) 구조체를 갖지 않는 포트란 77 같은 언어에서도 C 함수를 쉽게 호출할 수 있다. 가장 대표적인 예는 FGL, FORTRAN OpenGL 이다.

C 는 C++ 의 부분 집합이기 때문에, C 의 모든 특징은 C++ 에 포함되어 있다. 하지만, 어떤 언어를 사용한다면 그 언어의 철학을 따라야 한다. 포트란식 C 프로그램을 작성하고 있다면 그냥 포트란을 써라. C 식 C++ 프로그램을 작성하고 있다면, 그냥 C 를 써라.

더 이상의 이유는 말하고 싶지 않은데, 그러한 의견은 개인적 성향과 관련되어 논쟁을 일으킬 수 있기 때문이다. 어쨌든 나는 C++ 이 나쁜 언어라고 생각하지 않는다. C++ 은 많은 좋은 기능들을 가지고 있고 많은 사람들 그리고 나도 그것을 좋아한다. 나는 C 로 구현된 API 함수들을 캡슐화하거나, 이미 C++ 로 구현되어있는 프로그램에 대해 C++ 을 이용한다.

템플릿은 C++ 에서 매우 좋은 특징이고 C 에 그것이 없다는 게 아쉽지만, '#define' 과 '#include' 를 이용해서 템플릿 비슷한 코드를 작성할 수는 있다. :-)

2006.02.24 최종 수정
2006.01.28 시작

이전 | 대문 | 영어