1. ホーム
  2. c#

[解決済み] 共分散と共分散の実世界の例

2022-04-20 23:40:52

質問

共分散と共分散を実世界でどのように使うのか、少し理解に苦しんでいます。

今のところ、配列の例しか見たことがないのですが。

object[] objectArray = new string[] { "string 1", "string 2" };

他で使われているのがわかると、自分の開発中に使えるような例があるといいなと思います。

どのように解決するのですか?

Personというクラスと、それを派生させたTeacherというクラスがあるとします。 このクラスでは IEnumerable<Person> を引数として与えます。 School クラスでは、引数として IEnumerable<Teacher> . Covariance を使用すると、その結果を直接 IEnumerable<Person> これは、より派生的な型をより派生的でない(より一般的な)型に置き換えるものです。 逆変換は、直感に反して、より派生的な型が指定されている場合に、より一般的な型を使用することを可能にします。

参照 MSDNにおけるジェネリックの共分散と共変量 .

授業風景 :

public class Person 
{
     public string Name { get; set; }
} 

public class Teacher : Person { } 

public class MailingList
{
    public void Add(IEnumerable<out Person> people) { ... }
}

public class School
{
    public IEnumerable<Teacher> GetTeachers() { ... }
}

public class PersonNameComparer : IComparer<Person>
{
    public int Compare(Person a, Person b) 
    { 
        if (a == null) return b == null ? 0 : -1;
        return b == null ? 1 : Compare(a,b);
    }

    private int Compare(string a, string b)
    {
        if (a == null) return b == null ? 0 : -1;
        return b == null ? 1 : a.CompareTo(b);
    }
}

使用方法 :

var teachers = school.GetTeachers();
var mailingList = new MailingList();

// Add() is covariant, we can use a more derived type
mailingList.Add(teachers);

// the Set<T> constructor uses a contravariant interface, IComparer<in T>,
// we can use a more generic type than required.
// See https://msdn.microsoft.com/en-us/library/8ehhxeaf.aspx for declaration syntax
var teacherSet = new SortedSet<Teachers>(teachers, new PersonNameComparer());