`is` 연산자

is 연산자 (C# 참조)

is 연산자는 표현식의 결과가 특정 타입과 호환되는지 확인해요. 먼저 확인하고 싶은 게 있죠? 바로 "이 값이 정말 이 타입일까?"라는 의문이 드는 순간이에요. 타입 검사용 is 연산자는 타입 검사 및 캐스트 연산자 문서의 is 연산자 절에서 자세히 다룰게요.

그런데 is 연산자는 타입 비교 말고도 패턴 매칭에도 쓸 수 있어요. 아래 예시를 볼게요.

static bool IsFirstFridayOfOctober(DateTime date) =>
    date is { Month: 10, Day: <=7, DayOfWeek: DayOfWeek.Friday };

이 예시에서 is 연산자는 표현식을 속성 패턴과 비교하고 있어요. 그 안에 상수 패턴관계형 패턴이 중첩되어 있죠.

[!NOTE] C# 언어 참조는 가장 최근에 릴리스된 C# 버전을 기준으로 해요. 최근 세 버전에서 처음 도입된 기능이나 현재 공개 미리 보기에 포함된 기능은 문서에 표시됩니다. 특정 기능이 C#에 처음 등장한 시기를 찾으려면 C# 언어 버전 기록 문서를 참고하세요.

is 연산자는 이런 상황에서 특히 유용해요.

  • 표현식의 런타임 타입을 확인할 때 — 아래처럼 값을 특정 타입으로 검사할 수 있어요.

    int i = 34;
    object iBoxed = i;
    int? jNullable = 42;
    if (iBoxed is int a && jNullable is int b)
    {
        Console.WriteLine(a + b);  // output 76
    }
    

    위 예시는 선언 패턴을 사용한 거예요. iBoxed is int a는 박싱된 int를 풀어 a에 담고, jNullable is int b는 널 가능 int?를 일반 int로 변환해요. 조건이 모두 참일 때 a + b가 76으로 출력되죠.

  • null인지 확인할 때 — 아래처럼 말이에요.

    if (input is null)
    {
        return;
    }
    

    null과 표현식을 매칭할 때 컴파일러는 사용자 오버로드된 ==!= 연산자가 절대 호출되지 않도록 보장해요. 즉 값 비교가 아닌 정말 "참조가 null인지"만 살펴보는 셈이죠.

  • 널 아님을 확인할 때부정 패턴으로 is not null을 쓰면 돼요.

    if (result is not null)
    {
        Console.WriteLine(result.ToString());
    }
    
  • 리스트나 배열의 요소를 매칭할 때리스트 패턴을 쓰면 배열의 각 위치에 기대하는 정수 값이 들어있는지 확인할 수 있어요.

    int[] empty = [];
    int[] one = [1];
    int[] odd = [1, 3, 5];
    int[] even = [2, 4, 6];
    int[] fib = [1, 1, 2, 3, 5];
    
    Console.WriteLine(odd is [1, _, 2, ..]);   // false
    Console.WriteLine(fib is [1, _, 2, ..]);   // true
    Console.WriteLine(fib is [_, 1, 2, 3, ..]);     // true
    Console.WriteLine(fib is [.., 1, 2, 3, _ ]);     // true
    Console.WriteLine(even is [2, _, 6]);     // true
    Console.WriteLine(even is [2, .., 6]);    // true
    Console.WriteLine(odd is [.., 3, 5]); // true
    Console.WriteLine(even is [.., 3, 5]); // false
    Console.WriteLine(fib is [.., 3, 5]); // true
    

    여기서 _는 "아무 값이나 상관없다"는 자리 표시자, ..는 "나머지 요소는 무시해도 된다"는 뜻이에요. 그래서 fib is [1, _, 2, ..]는 첫 요소가 1, 세 번째 요소가 2면 되고 나머지는 무시하니까 참이 나오는 거예요.

[!NOTE] is 연산자가 지원하는 패턴의 전체 목록은 패턴 문서에서 확인할 수 있어요.

C# 언어 사양

더 자세한 내용은 C# 언어 사양The is operator 절과 패턴 매칭을 참고하세요.

더 알아보기