რა შესაძლებლობები აქვს Generics-ს?

გენერიკები (გენერიკები) უზრუნველყოფს შემდეგ შესაძლებლობებს:

• კოდის გადამეორებითი გამოყენება: კლასების, ინტერფეისების და მეთოდების შექმნა, რომლებიც მუშაობენ სხვადასხვა ტიპის ობიექტებთან, ტიპის უსაფრთხოების დაკარგვის გარეშე.
• ტიპის უსაფრთხოება კომპილაციის დროს: კომპილატორი შემოწმებს ტიპების სწორ გამოყენებას, თავიდან აიცილებს შესრულების დროს ხარვეზებს, რომლებიც დაკავშირებულია ტიპის გადამწყვეტთან.
• კოდის უკეთესი წაკითხვა: მეთოდების სიგნატურებში და კლასების განცხადებებში ტიპების მკაფიო მითითება კოდს უფრო გასაგებს ხდის.
• პროდუქტიულობის გაზრდა (რამდენიმე ენაზე): ენებში, სადაც გენერიკები რეალიზებულია ტიპის შროშით (მაგალითად, Java), ეს მიღწეულია ტიპის გადამწყვეტის საჭიროების აღმოფხვრით. ენებში, სადაც გენერიკები რეალიზებულია მონომორფიზმით (მაგალითად, C++ ტემპლეტები), ეს შეიძლება გამოიწვიოს კოდის გაზრდით, მაგრამ შესაძლო უფრო სწრაფი მუშაობით დინამიური ზარების აღმოფხვრით.
• კოლექციებთან თავსებადობა: კომფორტული მუშაობა კოლექციებთან, რომელიც საშუალებას აძლევს მიუთითოთ კოლექციაში შენახული ელემენტების ტიპი.

Java-ს მაგალითი:

// გენერიკების გარეშე
List list = new ArrayList();
list.add("string");
// საჭირო არის ტიპის გადამწყვეტი, შესაძლებელია ClassCastException
String s = (String) list.get(0);

// გენერიკებით
List<String> stringList = new ArrayList<>();
stringList.add("string");
// ტიპის გადამწყვეტი საჭირო არ არის, ტიპის უსაფრთხოება გარანტირებულია
String s2 = stringList.get(0);
// შეცდომა კომპილაციის დროს, თუ incompatible ტიპი დაემატება
// stringList.add(123);

C#-ში მაგალითი:

// გენერიკების გარეშე
ArrayList list = new ArrayList();
list.Add("string");
// საჭირო არის ტიპის გადამწყვეტი
string s = (string)list[0];

// გენერიკებით
List<string> stringList = new List<string>();
stringList.Add("string");
// ტიპის გადამწყვეტი საჭირო არ არის
string s2 = stringList[0];
// შეცდომა კომპილაციის დროს
// stringList.Add(123);