[ CnUnix ] in KIDS 글 쓴 이(By): Gunee (해오라비) 날 짜 (Date): 2002년 4월 4일 목요일 오후 05시 32분 58초 제 목(Title): [Q] implementation과 call의 관계 int aaa(int a, int b, int c, int d) { .... .... .... return xxx} 라고 구현된 펑션을 call하는데, aaa(1,2,3,4,5); 로 불러도 컴파일에 아무이상이 없으며, 실행에도 아무 이상이 없는 것이 정상인가요? 아니면 어느 곳에 어떤 이상이 있는 것인가요? [ CnUnix ] in KIDS 글 쓴 이(By): testors (testors) 날 짜 (Date): 2002년 4월 4일 목요일 오후 06시 03분 06초 제 목(Title): Re: [Q] implementation과 call의 관계 ANSI 지원 하는지 확인해 보세요.. K&R 같은 옛날 컴파일러들은 아규먼트 타입 체크를 하지 않을겁니다. 위와 같은 코드도 그냥 컴파일 되죠. 아마 갯수 뿐 아니라 타입을 바꿔써도 될겁니다. 무슨일이 벌어질지는.. -_- [ CnUnix ] in KIDS 글 쓴 이(By): Tony (관객2) 날 짜 (Date): 2002년 4월 4일 목요일 오후 07시 27분 44초 제 목(Title): Re: [Q] implementation과 call의 관계 컴파일타임에 워닝이 나오겠지만 아무런 문제 없으며 부를때 아규먼트가 좀 많은건 별다른 문제를 일으키지 않습니다. 뭐 반대의 경우에도 포인터를 Access하는게 아니라면 별 문제는 없구요.. 물론 버그양산이겠죠? [ CnUnix ] in KIDS 글 쓴 이(By): terzeron (microkid) 날 짜 (Date): 2002년 4월 5일 금요일 오전 01시 16분 40초 제 목(Title): Re: [Q] implementation과 call의 관계 이건 ANSI를 따르는 GCC 옵션을 사용해도 두 가지 경우로 나뉩니다. (gcc -ansi) 1. 함수 정의와 호출을 하나의 파일에 넣고 컴파일 & 링크하는 경우에는 컴파일 타임에 에러가 발생하여 종료합니다. 2. 함수 정의와 호출을 각각 다른 파일에 위치시키고 컴파일 & 링크하는 경우에는 경고만 뜨고 에러가 발생하지 않습니다. 물론 실행시켜보면 링크가 엉터리로 되어 있음을 확인할 수 있습니다. 넘겨진 매개변수들이 쓰레기값으로 넘어옵니다. [ CnUnix ] in KIDS 글 쓴 이(By): Tony (관객2) 날 짜 (Date): 2002년 4월 6일 토요일 오후 12시 29분 00초 제 목(Title): Re: [Q] implementation과 call의 관계 이건 ANSI를 따르는 GCC 옵션을 사용해도 두 가지 경우로 나뉩니다. (gcc -ansi) 2. 함수 정의와 호출을 각각 다른 파일에 위치시키고 컴파일 & 링크하는 경우에는 경고만 뜨고 에러가 발생하지 않습니다. 물론 실행시켜보면 링크가 엉터리로 되어 있음을 확인할 수 있습니다. 넘겨진 매개변수들이 쓰레기값으로 넘어옵니다. 정말로 링크가 엉터리로 되나요? 제 생각에는 스택에 쌓아둔 정보가 부족해서 쓰레기가 넘어오는것일뿐이라고 생각되는데요.. 월요일날 출근하거든 테스트를 좀 해봐야되겠네요.. ps. 쩝.. 사실 누가 이런걸 테스트해보겠습니까.... 원저자님께 : 혹시 함수의 아규먼트의 갯수가 variable해서 그러신다면 ...키워드를 사용하시기 바랍니다. 그게 옳은 C문법입니다. [ CnUnix ] in KIDS 글 쓴 이(By): terzeron (microkid) 날 짜 (Date): 2002년 4월 6일 토요일 오후 01시 07분 20초 제 목(Title): Re: [Q] implementation과 call의 관계 어, 제가 실수했군요. Tony님의 말씀이 맞습니다. 테스트해보니 쓰레기값 말고 제대로 넘어옵니다. 링크도 잘 되는 것 같구요. 제가 대충 짜서 작성했더니 매개변수 넘겨주는 것을 잘못 했나봅니다. 그런데 함수 타입 체킹을 해주지 않는다니 좀 이상하군요. 아시는 분 설명 좀 부탁드립니다. 여전히 1번 경우에는 에러가 나거든요. 왜 GCC가 두 가지를 다르게 볼까요? [ CnUnix ] in KIDS 글 쓴 이(By): ahsarang (.아.사.랑.) 날 짜 (Date): 2002년 4월 6일 토요일 오후 02시 51분 17초 제 목(Title): Re: [Q] implementation과 call의 관계 C는 loose proto type language - 타입 대강 맞으면 통과, 코더 책임 C++/java는 hard proto type language. - 타입 쬠만틀려도 오류, 컴팔러 책임 @ 용어 정확한지 자신없음 -.-;; [ CnUnix ] in KIDS 글 쓴 이(By): Tony (관객2) 날 짜 (Date): 2002년 4월 7일 일요일 오후 01시 20분 35초 제 목(Title): Re: [Q] implementation과 call의 관계 ANSI C는 함수의 프로토타입을 선언해놓고 쓰는것을 "권장"하며 프로토타이핑을 해줄경우 타입체크를 해줍니다. 타입체크를 한다는 것은 에러를 낸다는 의미죠. 프로토타이핑을 안한 경우 리턴값은 int 아규먼트는 void로 가정합니다. 이건 컴파일러레벨에서 결정되는 일이구요. 그 후 링킹에대해선 관심을 가지지 않습니다. (C의 애매모호한 점들의 대부분은 바로 이 링킹은 어떻게하든 언어와는 무관하다는 태도에 있다고 봅니다만... 물론 이게 장점이기도 하죠^^) 링커는 아무 생각없이 심볼들을 연결해줍니다. 그러니까 obj파일을 어떻게 링킹해도 타입에러가 날수가 없죠... C++에서는 링킹타임에 타입에러를 찾기위해 함수의 심볼에 아규먼트의 타입을 포함시키는 방법을 사용합니다. 즉 void test(int,char,int) 이런 함수가 있다면 VtestICI 이런식으로 함수 이름을 바꿔버리면 링킹타임에 다른 아규먼트들을 가지는 함수와 링킹될 수 없으니까 항상 명확한 타입체킹을 하게되는 꼴이 되겠죠... K&R C에선 프로토타이핑을 하더라도 첫번째 아규먼트만 체크하거나 워닝만 내보내던걸로 기억되는데 이건 정확히 모르겠네요... 이구.. 좀 정리를 해보면 ANSI C는 타입체킹을 합니다. 컴파일러가!!! 컴파일러의 손을 떠나면(즉 다른 파일에 함수가 있으면) 타입체킹을 못합니다!!! 그걸막기위해 해더를 선언하고 타입을 적어주면 타입체킹을 합니다! [ CnUnix ] in KIDS 글 쓴 이(By): dalgong (달공아저씨) 날 짜 (Date): 2002년 4월 7일 일요일 오후 03시 45분 13초 제 목(Title): Re: [Q] implementation과 call의 관계 사족입니다. | 프로토타이핑을 안한 경우 리턴값은 int 아규먼트는 void로 가정합니다. 지금 spec이 옆에 없어서 확실하진 않지만, 리턴 값은 int로 정하지만, arg에 대해서는 checking을 안하기 때문에, int f (); 이렇게 선언해 주는 것보다 int f (void); 이걸 권장하는게 아닌가요?