9장 부프로그램(2) 2016. 5. 30 순천향대학교 컴퓨터공학부 하 상 호

부프로그램 설계시 고려사항 지역변수는 정적 또는 동적으로 할당되는가? 부프로그램이 중첩되어 정의 가능한가? 어떤 매개변수 전달방법이 사용되는가? 매개변수 타입 검사가 이루어지는가? 부프로그램이 매개변수로 전달되고 부프로그램이 중첩된다면, 전달된 부프로그램의 참조환경은 무엇인가? 부프로그램은 중복될 수 있는가? 부프로그램이 포괄형이 될 수 있는가? 언어가 중첩 부프로그램을 허용한다면, 클로저는 지원되는가? 클로저(closure)는 중첩 부프로그램과 그 참조 환경이다.

매개변수 전달의 의미적 모델 모델 설명 입력 모드(in mode) 형식 매개변수는 실 매개변수로부터 데이터 전달받음 출력 모드(out mode) 형식 매개변수는 실 매개변수에 데이터를 전달함 입출력 모드(inout mode) 형식 매개변수는 실 매개변수로부터 데이터를 전달받고, 데이터를 실 매개변수에 전달함 예제: fun(list1, list2) // list1, list2의 배열을 더하여 그 결과를 list2로 반환 입력 모드 입출력 모드

매개변수 전달의 데이터 이동 방법

매개변수 전달의 구현 모델

값-전달 값-전달(pass-by-value)은 매개변수가 값으로 전달되는 입력 모드의 구현 형식 매개변수는 대응 실 매개변수의 값으로 초기화 형식 매개변수는 지역변수로 사용 데이터 이동 물리적 값 이동(값 복사) => 일반적 접근 패스 전달 쓰기-보호 셀(읽기만 가능한 셀) 필요 Ex. C++ int fun(int a, const int &b) { … }

값 전달 장점: 단점 스칼라 변수의 경우 연결 비용과 접근 시간이 빠르다 부프로그램의 외부 데이터 접근 제한 값 복사가 사용될 경우에, 형식 매개변수에 대한 기억공간 할당, 값 복사에 따른 비용 부담. 특히, 배열과 같은 집합체의 경우 접근 패스 전달 경우, 형식 매개변수에 대한 쓰기-보호가 요구되고, 간접 주소지정에 따른 접근 비용 부담

결과-전달 결과-전달(pass-by-result)은 출력 모드의 구현 실 매개변수는 형식 매개변수에 값을 전달하지 않으며, 형식 매개변수는 지역 변수로 사용되고, 피호출자 종료 전에 형식 매개변수의 값을 대응 실 매개변수로 전달 데이터 이동은 보통 값 복사로 구현 Ex. C# 실 매개변수가 동일하면? … // a, b의 값은 호출전에 할당될 필요없음 f.Fixer(out a, out b); void Fixer(out int x, out int y) // x, y의 값은 반드시 할당되어야 함 { … x = 17; y = 35; }

결과-전달 실 매개변수의 주소가 언제 평가되는가? 부프로그램 호출시 또는 복귀시? In C# void DoIt(out int x, int index) { x = 17; index = 42; } … sub = 21; f.DoIt(list[sub], sub) sub가 DoIt()에서 변경되면?

값-결과-전달 값-결과-전달(pass-by-value-result)은 값이 복사되는 입출력 모드의 구현 예제 값-전달과 결과-전달의 혼합 복사-전달(pass-by-copy)이라고 함 예제 int main() { … x = 10; y = 20; sub(x, y); } void sub(int a, int b) { … a = 20; b = 30; }

참조 전달 참조-전달(pass-by-reference)은 입출력 모드의 구현 접근 패스(주로 주소)를 전달 공유-전달(pass-by-sharing)이라고 함 Ex. C# int main() { … x = 10; y = 20; sub(ref x, ref y); } void sub(ref int a, ref int b) { … a = 20; b = 30; }

참조 전달 평가 전달과정 자체가 시간과 기억장소 관점에서 효율적 형식 매개변수 접근은 효율적인가? 한 방향 전달만 요구될 경우에는? 별칭 생성 가능한가?

참조 전달 별칭 생성: 실 매개변수간의 충돌 void fun(int &first, int &second) … fun(total, total) void fun(int &first, int &second) { … }

참조 전달 별칭 생성: 배열 원소간의 충돌 void fun(int &first, int &second) … fun(list[i], list[j]) // if i=j? void fun(int &first, int &second) { … }

