Жалпы түрлөр (Generics) эмне?

Генериктер (Generics) класстарды, интерфейстерди жана методдорду типтердин параметрлерин колдонуу менен аныктоого мүмкүндүк берет. Бул коддун ийкемдүүлүгүн, кайра колдонулушун жана типтик коопсуздугун жогорулатат, ар кандай маалымат түрлөрү менен иштөө мүмкүнчүлүгүн камсыз кылат, типтердин статикалык текшерүүсүн жоготпостон.

Негизги артыкчылыктары:

• Типтик коопсуздук: Компилятор типтерди компиляциялоо учурунда текшерет, типтердин туура келбөөсүнө байланышкан ката кетирүүнүн алдын алат.
• Кайра колдонуу: Бир эле код ар кандай маалымат түрлөрү менен колдонулушу мүмкүн, бул кодду кайталоону азайтат.
• Иштөө жөндөмдүүлүгү: Кээ бир тилдерде (мисалы, C#) генериктер конкреттүү типти эске алуу менен ишке ашырылат, бул Object колдонууга караганда иштөө жөндөмдүүлүгүн жогорулатат.

Колдонуу мисалдары:

• Жыйымдар: Тизмелер, сөздүктөр, топтомдор, элементтердин параметрлери менен.
• Методдор: Ар кандай маалымат типтери менен иштеген методдор, белгилүү бир интерфейсти ишке ашырат.
• Класстар: Орам класстары, фабрикалар, параметрлүү типтер менен иштегендер.

C#'да мисал:

// Генерик тизмеси
List<string> аттар = new List<string>();
аттар.Add("Alice");
аттар.Add("Bob");

// Генерик метод
public T АлгачкыЭлементтиАлуу<T>(List<T> тизмек)
{
    if (тизмек != null && тизмек.Count > 0)
    {
        return тизмек[0];
    }
    return default(T); // T үчүн алдын ала белгиленген маанини кайтарат
}

Javaда мисал:

// Генерик тизмеси
List<String> аттар = new ArrayList<>();
аттар.add("Alice");
аттар.add("Bob");

// Генерик метод
public <T> T АлгачкыЭлементтиАлуу(List<T> тизмек) {
    if (тизмек != null && !тизмек.isEmpty()) {
        return тизмек.get(0);
    }
    return null; // шилтемелүү типтер үчүн null кайтарат
}

Pythonда мисал (тип- белгилөө):

from typing import List, TypeVar

T = TypeVar('T')

def алгачкыЭлементтиАлуу(маалымат: List[T]) -> T | None:
    # Функция ар кандай тизмелер менен иштей алат жана биринчи элементти кайтарат
    if маалымат:
        return маалымат[0]
    return None

аттар: List[str] = ["Alice", "Bob"]
биринчиАт = алгачкыЭлементтиАлуу(аттар) # IDE түшүнөт, ал str

Кээ бир тилдерде (Java) генериктер "типти өчүрүү" (type erasure) аркылуу ишке ашырылат, анда параметрдин маалыматы компиляция учурунда жоголот. Бул кээ бир чектөөлөргө алып келиши мүмкүн. Башка тилдерде (C#, Go) маалыматтар ишке ашырылуу учурунда сакталат.

Генериктер таза, коопсуз жана кайра колдонулушу мүмкүн код жазуу үчүн негизги инструмент болуп саналат.