C (프로그래밍 언어)

Cz201 (토론 | 기여)님의 2015년 8월 9일 (일) 11:28 판 (c99 추가사항 정리)

C 프로그래밍 언어는 1972년에 데니스 리치에 의해 UNIX를 개발하기 위하여 만들어진 프로그래밍 언어이다. UNIX 시스템의 창시자라고 할 수 있는 켄 톰슨에 의하면, C언어와 UNIX를 만들고자 했던 결정적인 동기는 당시 그들이 몸담고 있던 벨 연구소의 직원들이 게임덕후였기 때문에 컴퓨터의 종류나 연식에 관계없이 자기들이 하던 게임을 돌리고자 했기 때문이라고 한다. [1]

특징

  • 절차적 프로그래밍

최근에 나온 함수형, 객체지향 프로그래밍 언어와는 달리 초기에 나온 절차적 프로그래밍 언어이다. 프로그래머에 따라 객체지향처럼 쓸 수도 있지만...[2]

  • 강 타입언어

C언어는 강 타입언어지만 부동소숫점 실수형과 정수형의 상호변환은 암시적으로도 가능하다.

  • 포인터를 이용한 저수준의 메모리 접근

C언어의 알파이자 오메가. C언어가 하드웨어에 가깝다고 평가받는 요소이다. 사람들이 C언어를 약 타입언어 같다고 느끼는 것도 포인터 때문인 경우가 많다.

  • 중괄호를 이용한 스코프 지정

기존의 프로그래밍 언어보다 C프로그래밍 언어를 사용한 코드가 간결해진 이유. 후대 언어에게도 영향을 미쳤다.

  • 컴파일 언어

현대(2000년도 이후)에 주류로 사용되는 프로그래밍 언어(Java, C#, Objective C, Python 등) 중 몇 안 되는 컴파일 언어이다.

장점

  • 사용자가 프로그램의 모든 부분을 관리할 수 있다.

모든 것을 사용자에게 맡긴다. 다른 프로그램이라면 컴파일 오류를 내뱉을 만한 구문이라도 C에서는 정상적으로 실행된다.

  • 익혀야 할 문법의 양이 굉장히 적다.

단점

  • 사용자가 프로그램의 모든 부분을 관리해야만 한다.

위에서 적은 장점은 곧 단점이기도 하다. 배열의 범위를 벗어나도 컴파일러는 오류를 내뱉지 않는다. 사용자가 메모리를 꼼꼼하게 관리하지 않으면 메모리 누수가 발생한다.

  • 문법은 단순하지만 언어 사용 기술은 단순하지 않다.

문법의 종류가 적다고 코딩이 쉬운 것은 아니다. 문법에서 지원하는 기능이 몇 개 없다는 건 바꿔 말하면 지원하지 않는 기능을 모두 손수 구현해서 사용한다는 뜻이 된다. 더불어 포인터와 관련되어 개발된 각종 트릭들은 C 언어를 본격적으로 사용할 때의 난이도를 대폭 상승시킨다.

버전

K & R

국제 표준이 나오기 이전의 C문법이다, C 개발자가 사용했던 문법이다.

ANSI C

국제 표준으로 등록된 문법 및 라이브러리며, 현재까지도 대다수의 C프로그래머들은 이 표준을 사용한다. C99,C11은 장식이다 소스코드 정적 분석을 하는 사람들도 대상 코드를 ANSI C로 잡는 경우가 대다수라서 앞으로도 대격변이 있지 않은 이상, 이 표준 이외의 표준이 주류가 되기는 어려울 것으로 보인다.

C99

그동안 발전이 뒤쳐져서 새로운 표준이 등록되었다. (ISO-IEC-9989) 진위형(bool)이나 인라인 함수, 변수 선언 제약의 완화등이 있으나, VC에서 지원하지 않아 잊혀졌다. gcc의 경우 c99 표준 명세를 대부분 지원하며, -std=c99 옵션을 통해 적용 가능하다.

ANSI C에서 아래와 같은 기능이 추가되었다. 1. inline function 추가 ex) inline int f(int n){n = n + 2; return n;} 인라인 함수는 C++에서는 일반적으로 사용하는 문법적으로 문법적으로는 함수의 형태를 띄고 있지만, 컴파일 할 때 콜스텍을 이용하여 호출하는 함수와 달리 인라인 함수의 내용을 해당 함수가 호출된 위치에 치환하는 형태로 동작한다. ANSI C에서는 이러한 기능을 제공하지 않아. 아래와 같은 매크로 함수를 사용하여 해당 기능을 사용했었다.

  1. define func(x) {int a=0; printf("%d\n",a);

그러나 이러한 방식의 매크로함수는 지정된 라인을 소스코드에 직접 치환하는 방식이기 때문에, 예상치 못한 에러를 유발할 가능성이 높아 사용이 까다롭다. 인라인 함수는 자신의 내용을 소스코드에 치환하는 것은 동일하나 코드 치환시 발생할 수 있는 문제에 대한 안전장치를 가지고 있다.

2. 변수의 선언이 블록의 처음에 제한되지 않음 ANSI C의 경우 모든 변수는 반드시 블록의 처음부분 (다른 함수가 호출되기 이전)에 선언하지 않으면 컴파일 에러가 발생하였다. C99에서는 이러한 제한을 없애고, 블록의 어디에서든 변수를 선언하여 사용할 수 있도록 하였다. ex) int foo() {

  printf("test");
  int a = 0;
  return a;

}

