C# 14 - (11) Expression Tree에 선택적 인수와 명명된 인수 허용
드디어 C# 14의 마지막 기능입니다. ^^
[Proposal]: Support optional and named arguments in Expression trees
; https://github.com/dotnet/csharplang/issues/9246
Support optional and named arguments in Expression trees
; https://github.com/dotnet/csharplang/blob/main/proposals/csharp-14.0/optional-and-named-parameters-in-expression-trees.md
이번 글의 내용도 실습을 하려면 현재(2025-08-28) Visual Studio 2022 Preview 버전을 필요로 합니다.
스펙 문서에 실린 예제 코드만 봐도 이에 대해 금방 이해할 수 있는데요,
using System.Linq.Expressions;
internal class Program
{
static void Main(string[] args)
{
Expression<Func<int?[], int, bool>> e;
// Expression Tree용의 람다 식에서는 선택적 인수 (X)
e = (a, i) => a.Contains(i); // error CS0854: expression tree may not contain a call that uses optional arguments
// Expression Tree용의 람다 식에서는 명명된 인수 (X)
e = (a, i) => a.Contains(i, comparer: null); // error CS0853: expression tree may not contain a named argument specification
}
}
public static class MemoryExtensions
{
// 3번째 인자가 기본 값을 담고 있어 생략 가능한 유형의 메서드
public static bool Contains<T>(this ReadOnlySpan<T> span, T value, IEqualityComparer<T>? comparer = null)
{
if (comparer == null)
{
comparer = EqualityComparer<T>.Default;
}
foreach (var item in span)
{
if (comparer.Equals(item, value))
{
return true;
}
}
return false;
}
}
바로 저 소스 코드가 C# 14부터는 정상적으로 컴파일이 됩니다. 참고로, 해당 표현식을 Expression Tree가 아닌 Delegate로 바꾸면 C# 13 이전 버전에서도 문제가 없습니다.
public delegate bool FuncDelegate<T>(ReadOnlySpan<T> span, T value);
// 동일한 람다 식을 Expression Tree가 아닌 Delegate로 처리하는 것은,
FuncDelegate<int> e1 = (a, i) => a.Contains(i); // C# 13 이전에도 OK
FuncDelegate<int> e2 = (a, i) => a.Contains(i, comparer: null); // C# 13 이전에도 OK
Console.WriteLine(e1(new int[] { 1, 2, 3 }, 2)); // True
Console.WriteLine(e2(new int[] { 1, 2, 3 }, 4)); // False
사실 이번 기능도 이전에 실습하지 않았다면 그냥 자연스럽게 모르고 지나갈 수 있었던 규칙입니다. 마이크로소프트조차도 이에 대해 다음과 같은 글을 남겼는데요,
It's unclear why the restrictions were added originally. An initial investigation hasn't revealed an issue supporting these cases.
그러니까, 원래라면 당연히 허용되었을 기능이었던 것입니다. 게다가 또 하나 재미있는 것은, 문서의 예제에서는 2개 모두 컴파일 오류가 발생한다고 하지만,
// Visual Studio 2022 + C# 13 이전으로 빌드 시,
e = (a, i) => a.Contains(i); // 빌드 OK
e = (a, i) => a.Contains(i, comparer: null); // error CS0853: expression tree may not contain a named argument specification
실제로는 저렇게 선택적 인수를 사용한 코드는 빌드에 문제가 없었습니다. 오히려 저 코드가 오류로 빌드되는 것은 Visual Studio 2022 + C# 14 preview 환경에서만 발생하는 문제입니다. 아마도 C# 14의 기능을 개선하면서 선택적 인수의 빌드에 preview 버전부터 발생하던 것을 오해하는 바람에 그대로 문서에 실은 것이 아닌가 싶습니다.
즉, 아래와 같은 코드가 C# 13 이전에는 정상적으로 빌드가 됩니다.
using System.Linq.Expressions;
internal class Program
{
static void Main(string[] args)
{
Expression<Func<int?[], int, bool>> e;
// Visual Studio 2022 + C# 13 이전 환경에서도,
e = (a, i) => a.Contains(i); // 빌드 OK
var func = e.Compile();
Console.WriteLine(func(new int?[] { 1, 2, 3 }, 2)); // True
Console.WriteLine(func(new int?[] { 1, 2, 3 }, 4)); // False
}
}
그런 의미에서, 어쩌면 원래 이 글의 제목은 "Support
optional and named arguments in Expression trees"라고 하는 것이 맞을 듯합니다.
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]