k&r c는 함수 호출할때 타입 검사를 왜 안하나요?

Question

/* add 함수의 정의 */int add(a, b)int a;int b;{ …..}add(3.14, 3.14, 3.14); // add 함수의 호출앞쪽에 add 함수의 정의가 있고 매개변수의 개수와 타입 정보를 확인했을텐데도 불구하고add 함수를 호출할때 타입 검사를 안하는 이유가 있나요?

파아란_푸딩 · Answer

함수 프로토타입 기반의 타입 검사 개념이 없었기 때문입니다. 컴파일러 구조(1-Pass & 메모리 제한) 상 호출 지점에서 “이 함수가 어떤 타입의 인자를 몇 개 받는지”를 엄격하게 추적하지 않습니다.K&R C의 함수 호출 모델은호출자가 인자를 그냥 push피호출자가 꺼내서 해석컴파일러 입장에서는“이 함수가 int 2개 받는다” 같은 정보 없음따라서 타입 검사 자체가 구조적으로 불가능당시 C는 작은 컴파일러, 느슨한 선언 규칙, 기존 코드 호환성을 중시했기 때문에 엄격한 타입 검사를 기본으로 넣지 않았습니다. 이후 ANSI C/C89에서 프로토타입이 도입되면서 컴파일러가 호출을 더 철저히 검사할 수 있게 되었습니다.퍼플렉시티님의 도움을 일부 받았습니다.

k&r c는 함수 호출할때 타입 검사를 왜 안하나요?

1개의 답변

Q&A 목록