참조 전달 별칭 생성: 형식 매개변수와 가시적 비지역변수간의 충돌 int *global; void main() { … sub(global); } void sub(int *param) { … }

이름 전달 실 매개변수는 부프로그램에 나타나는 모든 대응 형식 매개변수를 문자 그대로 대치 평가 형식 매개변수에 대한 실 매개변수의 값이나 주소에 대한 바인딩은 그 형식 매개변수가 참조될 때까지 연기 형식 매개변수는 호출자 참조 환경에서 평가 => 클로저(부프로그램/참조 환경) 필요 단일의 매개변수 전달 구현 모델에 일치하지 않음 상수 식 => 값-전달 스칼라 변수 => 참조-전달 배열 원소인 경우? 평가 구현하기 어렵고 비능률적 판독성/신뢰성 저하 지연 바인딩 / 지연 평가 => 반드시 필요한 매개변수만 평가

이름 전달 예제 void sub(int x, int y, int z) { … int p; a = 2; sub(a, a+1, 10); void sub(int x, int y, int z) { int p; p = y; // p의 값은? x = z; }

Test 다음 각 매개변수 방법에 대한 프로그램 실행 결과는 무엇인가? 값-전달 참조-전달 값-결과-전달 이름-전달 int i; int a[2]; void p(int x, int y) { x++; i++; y++;} main() { a[0] = 1; a[1]= 1; i = 0; p(a[i], a[i]); printf(“%d %d\n”, a[0], a[1]); return 0; }

매개변수 전달방법 구현 대부분의 언어에서, 매개변수 전달은 실행-시간 스택을 통해서 일어난다. sub(int a, int b, int c, int d) 값, 결과, 값-결과, 참조 sub(w, x, y, z)

주요 언어의 매개변수 전달 방법 언어 매개변수 전달 방법 C 값-전달 참조-전달은? C++ C와 유사 참조-전달을 위해서 참조 타입 제공 Java 객체 매개변수는? C# 디폴트는 값-전달 참조-전달시, 실, 형식 매개변수 앞에 ref 명세 결과-전달시, 실, 형식 매개변수 앞에 out 명세 Ada 3가지 의미적 모델 지원: in(디폴트 모드), out, in out in 매개변수 out 매개변수 in out 매개변수 Fortran 입출력 모드의 의미적 모드만 명세 77 버전 이전: 참조-호출 77 버전 이후: 스칼라 변수에 대해서는 값-결과-전달

주요 언어의 매개변수 전달 방법 // in C++ void fun(const int &p1, int p2, int &p3) {…} // in Ada procedure Adder(A: in out Integer; // 스칼라는 복사로 전달 B: in Integer; // 집합체는 참조로 전달 C: out Float) // in Fortran 95+ Subroutine Adder (A, B, C) Integer, Intent(Inout) :: A Integer, Intent(In) :: B Integer, Intent(Out) :: C // in C# void sumer (ref int oldSum, int newOne, out res) … sumer(ref sum, newValue, out res); // sum은 반드시 초기화 필요

매개변수의 타입 검사 실 매개변수의 타입과 대응 형식 매개변수의 타입과의 일치(consistency) 여부 검사 신뢰성을 위해서 매우 중요

매개변수의 타입 검사 주요 언어의 매개변수 타입 검사 Fortran 77, 원본 C: 요구되지 않음 Pascal, Fortran 90, Java, Ada: 항상 요구됨 C89: 사용자에 의한 선택 C99, C++ 항상 프로토타입 형식으로 표현해야 함 매개변수 리스트의 마지막 부분이 생략 기호이면? 비 프로토타입 형식 프로토타입 형식 int printf(const char* format_string, ...); printf("The sum is %d\n", 3.4); printf(“The string is %s\n”, 10); printf(Two integers are %d, %d\n”, 10);

매개변수의 타입 검사 실 매개변수 float 값을 double 형식 매개변수에 전달하는 함수 호출을 생각해보자. 매개변수가 값-호출로 전달될 경우? 매개변수가 참조-호출로 전달될 경우? // in C# ref의 실 매개변수는 대응 형식 매개변수의 타입과 정확히 일치해야 할 것을 요구한다(타입 강제변환이 허용되지 않음)

매개변수 전달 고려사항 2가지 중요한 고려사항 효율성 데이터 이동에서 단방향과 양방향의 선택 (기준: 데이터의 부프로그램 접근 최소화)