C# 6 - Expression bodied function
아래와 같은 글이 있군요. ^^
식 본문 함수의 최적화
왜 우리는 람다를 더 써야 하는가
; https://phillyai.github.io/2018-05-08-Expression-Bodied-Function/
위의 글에서는 다음의 2가지 메서드를,
int Add(int a, int b) { return a + b; }
int AddLambda(int a, int b) => a + b;
빌드했을 때, 람다 형식으로 작성한 경우 컴파일러가 더 최적화를 잘 해주기 때문이라고 합니다. 실제로 IL 코드로 보면 다음과 같이 차이가 납니다.
.method private hidebysig instance int32 Add(int32 a, int32 b) cil managed
{
.maxstack 2
.locals init (
[0] int32 num)
L_0000: nop
L_0001: ldarg.1
L_0002: ldarg.2
L_0003: add
L_0004: stloc.0
L_0005: br.s L_0007
L_0007: ldloc.0
L_0008: ret
}
.method private hidebysig instance int32 AddLambda(int32 a, int32 b) cil managed
{
.maxstack 8
L_0000: ldarg.1
L_0001: ldarg.2
L_0002: add
L_0003: ret
}
보다시피 람다로 했을 때 코드가 더 간결합니다. 좀 더 기술적인 용어로
첫 번째 Add 메서드는 Fat method 형식이고, 두 번째 Lambda 메서드는 Thin method 형식입니다. 그런데, 사실 이건 Debug 모드로 빌드했기 때문에 나온 결과일 뿐입니다. Release 모드로 빌드하면 다음과 같이 2개 모두 동일한 IL 코드를 볼 수 있습니다.
.method private hidebysig instance int32 Add(int32 a, int32 b) cil managed
{
.maxstack 8
L_0000: ldarg.1
L_0001: ldarg.2
L_0002: add
L_0003: ret
}
.method private hidebysig instance int32 AddLambda(int32 a, int32 b) cil managed
{
.maxstack 8
L_0000: ldarg.1
L_0001: ldarg.2
L_0002: add
L_0003: ret
}
그러니까... 저런 이유로 굳이 람다를 더 쓸 필요는 없습니다.
참고로, 디버그 모드에서 람다 메서드가 더 최적화가 잘 되는 것은, 람다 메서드의 경우 tiny header를 가질 수 있는 요건을 쉽게 충족하기 때문입니다.
"
왜 우리는 람다를 더 써야 하는가" 글에서 한 가지 더 이상한 점이 있는데요. 해당 최적화가 Expression에서만 적용되고 Statement에 대해 적용되지 않는다면서 쓴 코드가 바람직하지 않습니다.
void DoLambda() => Do();
위에서 DoLambda의 body 역시 (Statement가 아닌) Expression으로 작성된 것입니다. 저 구문의 영문 이름이 "Expression bodied function"인데요, 즉 저 구문에서는 반드시 Expression만 허용됩니다. 만약 저 코드를 Statement로 만들려면 다음과 같이 코딩해야 하는데,
void DoLambda() => { Do(); } // 컴파일 오류 - Error CS1525 Invalid expression term '{'
그럼 CS1525 컴파일 오류가 발생합니다. 왜냐하면 Expression에서는 블록이 허용되지 않기 때문입니다. (블록은 Statement에만 허용됩니다.)
사실 정확히 말하면 아래의 코드는,
int AddLambda(int a, int b) => a + b;
말 그대로 "Expression bodied function"입니다. 비록 C#의 람다 표현으로 작성하긴 했지만 expression만 허용됩니다. 반면, 람다 식이 아닌 람다 문을 활용하면 다음과 같이 쓸 수 있습니다.
static void Main(string[] args)
{
Action action = () => // Statement를 가진 람다 메서드
{
Console.WriteLine();
};
}
그러니까, "왜 우리는 람다를 더 써야 하는가" 글의 제목도 좀 맞지 않습니다. 실제로 저 글의 내용이 맞다고 가정했을 때 좀 더 정확히는 "왜 우리는 Expression bodied function을 사용해야 하는가"라고 해야 합니다.
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]