3. 복소수를 나타내기 위한 complex 자료형 등 새로운 자료형 도입 아래와 같은 형태로 복소수의 표현과 연산이 가능하다. ex)

  1. include <complex.h>

int foo() {

   double complex x1 = 1.0 + 3.0 * I;
   double complex x2 = 1.0 - 4.0 * I;
   printf("x1 = %.2f + %.2fi\tx2 = %.2f %+.2fi\n", 
          creal(x1), 
          cimag(x1), 
          creal(x2), 
          cimag(x2));

}

4. 가변 길이 배열(VLA: variable-length array) ANSI C에서는 배열의 선언시 배열 길이를 반드시 상수로만 사용할 수 있었다. C99에서는 이러한 제한이 사라져 가변길이 배열의 선언이 가능하다. ex)

int arr1[123]; //ansi C에서 정상동작
int length = 10;
int arr2[length]; // ansi C에서 에러 c99에서 정상동작

5. inttypes.h stdbool.h 와 같은 헤더 지원 inttypes.h : 플랫폼에 따라 사이즈가 달라지지 않는 자료형을 제공한다. stdbool.h : 표준 bool 타입을 제공한다.

6. 지정된 이니셜라이저 지원 배열의 초기화가 아래와 같이 이루어질 수 있다. ex) int a[6] = { [4] = 29, [2] = 15 }; int b[6] = { 0,0,15,0,29,0 };

7. 가변인수 매크로

  1. define 매크로 함수에 가변인자가 들어갈 수 있게 되었다.

ex)

  1. define FN9(a,...) printf(a,_VA_ARGS_);

8. 컴파운드리터럴 복합상수의 지정이 가능해졌다. ex) int *p = (int [3]) {1,2,3};

C11

C++기술위원회와 협의하여 C++11와 같이 나온 표준이다. 역시 C++11처럼 표준 스레드 라이브러리등이 추가 되었으나, 추가 되었는지도 모르는 사람이 태반이다.

각주

  1. http://health20.kr/2958
  2. 객체지향이라는 개념은 일부 프로그래밍 언어의 언어적 특징이기도 하지만, 기본적으로는 프로그래밍 패러다임의 한 종류이기 때문에 C와 같은 절차적 프로그래밍 언어로 비슷하게 구현하는 것이 가능하다. 대표적인 예가 리눅스에서 VFS(가상 파일시스템)이 구현된 부분.