[Swift] Function - 2 (Variadic Parameter, In-Out Parameter)

(모든 코드는 Playground에서 작성되었습니다.)

 

저번 시간에 이어 이번에는 Variadic Parameter (가변 파라미터)와 In-Out Parameter (입출력 파라미터)에 대해서 알아보고자 한다.

 

1. Variadic Parameter (가변 파라미터)

우리는 지금까지 파라미터 하나에 인자 하나를 전달했었다. 

그렇다면, 파라미터 하나로 여러 인자를 전달할 수는 없을까?

가변 파라미터를 사용하면 가능하다.

 

가변 파라미터는 이름처럼 전달할 수 있는 인자가 고정되어있지 않고 가변적이며, 하나의 파라미터로 2개 이상의 인자 (argument) 를 전달할 수 있다. 이 때, 인자는 배열 형태로 함수 내에 전달된다.

 

문법은 아래와 같다.

func variadicFunc(_ param: Type...) {
	// Code
}

현재 Argument Label은 와일드카드 패턴으로 생략했고, 파라미터 param은 Type... 로 되어있는 것을 볼 수 있다.

이렇게 타입 뒤에 ...을 공백 없이 붙이면 가변 파라미터가 된다.

 

 

아래 예시를 보자.

 

이 함수는 파라미터로 여러 개의 숫자를 인자로 전달해서 그 숫자들의 총합을 출력하는 함수이다.

nums가 가변 파라미터이고, 여러 개의 숫자들을 인자로 전달하면 그 숫자들이 배열로 함수 내로 전달된다.

따라서 1, 2, 3을 전달했을 때에는 6이, 1, 2, 3, 4, 5를 전달했을 때에는 15가, 100, 200, 300을 전달했을 때에는 600이 출력되는 것을 확인할 수 있다.

 

 

그렇다면 가변 파라미터를 여러 개 사용하는 것도 가능할까? 가능하다!

사실 이전에는 함수 내에서 가변 파라미터를 1개만 쓸 수 있었다. 그런데 Swift 5.4와 Xcode 12.5로 넘어오면서, 함수 내에서 여러 개의 가변 파라미터를 쓸 수 있게 되었다.

 

아래 예시를 보자.

이 함수는 가변 파라미터 nums, doubleNums, seasons를 갖는다. 

지금은 파라미터가 곧 Argument Label이다. 따라서 함수를 호출할 때에도 Argument Label을 써주어야한다.

 

결과는 아래와 같다.

 

가변 파라미터가 많을 때에는 바로 위의 예시와 같이 Argument Label을 반드시 써야한다.

Argument Label을 쓰지 않으면, 인자를 여러 개 전달할 때 컴파일러는 해당하는 인자가 어떤 파라미터에 해당하는 인자인지 알 수 없기 때문이다. 

 

밑의 예시는 2개의 Argument Label을 생략한 것이다.

 

이렇게 Argument Label을 생략하면, 어떤 파라미터에 해당하는 인자인지 명확히 알 수 없기 때문에 오류가 발생한다.

따라서 가변 파라미터를 사용할 때에는 Argument Label을 생략하지 않도록 하자.

 

 

 

하지만 Argument Label을 생략할 수 있는 경우도 있다.

아래 예시처럼 제일 앞의 Argument Label만 생략하고 그 뒤의 모든 Argument Label을 명시해주면, 컴파일러는 어디부터 어디까지가 어떤 파라미터의 인자인지 알 수 있다. 따라서 결과도 제대로 나오는 것을 확인할 수 있다.

 

 

 

추가로, 일반 파라미터와 가변 파라미터를 같이 사용하는 경우에는 가변 파라미터를 가장 뒤에 써야한다. 아래 예시를 보자.

이 함수는 두번째 파라미터만 가변 파라미터이다. 따라서 함수를 호출할 때, 자동으로 1은 nums의 인자로 전달되고, 나머지 인자들은 doubleNums로 전달이 된다. 

 

 

하지만 아래 예시는 다르다. 

위 함수의 파라미터 순서를 바꾼 것인데, 앞에 가변 파라미터가 온다.

이 때 컴파일러는 앞서 말한 것처럼 어떤 인자까지가 가변 파라미터인지 알 수 없기 때문에 이런 오류가 발생한다.

따라서 가변 파라미터와 일반 파라미터를 같이 쓸 때, 가변 파라미터를 뒤에 써주도록 하자.

 

 

그리고 가변 파라미터는 기본 값을 선언할 수 없다는 점을 알아두도록 하자.

 

 

2. In-Out Parameter (입출력 파라미터)

파라미터로 전달된 값은 함수 내에서 사용할 수 있는 임시 상수이므로 변경할 수 없다.

이를 해결하기 위해 사용할 수 있는 것이 바로 입출력 파라미터이다.

 

입출력 파라미터는 파라미터로 전달된 값을 함수 내부에서 직접 변경할 수 있게 해준다. 

문법은 아래와 같이 타입 앞에 Inout 키워드를 써주면 된다. 

func inOutFunc(_ a: inout Int, _ b: inout Int) {
	// Code
}

 

 

입출력 파라미터를 가진 함수를 호출할 때에는 인자 앞에 &를 반드시 붙여주어야한다.

위의 함수를 호출하면 아래와 같다.

var num1 = 1
var num2 = 2

inOutFunc(&num1, &num2)

 

 

아래 함수의 파라미터는 입출력 파라미터가 아니기 때문에 파라미터로 전달된 값을 변경할 수 없다.

 

 

이번에는 inout 키워드를 이용하여 파라미터를 입출력 파라미터로 선언하였다.

오류 없이 잘 실행이 되고, 실행 결과 num1과 num2가 서로 바뀐 것을 확인할 수 있었다.

 

 

입출력 파라미터는 Copy-In, Copy-Out 메모리 모델을 사용한다.

inOutFunc에서 인자를 전달하고 있는데, num1과 num2에 저장된 값을 복사해서 전달한다. 이를 Copy-In이라고 한다.

함수가 모두 실행되고 종료되면, 함수 내에서 변경한 값이 인자로 복사되어 전달된다. 이를 Copy-Out이라고 한다. 

 

즉, num1에 저장된 값이 복사되어 a로 전달되고 (Copy-In), 함수가 종료되면 변경된 a의 값은 다시 복사되어 num1으로 복사 (Copy-Out) 된다. 따라서 값을 함수 내에서 수정하는 것처럼 보이는 것이다.

 

 

 

입출력 파라미터의 제약에 대해서 알아보자.

 

입출력 파라미터에는 가변 파라미터나 기본 값을 선언할 수 없다.

기본 값 선언 불가

가변 파라미터 선언 불가

 

 

입출력 파라미터에는 상수나 리터럴을 전달할 수 없다.

마지막에 함수 실행이 종료되고 값을 복사해서 전달해야하는데, 상수는 값 변경이 불가능하므로  앞서 말한 Copy-Out을 할 수 없기 때문이다.

 

리터럴도 마찬가지다. 리터럴은 메모리 공간에 저장된 값이 아니기 때문에 값 변경도 불가능하고,  Copy-Out을 할 수 없다.

상수 전달 불가

리터럴 전달 불가

 

 

여기서 immutable이란, 값을 변경할 수 없다는 것인데 이와 반대로 mutable은 값을 변경할 수 있다는 뜻이다. 앞으로 자주 보게 될 단어니 꼭 기억해두도록 하자.