C 함수 인자의 변수형 질문요. 코드멍키님 관심 좀!

PCRE 사용해봤는데 여기서 메모리 해제를 하는 함수가 하나 있어요.

pcre_free 라는 함수인데 신기하게도

pcre* pcreTest;
pcre_extra* pcreTestExtra;
.
.
.
pcre_free(pcreTest); // 요기
pcre_free(pcreTestExtra); // 요기

마지막 두 라인을 보시면 들어가는 인자의 변수형이 다른데도 둘다 정상 작동합니다. C에서는 함수 오버로딩도 지원해주지 않는데 말이죠. 궁금해서 헤더파일 열어봤더니 함수원형은 다음과 같았습니다.

pcre_free(void *);

짐작대로 void로 받고 있더군요. 여기서 한가지 의문이 생겼습니다. 인자로 받은 변수의 변수형을 체크할 수 있나요? 즉, pcre_free(a) 라고 호출했을 때, 함수 내부에서 a 의 변수형이 pcre* 인지 pcre_extra* 인지를 확인하는 기능이 있는지요? 있다면 간단한 예제로 설명 좀 부탁드리겠습니다.

잡담 | 1589명이 읽었어요. 3.16.255.126

비공개 손님 … 2015-01-24 20:25:51

해당 기능을 언어적으로 지원하는걸 RTTI (Run-time type information)라고 합니다.
제 기억이 맞다면 C는 지원 안할겁니다.
그래서 보통은 구조체에 타입을 기술하는 Enumerate 멤버를 하나 둬서 판별합니다.
그리고 RTTI를 지원하는 C++이라고 하더라도, 성능 이슈로 사용하지 못하는 경우도 있습니다.

비공개 손님 … 2015-01-24 21:12:31

C는 void ptr이면 쓰는쪽에서 알아서 typecast 해야됩니다. 그래서 조심해서 쓰셔야해요

비공개 손님 … 2015-01-24 21:13:14

sizeof 같은걸로 역참조의 크기를 구한다거나 할수도 있는데 그마저도 사이즈 같은 변수들끼리 있으면 지못미....

비공개 손님 … 2015-01-24 21:16:06

typecast 하더라도 현대언어 (c#, java 같은) 들은 exception 등의 체계가있지만 c 는 사이즈같은놈끼리 캐스팅하면 쓰레기값 들어간채오 그대로 ㅒ스팅되어버리기 때문에 input validation 마저도 통과해버리는 케이스는 레알 답이없습니다. 가급적 void* 타입은.안쓰는게 좋아요.

비공개 손님 … 2015-01-24 21:25:31

답3은 무시하세염 아마 sizeof 해봤자 4나오겠네요 역참조를 하건밀건 쓰는쪽에서는 void* 타입일테니깐요 (64비트라면 8)

비공개 손님 … 2015-01-25 13:10:21

음, 이번 댓글들은 무슨 말인지 조금 이해하기 힘드네요. 아무튼 두분께 감사드립니다. pcre_free 함수는 어떻게 인자의 type문제를 해결했는지 궁금합니다.

비공개 손님 … 2015-01-25 13:28:56

애초에 C자체에서는 void*가 어떤 포인터타입이었는지 알 수 있는 방법이 없습니다.

하지만 pcre_free 만 궁금하신거라면
pcre_free에서 void* 의 원래 포인터가 뭐였는지는 알 필요가 없습니다.
메모리 얼로케이션 할때 해당 포인터(즉, 주소)에
몇 바이트를 할당했는지 따로 기억하고 있기 때문이죠.

malloc과 free도 마찬가지입니다.

비공개 손님 … 2015-01-25 13:38:31

조금더 자세히 말씀드리면

잦은 메모리 할당과 릴리즈로 인해 생기는 메모리 단편화를 완화하기 위해
기본 컴파일러도 어느정도 메모리 매니지먼트를 하고 있습니다.

이러한 것들을 효율적으로 하기 위한 메모리 관리 라이브러리같은것도 있구요.

어쨌든 이 매니저들은 n바이트 할당을 요청을 한다고 해서
실제로 n바이트만 하는 경우는 드물고,

보통은 n보다 큰 어떤 값 (ex: 16, 32, 48, 64따위의 단위 혹은 2^k 꼴의 단위)
등의 버켓 리스트에서 재 사용 가능한 메모리 블럭을 하나 가져와서 돌려주며,
이러한 블럭 내에는 자신이 몇바이트짜리였는지, 어떤 버켓의 속하는지 등의
정보를 따로 갖고 있는 경우가 보통입니다.

비공개 손님 … 2015-01-25 15:13:24

pcre.c파일을 보면 pcre_free가 함수가 아니라 함수 포인터입니다.
즉, 구조체 내부에 따로 클린업할 내용이 없어서 그냥 free함수에 넘겨서 malloc으로 할당한 메모리를 해제하는 것 뿐입니다.
그러니 pcre_free가 void*형 인자의 타입이 pcre*인지 pcre_extra*인지 알 필요가 없습니다.

void *(*pcre_malloc)(size_t) = malloc;
void (*pcre_free)(void *) = free;

비공개 손님 … 2015-01-25 16:06:07

//9 오! 이해가 되네요!!!! 저게 함수포인터였네용. 근데 왜 굳이 free를 안쓰고 함수 포인터를 따로 작성해두었을까요?

비공개 손님 … 2015-01-25 16:09:04

음... pcre_free 함수가 두개네요.
.
.
.
PCRE_EXP_DECL void (*pcre_free)(void *);
.
.
.
PCRE_EXP_DECL void pcre_free(void *);
.
.
.

비공개 손님 … 2015-01-25 16:15:07

10의 의문에 자답을 해보자면 메모리 할당한 걸 따로 리스트로 관리해서 나중에 한방에 처리하려는게 아닐까하는 생각이 드네요.

메모리를 할당할 때마다 주소를 따로 복사하여 다른 배열에 추가하여 저장해뒀다가 프로그램 종료할 때 그 배열에 있는 메모리 주소들만 for 문 돌리든지 해서 메모리 해제를 해준다던가.. 뭐 그런거 같은데?

비공개 손님 … 2015-01-25 16:59:44

그런 이유보다는 라이브러리 설계에 관련된 문제입니다.
지금이야 내부야 별다른 객체가 없어서 malloc이나 free를 리다이렉트 하고 있을지 모르겠지만,
라이브러리 내부 구현이 바뀌어 내부에 추가로 free해야하거나 close해야하는 객체가 생기게 됐을때를 가정하고 구성한겁니다.
저렇게 해두면 라이브러리 내부 구현이 바뀌더라도 소스 수정 없이 패치가 가능하니까요.

즉, 현재는 그렇게 구현이 안되어 있지만, 미래에는 12에서 말씀하신 것 처럼 구현이 바뀔 수 있어 확장성을 고려한 라이브러리 인터페이스 설계라고 생각하시면 됩니다.

비공개 손님 … 2015-01-25 18:04:06

13// 답변 감사합니다!

댓글을 작성하실 수 없습니다.
(권한이 없는 회원레벨)

목록으로

TOP arrow_upward