generics와 제약 조건이란 무엇인가요?

Question

Accepted Answer

**generics**는 타입으로 매개변수화된 클래스와 메서드를 작성하게 하여, 코드 중복이나 캐스팅 없이 **타입 안전성과 재사용성**을 제공합니다. **제약 조건(constraint)**은 제네릭 매개변수가 될 수 있는 타입을 제한하여, 그 멤버를 안전하게 사용할 수 있게 합니다. generics는 C#에 만연합니다(컬렉션 라이브러리 전체가 이를 사용). ## generics가 해결하는 문제 ```csharp // generics 없이 — 타입마다 중복하거나, `object`를 사용(안전하지 않고, 캐스트 필요) object Get(object[] arr, int i) => arr[i]; // object 반환 → 캐스트 필요, 런타임 오류 // generics로 — 타입 안전하고 재사용 가능 T Get(T[] arr, int i) => arr[i]; // 어떤 T든 동작, 정확한 타입 반환 int x = Get(new[] { 1, 2, 3 }, 0); // T가 int로 추론됨, 캐스트 없음 ``` generics는 타입 오류를 런타임(`object` 캐스팅)에서 컴파일 타임으로 옮기고 캐스트를 없앱니다 — 안전하고 재사용 가능한 코드입니다. ## 제네릭 클래스와 메서드 ```csharp public class Box // 제네릭 클래스 { private T _value; public void Set(T value) => _value = value; public T Get() => _value; } var box = new Box(); // T = string, 타입 안전 // 제네릭 메서드 public T Max(T a, T b) where T : IComparable // 제약 조건(아래 참고) => a.CompareTo(b) > 0 ? a : b; ``` ## 제약 조건 — 타입 매개변수 제한 ```csharp where T : class // T는 참조 타입이어야 함 where T : struct // T는 값 타입이어야 함 where T : new() // T는 매개변수 없는 생성자가 있어야 함 where T : IComparable // T는 인터페이스를 구현해야 함(그 멤버를 호출 가능) where T : BaseClass // T는 BaseClass로부터 파생되어야 함 // 예: 제약 조건 덕분에 CompareTo를 안전하게 호출 public T Max(T a, T b) where T : IComparable => a.CompareTo(b) > 0 ? a : b; // 제약 조건 덕분에 CompareTo 사용 가능 ``` **제약 조건**(`where T : ...`)은 `T`가 될 수 있는 것을 제한하여, 그 타입의 멤버를 안전하게 사용할 수 있게 합니다(예: `IComparable`로 제약하면 `CompareTo`를 호출할 수 있음). 제약 조건이 없으면 `T`는 무엇이든 될 수 있으므로 어떤 멤버도 가정할 수 없습니다. ## .NET 전반의 generics ```text List, Dictionary, IEnumerable, Task, Nullable ... → 컬렉션 라이브러리 전체와 .NET의 상당 부분이 제네릭임. ``` ## 왜 중요한가 generics는 C#에 근본적입니다 — 만연하게 사용되므로(컬렉션 라이브러리 전체, `Task`, `IEnumerable`, 그리고 수많은 API가 제네릭), 모든 C# 개발에 필수적으로 이해해야 합니다. generics는 실제 문제를 해결합니다. 여러 타입에서 동작하면서 **타입 안전성**을 유지하는 재사용 가능한 코드를 작성하는 것입니다 — 대안(`object` 사용 후 캐스팅)은 컴파일 타임 안전성을 희생하고 오류가 나기 쉬운 캐스트를 요구하며, 타입마다 코드를 중복하는 것은 유지보수가 불가능합니다. generics는 캐스팅 없이 컴파일 타임 오류 검사가 되는 재사용 가능하고 타입 안전한 코드를 제공합니다. **제약 조건**(`where T : ...`)은 중요한 보완 요소입니다. 타입 매개변수가 될 수 있는 것을 제한하여, 타입의 멤버를 안전하게 사용할 수 있게 하고(인터페이스로 제약하면 그 메서드를 호출 가능) 올바른 사용을 보장합니다. 제네릭 클래스와 메서드, 타입 추론이 동작하는 방식, 제약 조건(`class`, `struct`, `new()`, 인터페이스/기반 클래스 제약)을 이해하는 것은 제네릭 위주의 .NET 라이브러리를 효과적으로 사용하고 자신만의 재사용 가능하고 타입 안전한 추상화를 작성하는 데 필요합니다. generics는 C#의 컬렉션과 프레임워크의 상당 부분을 떠받치고 재사용 가능한 타입 안전 코드의 핵심이므로, generics와 제약 조건을 숙달하는 것은 효과적인 C# 개발을 위한 핵심적이고 자주 적용되는 지식이며, 타입 안전하고 재사용 가능한 설계의 이해를 반영하는 흔한 주제입니다.