[Swift] Function - 3 (Implicit Return, Function Notation, Function Types)

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

 

함수 3탄이다. 

이번에는 Implicit Return, Function Notation (함수 표기법)과 Function Types (함수 형식)에 대해서 알아보자.

 

1. Implicit Return

Implicit이란 "암시의" 라는 뜻을 갖고, Implicit과 반대되는 단어인 Explicit은 "명백한" 이라는 뜻을 갖는다. 

 

Explicit Return이란, return 키워드를 통해서 명시적으로 값을 리턴하는 것을 말한다.

return 키워드로 return 값을 명시한다.

 

반면 Implicit Return는 return 키워드를 생략하고, 리턴 타입과 표현식을 통해서 컴파일러가 값을 리턴한다는 것을 추론한다.

Implicit Return은 return 키워드를 생략하기 때문에, 단일 리턴문으로 구현된 함수에서만 쓸 수 있다. 문장이 2개 이상인 함수에서는 사용할 수 없다.

return 키워드를 생략하였다.

 

2. Function Notation (함수 표기법)

함수 표기법은 주로 Swift 공식 문서에서 함수를 언급할 때 주로 사용하고, 상수나 변수에 함수 자체를 저장할 때 사용한다.

따라서 우리는 함수 표기법에 대해 반드시 알고 있어야한다. 함수 표기법은 아래와 같은 형태를 지닌다.

funcName(label:)
funcName(label:label:)
funcName

파라미터 또는 Argument Label이 있다면 Argument Label을 표기해주고, 파라미터가 없거나 Argument Label을 생략한 경우에는 함수 이름만 쓰면 된다. 이 때, 함수 이름 뒤에 ()를 붙이면 함수를 표기하는 것이 아닌 호출하는 것이므로 주의하도록 하자.

 

sayNewYearGreetings

이 함수는 sayNewYearGreetings로 표기를 한다.

 

sayNewYearGreetings(with:) 또는 sayNewYearGreetings

이 함수는 sayNewYearGreetings(with:)로 표기를 한다. 여기서 인자도 같이 표기하게 되면 함수 호출식이 되어버리기 때문에, 반드시 Argument Label만 써야한다는 점을 잊지 말자.

또한 이 함수는 sayNewYearGreetings로도 표기할 수 있다. 이 함수의 이름을 가진 함수가 단 하나만 존재하기 때문이다.

하지만 만약 함수의 이름이 같은데 인자의 종류가 다른 함수가 여러 개 있다면, sayNewYearGreetings과 같이 표기하는 것은 불가능하다.

 

 

sayNewYearGreetings(_:) 또는 sayNewYearGreetings

이 함수는 Argument Label을 와일드카드 패턴으로 생략했기 때문에, sayNewYearGreetings(_:)로 표기하거나 sayNewYearGreetings로 표기한다.

 

 

3. Function Types (함수 형식)

Swift에서 함수는 First Class Citizen이다. 

 

First Class Citizen는 아래 3가지 특징을 갖는다.

1. 변수, 상수에 저장할 수 있다.

2. 파라미터로 전달할 수 있다.

3. 함수나 메소드에서 리턴할 수 있다.

 

위의 3가지 특징을 가지려면 Type이 반드시 필요하다. 함수도 First Class Citizen이므로 Type을 갖는다.

 

함수의 Type은 아래와 같이 ParameterType과 ReturnType으로 표현한다.

(ParameterType) -> ReturnType

함수를 선언할 때에는 리턴형이 없으면 리턴 화살표와 리턴타입을 생략하지만, 함수 형식에서는 리턴형이 없으면 없다고 반드시 명시해주어야한다.

만약 ParameterType이 없다면 ()를 쓰고, ReturnType이 없다면 () 또는 Void를 쓴다.

 

여기서 ()란, Void를 의미한다. Void는 없다는 것을 의미한다.

또한 Void는 비어 있는 튜플로, 파라미터와 리턴형이 없는 것을 의미하는 키워드이다.

 

 

위의 예시에서 사용했던 함수들을 다시 살펴보자.

먼저 "변수, 상수에 저장할 수 있다"는 First Class Citizen의 첫번째 특징을 이용해서 Fuction Type을 알아보자. 

sayNewYearGreetings

변수 greeting에는 sayNewYearGreetings 라는 함수 자체가 저장되어있다.

따라서 greeting의 타입은 () -> ()이고, 함수를 호출해서 프린트문을 출력하려면 greeting 뒤에 ()를 붙여서 greeting()으로 함수를 호출해주어야한다.

 

 

sayNewYearGreetings(with:)

그렇다면 sayNewYearGreetings(with:) 함수를 greeting에 저장하고, greeting을 이용하여 함수를 호출해보자.

greeting의 타입은 (Int) -> ()이고, greeting(2021)에 의해 "Happy New Year 2021!"이 출력된다.

 

그냥 함수를 호출할 때에는 Argument Label이 필요하지만, 위와 같이 상수 또는 변수에 저장된 함수를 호출할 때에는 Argument Label을 쓰지 않는다. 

Function Type에는 Parameter Type과 Return Type만 포함이 되고, Argument Label은 포함되지 않기 때문이다.

 

이렇게 Argument Label을 쓰면, 아래와 같이 Argument Label을 지우라는 오류 메시지를 볼 수 있다.

 

 

다음으로 아래 예시들을 통해 "파라미터로 전달할 수 있다.", "함수와 메소드로 리턴할 수 있다"는 First Class Citizen의 두번째, 세번째 특징을 살펴보자.

 

 

아래 4개의 함수들은 모두 (Int, Int) -> Int 형이다. 

 

 

아래 함수는 함수를 리턴하는 함수로, ((String) -> Optional<(Int, Int) -> Int>) 형이다.

즉, Parameter Type은 String이고 Return Type은 Optional<(Int, Int) -> Int)> 이다. 여기서 Function Type을 파라미터로 전달하는 것을 확인할 수 있다.

이렇게 함수 내에 ->가 여러 개 있다면, 첫번째 화살표는 calculateFunc의 return 화살표이고, 나머지 화살표는 모두 Function Type에 포함된 return 화살표라고 생각하면 된다.

함수를 보면 op에 따라서 다른 함수들이 리턴되고 있는데, 여기서 Function Type이 First Class Citizen의 특징인 함수나 메소드로 리턴된다는 점을 확인할 수 있다.

 

 

이 함수는 아래와 같이 출력이 가능하다.

calculateFunc의 인자로 "+"가 전달되어 add(a:b:)가 리턴되고, add의 a, b에는 각각 2와 5가 전달되어 결과는 2와 5가 더해진 7이 나오게 된다.