4-2-1.인수 전달 방식

메서드로 인수를 전달할 때 실인수를 형식인수에 대입하는데 값 타입과 참조 타입을 모두 전달할 수 있다. 값 타입은 사본이 전달되고 참조 타입은 참조자가 전달되어 메서드내에서 형식 인수를 변경할 때의 효과가 다르다.

 

CallType

실행결과

using System;   class CSTest {      public static void method1(CTime t) {           t.hour = 12;      }      public static void method2(STime t) {           t.hour = 12;      }      static void Main() {           CTime C = new CTime();           C.hour = 9;           STime S;           S.hour = 9;           method1(C);           method2(S);           Console.WriteLine("클래스 : " + C.hour);           Console.WriteLine("구조체 : " + S.hour);      } }     class CTime {      public int hour; }   struct STime {      public int hour; }

클래스 : 12 구조체 : 9

 

구조체와 클래스를 같은 모양으로 선언해 놓고 각 타입을 인수로 받는 method1, method2를 정의했다. 두 메서드 모두 형식 인수의 hour 필드에 12를 대입한다. 두 타입의 변수 C와 S를 선언하여 hour 필드를 9로 초기화한 후 두 메서드로 전달했다. method1에서 필드를 변경하면 원본인 C 객체의 필드도 변경된다. 그래서 원래 대입된 9가 아니라 메서드에서 수정한 12가 출력된다.

반면 method2에서 아무리 구조체의 필드를 수정해 봐야 사본만 수정될 뿐 원본인 S는 변화가 없다. 이 두 종류의 호출 방법을 값 호출, 참조 호출이라고 부른다. C에서는 인수가 포인터인가 아닌가로 결정되지만 C#에서는 변수의 형태와 상관없이 값 호출과 참조 호출을 선택하는 방법을 제공한다. 구조체같은 큰 타입은 비록 값이지만 복사해서 넘기면 너무 느려 참조로 전달할 수도 있다.

이 방법을 연구해 보려면 먼저 변수의 범주(Category)에 대해 알아야 한다. 변수의 범주란 선언되는 위치에 따라 구분되는 변수의 특성이며 C의 기억 부류(Storage Class)와 비슷한 개념이다. C#은 변수를 7개의 범주로 분류한다.

 

l  지역변수 : 메서드의 내부 또는 { } 블록 내에 선언되는 변수이다. 블록내에서만 사용되며 블록이 종료되면 자동으로 사라진다. 별도의 초기값이 없으면 쓰레기값을 가진다.

l  인스턴스 변수 : 클래스 내에 선언되며 클래스 타입의 객체에 소속된다. 객체와 함께 생성되고 객체가 파괴될 때까지 존재한다. 필드라고 부르는 멤버 변수가 이 범주에 속한다.

l  정적 변수 : 클래스 내에 static 키워드와 함께 선언된다. 객체가 아닌 클래스에 소속된다. 정적 변수는 객체 이전에 생성되어 프로그램이 종료될 때 사라진다. C의 전역변수와 비슷하되 클래스에 소속된다는 점이 다르다. C#에서 진정한 의미의 전역변수는 존재하지 않는다.

l  배열 요소 : 배열의 한 요소로 생성된다. 배열이 생성될 때 같이 생성되며 배열이 해제될 때 파괴된다. 선언문의 초기값대로 초기화되며 그렇지 않으면 디폴트 값(보통 0)으로 초기화된다.

l  값 인수 : 메서드의 인수로 선언되며 메서드가 호출될 때 생성된다. 호출원에서 전달한 실인수의 값으로 초기화되며 메서드가 리턴할 때 파괴된다.

l  참조 인수 : 값 인수와 같되 앞에 ref 키워드를 붙인다. 실인수의 값이 아닌 실인수를 가리키는 참조자로 초기화된다.

l  출력용 인수 : 참조 인수와 같되 앞에 out 키워드를 붙인다. 초기화할 필요가 없고 메서드는 리턴하기 전에 반드시 값을 대입해야 한다.

 

이 중 위쪽 세 가지는 클래스 관련 장에서 따로 알아보도록 하고 배열 요소 범주는 더 이상 설명할게 없다. 뒤쪽 세 개의 인수 범주에 대해서만 테스트해 보자.

 

Category

실행결과

using System;   class CSTest {      public static void PlusOne(int p) { p++; }      public static void PlusOneRef(ref int p) { p++; }      public static void GetValue(out int p) { p = 1234; }        static void Main() {           int a = 1, b;           PlusOne(a);           Console.WriteLine($"a = {a}");           PlusOneRef(ref a);           Console.WriteLine($"a = {a}");           GetValue(out b);           Console.WriteLine($"b = {b}");      } }

a = 1 a = 2 b = 1234

 

각 범주의 인수를 받는 세 개의 메서드를 정의하고 차례대로 호출했다. PlusOne 메서드는 인수에 별다른 수식이 없어 값 호출을 사용한다. 형식 인수 p는 실인수의 값을 대입받은 사본일 뿐이어서 메서드가 값을 변경해도 실인수는 바뀌지 않는다. 메서드 리턴후에도 실인수 a의 값은 여전히 1이다.

PlusRef 메서드는 인수 앞에 ref 키워드를 붙여 참조 호출을 사용한다. 호출할 때도 실인수 앞에 ref 키워드를 붙인다. p에 대해 변경을 가하면 실인수도 같이 변경되며 메서드 리턴 후 a는 2로 증가되어 있다. 참조 호출 인수는 반드시 초기화해야 하며 그렇지 않으면 에러 처리된다.

PlusOut 메서드는 out 키워드를 붙여 출력용 인수를 사용한다. 호출측에서도 out 키워드를 붙인다. 형식 인수를 바꾸면 실인수도 영향을 받는 것은 참조호출과 같지만 메서드내에서 값을 변경하도록 되어 있어 실인수를 꼭 초기화하지 않아도 상관 없다. 함수는 리턴하기 전에 출력용 인수에 값을 대입해야 한다.

인수의 범주를 지정하는 ref, out 키워드를 사용하면 값 타입인 구조체를 참조 호출로 전달할 수 있다. CallType 예제에서 method2 메서드의 인수 STime t를 ref STime t로 수정하고 호출할 때도 method2(ref S)로 호출하면 구조체가 참조 호출로 전달된다. 값 타입을 참조 호출로 전달할 수는 있지만 반대로 참조 타입을 값으로 전달하는 방법은 없다.