Menggunakan Varians untuk Delegat Generik Func dan Aksi (C#)

Contoh-contoh ini menunjukkan cara menggunakan kovariansi dan kontravariansi dalam Func delegasi generik dan Action untuk mengaktifkan penggunaan kembali metode dan memberikan lebih banyak fleksibilitas dalam kode Anda.

Untuk informasi selengkapnya tentang kovariansi dan kontravariansi, silakan merujuk ke Varian dalam Delegat (C#).

Menggunakan Delegate dengan Parameter Jenis Kovarian

Contoh berikut mengilustrasikan manfaat dukungan kovarians dalam delegasi generik Func . Metode ini FindByTitle mengambil parameter jenis String dan mengembalikan objek jenis .Employee Namun, Anda dapat menetapkan metode ini ke Func<String, Person> delegasi karena Employee mewarisi Person.

// Simple hierarchy of classes.  
public class Person { }  
public class Employee : Person { }  
class Program  
{  
    static Employee FindByTitle(String title)  
    {  
        // This is a stub for a method that returns  
        // an employee that has the specified title.  
        return new Employee();  
    }  
  
    static void Test()  
    {  
        // Create an instance of the delegate without using variance.  
        Func<String, Employee> findEmployee = FindByTitle;  
  
        // The delegate expects a method to return Person,  
        // but you can assign it a method that returns Employee.  
        Func<String, Person> findPerson = FindByTitle;  
  
        // You can also assign a delegate
        // that returns a more derived type
        // to a delegate that returns a less derived type.  
        findPerson = findEmployee;  
  
    }  
}  

Menggunakan Delegasi dengan Parameter Jenis Kontravarian

Manfaat dukungan kontravariansi dalam delegasi generik Action diilustrasikan oleh contoh berikut. Metode AddToContacts menerima parameter dengan tipe Person. Namun, Anda dapat menetapkan metode ini ke Action<Employee> delegasi karena Employee mewarisi Person.

public class Person { }  
public class Employee : Person { }  
class Program  
{  
    static void AddToContacts(Person person)  
    {  
        // This method adds a Person object  
        // to a contact list.  
    }  
  
    static void Test()  
    {  
        // Create an instance of the delegate without using variance.  
        Action<Person> addPersonToContacts = AddToContacts;  
  
        // The Action delegate expects
        // a method that has an Employee parameter,  
        // but you can assign it a method that has a Person parameter  
        // because Employee derives from Person.  
        Action<Employee> addEmployeeToContacts = AddToContacts;  
  
        // You can also assign a delegate
        // that accepts a less derived parameter to a delegate
        // that accepts a more derived parameter.  
        addEmployeeToContacts = addPersonToContacts;  
    }  
}  

Fungsi kontravariansi dan anonim

Saat bekerja dengan fungsi anonim (ekspresi lambda), Anda mungkin mengalami perilaku kontraintuitif yang terkait dengan kontravariansi. Pertimbangkan contoh berikut:

public class Person
{
    public virtual void ReadContact() { /*...*/ }
}

public class Employee : Person
{
    public override void ReadContact() { /*...*/ }
}

class Program
{
    private static void Main()
    {
        var personReadContact = (Person p) => p.ReadContact();

        // This works - contravariance allows assignment.
        Action<Employee> employeeReadContact = personReadContact;

        // This causes a compile error: CS1661.
        // Action<Employee> employeeReadContact2 = (Person p) => p.ReadContact();
    }
}

Perilaku ini tampaknya bertentangan: jika kontravarian memungkinkan penetapan delegasi yang menerima jenis dasar (Person) ke variabel delegasi yang mengharapkan jenis turunan (Employee), mengapa penugasan langsung ekspresi lambda gagal?

Perbedaan utamanya adalah inferensi jenis. Dalam kasus pertama, ekspresi lambda pertama kali ditetapkan ke variabel dengan jenis var, yang menyebabkan pengkompilasi menyimpulkan jenis lambda sebagai Action<Person>. Penugasan berikutnya ke Action<Employee> berhasil karena aturan kontravariansi pada delegasi.

Dalam kasus kedua, pengkompilasi tidak dapat langsung menyimpulkan bahwa ekspresi (Person p) => p.ReadContact() lambda harus memiliki jenis Action<Person> ketika ditetapkan ke Action<Employee>. Aturan inferensi jenis untuk fungsi anonim tidak secara otomatis menerapkan kontravariansi selama penentuan jenis awal.

Penyelesaian masalah

Untuk membuat tugas langsung berfungsi, Anda dapat menggunakan transmisi eksplisit:

// Explicit cast to the desired delegate type.
Action<Employee> employeeReadContact = (Action<Person>)((Person p) => p.ReadContact());

// Or specify the lambda parameter type that matches the target delegate.
Action<Employee> employeeReadContact2 = (Employee e) => e.ReadContact();

Perilaku ini menggambarkan perbedaan antara kontravariansi delegasi (yang berfungsi setelah tipe ditetapkan) dan inferensi tipe ekspresi lambda (yang terjadi saat kompilasi).

Lihat juga

• Kovariansi dan Kontravariansi (C#)
• Generics