Generics cho phép bạn viết các class và method được tham số hóa theo một kiểu, mang lại an toàn kiểu và khả năng tái sử dụng mà không cần lặp code hoặc ép kiểu. Constraint giới hạn những kiểu nào mà một tham số generic có thể là, cho phép dùng an toàn các thành viên của chúng. Generics có mặt khắp nơi trong C# (toàn bộ thư viện collection đều dùng chúng).
=> arr[i];
=> arr[i];
x = Get([] { , , }, );
Generics chuyển lỗi kiểu từ lúc chạy (ép kiểu object) sang lúc biên dịch, và loại bỏ ép kiểu — code an toàn, tái sử dụng được.
public class Box<T> // một class generic
{
private T _value;
public void Set(T value) => _value = value;
public T Get() => _value;
}
var box = new Box<string>(); // T = string, an toàn kiểu
// method generic
public T Max<T>(T a, T b) where T : IComparable<T> // constraint (xem bên dưới)
=> a.CompareTo(b) > 0 ? a : b;
where T : class // T phải là reference type
where T : struct // T phải là value type
where T : new() // T phải có constructor không tham số
where T : IComparable<T> // T phải cài đặt một interface (để gọi được các thành viên của nó)
where T : BaseClass // T phải dẫn xuất từ BaseClass
// ví dụ: constraint cho phép gọi CompareTo an toàn
public T Max<T>(T a, T b) where T : IComparable<T>
=> a.CompareTo(b) > 0 ? a : b; // CompareTo có sẵn nhờ constraint
Constraint (where T : ...) giới hạn những gì T có thể là, cho phép bạn dùng an toàn các thành viên của kiểu đó (ví dụ ràng buộc tới IComparable<T> cho phép gọi CompareTo). Không có constraint, T có thể là bất cứ gì, nên bạn không thể giả định bất kỳ thành viên nào.
List<T>, Dictionary<K,V>, IEnumerable<T>, Task<T>, Nullable<T> ...
→ toàn bộ thư viện collection và phần lớn .NET đều là generic.
Generics là nền tảng của C# — chúng được dùng khắp nơi (toàn bộ thư viện collection, Task<T>, IEnumerable<T>, và vô số API đều là generic), nên hiểu chúng là thiết yếu cho bất kỳ việc phát triển C# nào.
Generics giải quyết một vấn đề thực: viết code tái sử dụng được hoạt động với nhiều kiểu trong khi giữ an toàn kiểu — giải pháp thay thế (dùng object và ép kiểu) hy sinh an toàn lúc biên dịch và đòi hỏi ép kiểu dễ lỗi, còn lặp code theo từng kiểu thì không bảo trì nổi.
Generics cho bạn code tái sử dụng được, an toàn kiểu, không ép kiểu và kiểm tra lỗi lúc biên dịch. Constraint (where T : ...) là một bổ sung quan trọng: chúng giới hạn những gì một tham số kiểu có thể là, vừa cho phép dùng an toàn các thành viên của kiểu (ràng buộc tới một interface cho phép gọi các method của nó) vừa đảm bảo sử dụng đúng.
Hiểu các class và method generic, cách suy luận kiểu hoạt động, và constraint (class, struct, new(), ràng buộc interface/base-class) là cần thiết cả khi dùng các thư viện .NET nặng generic một cách hiệu quả lẫn khi viết các trừu tượng tái sử dụng, an toàn kiểu của riêng bạn.
Vì generics nâng đỡ các collection của C# và phần lớn framework, và vì chúng là chìa khóa cho code tái sử dụng, an toàn kiểu, làm chủ generics và constraint là kiến thức cốt lõi, thường xuyên áp dụng để phát triển C# hiệu quả và là chủ đề phổ biến phản ánh sự hiểu biết về thiết kế an toàn kiểu, tái sử dụng được.