Aracılığıyla paylaş

Func ve Action Genel Delegeleri için Varyansı Kullanma (C#)

Bu örnekler, yöntemlerin yeniden kullanılmasını sağlamak ve kodunuzda daha fazla esneklik sunmak amacıyla Func ve Action genel temsilcilerde kovaryans ve kontravaryansı nasıl kullanacağınızı gösterir.

Kovaryans ve karşıt varyans hakkında daha fazla bilgi için bakınız Temsilcilerde Varyans (C#).

Kovaryant Tür Parametreleriyle Temsilcileri Kullanma

Aşağıdaki örnek, genel Func temsilcilerde kovaryans desteğinin avantajlarını göstermektedir. FindByTitle yöntemi, String türünde bir parametre alır ve Employee türünde bir nesne döndürür. Ancak, Func<String, Person>Employee'den devraldığı için Person temsilciye bu yöntemi atayabilirsiniz.

// 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;  
  
    }  
}

Delegeleri Kontravaryant Tür Parametreleriyle Kullanma

Aşağıdaki örnek, genel Action temsilcilerde değişken karşıtı desteğin avantajlarını göstermektedir. AddToContacts yöntemi, Person türünde bir parametre alır. Ancak, Action<Employee>Employee'den devraldığı için Person temsilciye bu yöntemi atayabilirsiniz.

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;  
    }  
}

Değişken karşıtı ve anonim işlevler

Anonim işlevlerle (lambda ifadeleri) çalışırken, değişken karşıtıyla ilgili karşıt davranışlarla karşılaşabilirsiniz. Aşağıdaki örneği göz önünde bulundurun:

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();
    }
}

Bu davranış çelişkili görünüyor: Karşıtlık, türetilmişEmployee bir tür ( ) bekleyen bir temsilci değişkenine temel türü (Person) kabul eden bir temsilci atamaya izin veriyorsa, lambda ifadesinin doğrudan atanması neden başarısız olur?

Temel fark tür çıkarımıdır. İlk durumda, lambda ifadesi ilk olarak türüne varsahip bir değişkene atanır ve bu da derleyicinin lambda'nın türünü olarak Action<Person>çıkarsamasına neden olur. Sonraki atama Action<Employee> , temsilciler için değişken karşıtı kurallar nedeniyle başarılı olur.

İkinci durumda, derleyici lambda ifadesinin (Person p) => p.ReadContact() atandığı Action<Employee>sırada türü Action<Person> olması gerektiğini doğrudan çıkaramaz. Anonim işlevlerin tür çıkarım kuralları, ilk tür belirleme sırasında otomatik olarak ters değişken uygulamaz.

Geçici çözümler

Doğrudan atamanın çalışmasını sağlamak için açık atamayı kullanabilirsiniz:

// 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();

Bu davranış, temsilci karşıtlığı (türler oluşturulduktan sonra çalışır) ile lambda ifade türü çıkarımı (derleme sırasında gerçekleşir) arasındaki farkı gösterir.

Ayrıca bakınız

  • Last updated on