where 제약
형식 매개변수의 범위를 제한해 보세요.
where 제약은(는) CoddyKit의 무료 C# Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C# Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C# Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
제약 조건이 필요한 이유
기본적으로 형식 매개변수 T는 object와 거의 같은 방식으로 처리되므로 컴파일러가 허용하는 연산이 매우 적습니다. where로 작성하는 제약 조건은 컴파일러에 T에 대한 추가 정보를 제공합니다.
이 정보를 바탕으로 메서드를 호출하고, 인스턴스를 생성하고, 값을 안전하게 비교할 수 있습니다.
void Show<T>(T value) where T : IFormattable
{
// now ToString(format, provider) is available
}인터페이스 제약 조건
인터페이스 제약 조건은 T가 지정된 인터페이스를 구현하도록 요구합니다. 그러면 본문에서 해당 인터페이스의 멤버를 호출할 수 있습니다.
아래의 where T : IComparable<T>는 CompareTo 메서드가 존재함을 보장합니다.
T Max<T>(T a, T b) where T : IComparable<T>
=> a.CompareTo(b) >= 0 ? a : b;기본 클래스 제약 조건
T가 특정 기본 클래스를 상속하도록 요구할 수 있습니다. 그러면 제네릭 코드 내부에서 해당 기본 형식의 멤버를 사용할 수 있습니다.
모든 엔터티가 기본 형식을 공유하는 프레임워크에서 흔히 사용됩니다.
class Animal { public string Name = ""; }
string NameOf<T>(T a) where T : Animal => a.Name;클래스 제약 조건
where T : class는 T가 참조 형식이어야 함을 요구합니다. 이를 통해 null 할당과 참조 동일성 확인이 가능해집니다.
리포지토리, 캐시 및 null을 허용하는 참조를 저장하는 모든 대상에서 일반적으로 사용됩니다.
T? FindOrNull<T>(bool found, T value) where T : class
=> found ? value : null;구조체 제약 조건
where T : struct는 T가 null을 허용하지 않는 값 형식이어야 함을 요구합니다. 따라서 T를 값 형식으로 취급하고 T?를 null을 허용하는 값 형식으로 사용할 수 있습니다.
숫자, 열거형 또는 작은 구조체에서만 작동하는 도우미에 사용됩니다.
T? AsNullable<T>(T value) where T : struct
=> value;new() 제약 조건
new() 제약 조건은 T에 공개 매개변수가 없는 생성자가 있어야 함을 요구합니다. 그러면 본문에서 new T()를 작성할 수 있습니다.
팩터리와 객체 풀은 이 제약 조건을 사용해 제네릭 방식으로 인스턴스를 생성합니다.
using System;
class Program
{
static T Make<T>() where T : new() => new T();
static void Main()
{
var list = Make<System.Collections.Generic.List<int>>();
Console.WriteLine(list.Count);
}
}제약 조건 결합하기
하나의 매개변수에 여러 제약 조건을 적용할 수 있습니다. 순서 규칙에 따라 클래스 또는 구조체를 먼저 작성하고, 그다음 기본 클래스, 인터페이스, 마지막으로 new()를 작성해야 합니다.
제약 조건은 하나의 where 뒤에 쉼표로 구분하여 나열합니다.
T Build<T>() where T : class, IComparable<T>, new()
=> new T();여러 where 절
메서드나 클래스에 여러 형식 매개변수가 있으면 각각 고유한 where 절을 가집니다. 각 절은 차례로 작성합니다.
이렇게 하면 각 매개변수의 제약 조건을 명확하게 구분할 수 있습니다.
TResult Convert<TInput, TResult>(TInput x)
where TInput : class
where TResult : new()
=> new TResult();실행 가능한 제약 조건 예시
이 완전한 프로그램은 IComparable<T> 제약 조건을 사용해 두 값 중 더 큰 값을 찾으며, 정수와 문자열 모두에 작동합니다.
이 제약 조건 덕분에 메서드 내부에서 CompareTo를 사용할 수 있습니다.
using System;
class Program
{
static T Max<T>(T a, T b) where T : IComparable<T>
=> a.CompareTo(b) >= 0 ? a : b;
static void Main()
{
Console.WriteLine(Max(3, 9));
Console.WriteLine(Max("apple", "pear"));
}
}notnull 및 unmanaged 제약 조건
최신 C#에는 더 많은 제약 조건이 추가되었습니다. where T : notnull은 null을 허용하는 형식을 금지하므로 사전 키에 유용합니다. where T : unmanaged는 낮은 수준의 코드에서 사용할 수 있도록 T를 메모리 표현을 그대로 복사할 수 있는 값 형식으로 제한합니다.
이러한 제약 조건은 특수한 상황에서 안전성을 강화합니다.
void Use<T>(T key) where T : notnull { }
unsafe void Raw<T>(T v) where T : unmanaged { }제약 조건은 제한이 아니라 기능을 열어 줍니다
제약 조건은 제한처럼 보이지만 실제로는 기능을 사용할 수 있게 해 줍니다. 제약 조건이 없으면 T를 거의 다룰 수 없지만, 제약 조건이 있으면 해당 형식의 멤버를 사용할 수 있습니다.
알고리즘이 작동하는 데 필요한 최소한의 제약 조건을 선택하여 형식 매개변수를 최대한 유연하게 유지하십시오.
// No constraint: only object members available
string Name<T>(T x) => x.ToString();빠른 확인
where 제약 조건에 대한 이해도를 확인해 보십시오.
정리
where 절은 형식 매개변수에 제약을 둡니다. 사용할 수 있는 제약 조건은 인터페이스, 기본 클래스, class, struct, new(), notnull 및 unmanaged입니다. 각 제약 조건은 T에서 수행할 수 있는 특정 연산을 가능하게 합니다.
제약 조건을 올바른 순서로 작성하고, 매개변수마다 하나의 절을 사용하며, 알고리즘에 필요한 최소한의 제약 조건을 선택하십시오.
자주 묻는 질문
“where 제약” 강의는 무료인가요?
네 — “where 제약” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C# Academy 강의 전체를 잠금 해제할 수 있습니다. C# Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“where 제약”에서 뭘 배우나요?
형식 매개변수의 범위를 제한해 보세요. 브라우저에서 직접 실행하는 실습 코드로 C# Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C# Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C# Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.
“where 제약” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C# Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C# Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.