[프로그래밍 언어론] 10. 부 프로그램

10.1 개요

부 프로그램

• 일련의 행위나 계산을 추상화하는 기법으로 제공
• 실행과 분리해서 선언할 수 있는 블록 : 호출 요구
• 함수(Function) : 함수 이름으로 값을 반환
• 서브루틴(Subroutine), 프로시저(Procedure) : 매개변수로 값을 반환
• 각 프로시저는 단일 진입점을 가짐
• Caller는 Callee의 실행 동안 중단됨
• 부 프로그램 종료 시, 제어는 호출자에게 되돌아감

10.2 매개변수 평가와 전달 기법

실 매개변수

• 호출 프로그램으로 전달하기 위해 사용된 식 또는 이름

형식 매개변수

• 부 프로그램이 실행될 때, 실 매개변수를 대신하여 사용하는 이름
• 일반적으로 지역 변수 역할

a. 참조 호출 (call by reference)

• 실 매개변수 값 대신 주소를 형식 매개변수에 보내는 방법
• caller에 다시 돌아와서 변한 값을 바로 사용 할 수 있다

b. 값 호출 (call by value)

• 형식 매개변수의 지역변수화
• 실 매개변수 값을 대응 지역변수로 복사
• 실 매개변수 값이 불변함
• caller는 실 매개변수의 주소(또는 값)을 전달하고, callee는 r-value를 형식 매개변수의 기억장소에 복사
• 이후 다른 지역변수와 동일하게 취급한다

c. 결과 호출 (call by result)

• callee가 리턴 직전에 형식 매개변수의 값을 대응되는 실 매개변수에 복사 후 리턴
• 형식 매개변수를 지역 변수로 간주
• 값을 받아오는건 아님. 미정의. (callee에서 정의함)

d. 값-결과 호출 기법 (call by value-result)

• callee 실행 시작에 값 호출 기법(call by value)
• callee 실행 끝에 결과 호출 기법(call by result)

e. 이름 호출 기법 (call by name)

• 형식 매개변수의 이름이 사용될 때마다 대응되는 실 매개변수 자체가 사용된 것으로 간주
• 필요한 r-value 또는 l-value를 매번 계산한다