Insoniyat tarixining ko‘p asrlik tajribasi ezgu g‘oyalardan va sog‘lom mafkuradan mahrum biron-bir jamiyatning uzoqqa bora olmasligini ko‘rsatdi

Dastur natijasi:

2.6 Delegatlarning mosligi

Tiplarning mosligi
Delegatlarning barcha tiplari bir xil imzoga ega bo'lsa ham bir-biriga mos kelmaydi.
Masalan:
delegate void Dl(); delegate void D2();
Dl dl = Methodl;
D2 d2 = dl; // Kompilyatsiya qismidagi xatolik
Biroq, quyidagi kodga ruxsat beriladi:
D2 d2 = new D2 (dl) ;
Delegatlik namunalari bir xil maqsad metodlariga ega bo'lsa teng deb hisoblanadi.
Misol:
delegate void D();
D dl = Methodl;
D d2 = Methodl;
Console .WriteLine (dl == d2) ; // Rostlik holati
Guruh delegatlari bir xil tartibda bir xil metodlarga murojaat qilsalar teng deb hisoblanadi.


Parametrlarning mosligi
Metodga murojaat qilinganda bu metodning parametrlari uchun belgilanganlarga qaraganda aniqroq tipdagi ma’lumotlar keltirish mumkin. Bu umumiy polimorfik xatti-harakatlar.
Xuddi shu sabablarga ko'ra, delegat o'z maqsadli metodiga qaraganda aniqroq parametr tiplariga ega bo'lishi mumkin. Bunga qarama-qarshilik deyiladi.
Misol:
using System;
namespace parametr_tiplari
{
delegate void StringAction (string s); 
class Test 
{
static void Main()
{
StringAction d = new StringAction (ActOnObject); 
d ("Salom dunyo");
}
static void ActOnObject (object o) 
{
Console.WriteLine (o); // Salom dunyo
Console.ReadKey();
}
}
}
Dastur natijasi:

Delegat metodni shunchaki boshqasi nomidan chaqiradi. Bunday holda StringAction string turining argumenti bilan chaqiriladi. Keyin argument maqsad metodiga o'tkazilsa, u aniq ravishda object ga ko'chiriladi.


Qaytish tipining mosligi
Metod chaqiruvi natijasida so'ralganidan aniqroq tipni qaytarib olish mumkin. Bu umumiy polimorfik xatti-harakatlar. Xuddi shu sabablarga ko'ra, delegatning maqsadli metodi o'zi tomonidan tavsiflanganidan ko'ra aniqroq tipni qaytarishi mumkin. Bunga kovariatsiya deyiladi.