neodelicious (Jaewon Kim)

어셈블리언어에는 특정 코드 위치로 바로 이동하기 위해서 goto 키워드를 많이 사용한다.
C언어에서도 goto 키워드가 존재하지만 절차식의 C 프로그래밍을 배우면서
흐름을 깨기 때문에 사용하지 않기를 권장한다.

유닉스를 만들기 위해 개발한 언어가 C인데, 정작 유닉스 & 리눅스 코드에서는
goto 키워들 상당 부분에서 발견할 수 있다.
간단히 말해서 엉키지 않게 제대로만 쓰면 error 처리하는 용도로 편리하게 이용할 수 있다.
다시 말하면 함수의 알고리즘의 흐름 상에서 다수의 error 검출을 해서 주로 공통적인 error 처리를 하는 경우,
함수의 끝에 error를 위한 특정 코드를 추가하고 Label을 설정해서 goto 키워드를 이용하는 방식이다.

이러한 goto 대신 비슷하게 사용할 수 있는 방식이 do while을 이용하는 것이다.

do{
  if (err)
      break;
}while(0);
error_handling_code

위와 같은 방식으로 while() 안에 조건을 '0'으로 하여 한 번만 실행되게 하고,
블록 안에서 error가 발생한 경우에만 블록을 빠져나오게 하여 while 이후의 코드를 실행하게 하는 것이다.

본인이 생각컨대 goto 키워드를 굳이 써서 다른 기능을 구현하자면,
다수의 Error에 대해서 그 처리가 공통적이지 않은 경우 여러 개의 Label과
해당 Label로 이동하게 하는 goto 키워드를 써서 구현하는 것이다.
이 경우 절차식 처리에서 상당히 벗어나는 어셈블리언어식 코드가 되는데
엉키지 않도록 주의해서 사용해야 할 것이다.

쓸데 없는 얘기를 많이 한 것 같은데,
결론적으로 goto 키워드를 통한 error 처리 대신에 do while(0)을 쓸 수 있다는 것을 알아두자는 것이다. ^^;

#include 
#include 

#define offsetof(type, member)   (size_t)&(((type *)0)->member)
#define CONTAINING_RECORD(address, type, field) \
		((type *)((char *)(address) - (unsigned long)(&((type *)0)->field)))

typedef struct _testStr{
	int a;
	char b[6];
	char c;
}testStr, *ptrTestStr;

int main()
{
   ptrTestStr ptr1 = (ptrTestStr)malloc(sizeof(testStr));
   char * bPtr = ptr1->b;

   printf("ptr1		: [%x]\n", ptr1);
   printf("&ptr1->c	: [%x]\n", &ptr1->c);
   printf("offsetof(testStr, c) : [%d]\n\n", offsetof(testStr, c));

   printf("(testStr*)0	: [%d]\n", (testStr*)0 );
   printf("(testStr*)3	: [%d]\n", (testStr*)3 );
   printf("(testStr*)3->c	: [%d]\n\n", &((testStr*)3)->c );

   printf("bPtr : [%x]\n", bPtr);
   printf("CONTAINING_RECORD(bPtr, testStr, b) : [%x]\n\n", \
                              CONTAINING_RECORD(bPtr, testStr, b));

	return 0;
}

#include <stdio.h>
#include <stdlib.h>

typedef struct _T1{
int a;  // 4bytes
char * ch; // 4byte
}T1, *PT1;


typedef struct _T2{
int a;  // 4bytes
char ch[]; // 0byte
}T2, *PT2;

int main()
{
PT1 p1 = (PT1)malloc(sizeof(PT1)+sizeof(char)*5);
PT2 p2 = (PT2)malloc(sizeof(PT2)+sizeof(char)*5);
PT2 p3 = (PT2)malloc(sizeof(PT2));

printf("T1 size : [%d], T2 size : [%d]\n", sizeof(T1), sizeof(T2));
printf("sizeof(int) : [%d]\n\n", sizeof(int));

// error - a->ch[0] = 'A';
p2->ch[0] = 'B';

printf("p1 : [%x], &p1->a : [%x], &p1->ch : [%x]\n\n", p1, &p1->a, &p1->ch);

printf("p2->ch[0] : [%c]\n", p2->ch[0]);
printf("p2 : [%x], &p2->a : [%x]\n", p2, &p2->a);
printf("&p2->ch : [%x], &p2->ch : [%x], &p2->ch[0] : [%x]\n", &p2->ch, p2->ch, &p2->ch[0]);

printf("\np3 : [%x], &p3->a : [%x]\n", p3, &p3->a);
printf("&p3->ch : [%x], &p3->ch : [%x], &p3->ch[0] : [%x]\n", &p3->ch, p3->ch, &p3->ch[0]);

return 0;
}

해당 코드의 값이 참이라고 생각하는데 실제로 그런지 확인하고 갈 때
이용하는 것이 assert() 매크로이다.
관련 설명은 wiki 링크 자료를 참고하길 바란다.
http://en.wikipedia.org/wiki/Assert

그런데 debug 모드에서는 assert() 매크로를 쓸 수 있지만
release 모드에서는 이렇게 할 필요가 없다.
따라서 이를 구분하기 위해서 다음과 같이 verify() 라는 매크로를 쓸 수 있다.

#ifdef DEBUG
#define VERIFY(exp) ASSERT(exp)
#else
#define VERIFY(exp) exp

fgets() 사용 시 유의점

fgets() 이용할 때 new line('\n')에서 끊어지기는 하나
new line까지 저장되고 Null('\0')이 삽입된다.
따라서 new line이 저장된 부분에 Null을 저장하여 지우는 것이 필요하다.
하지만 만약 버퍼의 크기를 넘어갈 경우
항상 버퍼 크기 -1 크기만큼만 저장되고 마지막에 Null이 삽입된다.
따라서 버퍼 크기 -1 크기만큼 문자열을 입력하고 엔터를 입력하면
new line은 저장되지 않고 마지막에 Null이 삽입되어
이 때는 new line을 없애기 위해 Null을 추가로 삽입하면 안 된다.

그래서 다음과 같이 마지막에 new line이 있는지 여부를 판단하도록 했다.

#define BUFFERSIZE 10
char buf[BUFFERSIZE];
fgets(buf, BUFFERSIZE, stdin);
stringLength = strlen(buf);
if ( buf[stringLength-1] == '\n')
  buf[--stringLength] = NULL;

코드에서 10 byte buf에 대해서
"delicious" 9자를 입력하면 new line 없이 Null이 들어가고
"deliciou" 8자를 입력하면 new line을 Null로서 덮어 없앤다.
물론 9자를 넘어가는 문자열은 모두 저장되지 않고 사라진다.
참고적으로 아무 것도 입력하지 않고 엔터를 입력해도 new line은 저장되고
위의 코드에서는 Null로 덮어 지우게된다.

fgets()에 대한 기본 설명은 아래 링크를 참조하자.

http://www.cplusplus.com/ref/cstdio/fgets.html