public sealed class Box<T>(T value)
{
    public T Value { get; } = value;
}

static T Max<T>(T left, T right) where T : IComparable<T>
    => left.CompareTo(right) >= 0 ? left : right;

int largest = Max(3, 5); // T는 호출 인자에서 추론

제약 문법

첫 다섯 primary constraint(class, class?, notnull, struct, unmanaged) 중 하나만 쓸 수 있고 먼저 와야 합니다. base class, interface, new(), allows ref struct 순서를 지킵니다.

static void CreateAndDispose<T>()
    where T : class, IDisposable, new()
{
    using T value = new();
}

static T First<T>(ReadOnlySpan<T> values) where T : unmanaged
    => values.IsEmpty ? throw new ArgumentException("At least one value is required.") : values[0];

notnull은 null 가능 type argument를 막는 강한 runtime 검사나 예외가 아닙니다. nullable context에서 compiler 경고를 만드는 annotation입니다. T?의 정확한 해석과 default 제약은 nullable·override 같은 고급 경우에만 필요하므로, 일반 API에는 더 좁고 읽기 쉬운 제약을 우선합니다.

sizeof(T)처럼 generic type의 raw size를 다루는 코드는 unmanaged 외에도 unsafe context가 필요할 수 있습니다. memory layout이 아닌 값·계약만 다루는 API에 unmanaged를 억지로 붙이지 않습니다.

복사·boxing·variance

제네릭은 compile-time type safety를 제공하며, T가 value type일 때도 object container처럼 무조건 boxing하지 않습니다. 그러나 generic body에서 T를 object나 interface로 변환하거나 해당 overload를 호출하면 boxing conversion은 여전히 생길 수 있습니다. runtime의 code sharing, JIT specialization, AOT 결과는 구현과 target에 따라 달라지는 최적화 문제이므로 API 계약으로 설명하지 않습니다.

var scores = new List<int> { 90, 100 }; // int를 object로 보관하지 않음

object boxed = scores[0]; // 여기서 int boxing
int restored = (int)boxed;

variance는 생산자·소비자 역할을 타입 변환에 반영합니다. IEnumerable<out T>는 IEnumerable<string>을 IEnumerable<object>로 사용할 수 있는 공변이고, IComparer<in T>는 더 넓은 입력 타입의 comparer를 좁은 타입에 쓸 수 있는 반공변입니다. value type에는 이 reference conversion이 적용되지 않습니다.

IEnumerable<string> names = ["Mina"];
IEnumerable<object> objects = names;

선택과 실패 경계

generic parameter가 무엇을 할 수 있는지 이름과 constraint로 드러나야 합니다. 단지 중복을 줄이려고 Repository<T, TKey, TSpec>처럼 parameter를 늘리면 호출부와 오류 메시지가 더 어려워질 수 있습니다.

where T : class 안의 ==는 concrete type의 overloaded equality를 보장하지 않습니다. 값 equality가 필요하면 IEquatable<T> 같은 계약을 요구하거나 EqualityComparer<T>.Default의 정책을 명시합니다. unconstrained T에는 임의의 operator나 member가 있다고 가정할 수 없습니다.

자주 틀리는 부분