ปัญหาในการทำความเข้าใจความแตกต่างของความแปรปรวนร่วมกับยาชื่อสามัญใน C #

ฉันไม่เข้าใจว่าทำไมโค้ด C # ต่อไปนี้ไม่คอมไพล์

อย่างที่คุณเห็นฉันมีวิธีการทั่วไปแบบคงที่ Something ที่มีIEnumerable<T>พารามิเตอร์ (และTถูก จำกัด ให้เป็นIAอินเทอร์เฟซ) และพารามิเตอร์นี้ไม่สามารถแปลงเป็นIEnumerable<IA>ไฟล์.

มีคำอธิบายอย่างไร? (ฉันไม่ได้ค้นหาวิธีแก้ปัญหาเพียงเพื่อทำความเข้าใจว่าเหตุใดจึงไม่ได้ผล)

public interface IA { }
public interface IB : IA { }
public class CIA : IA { }
public class CIAD : CIA { }
public class CIB : IB { }
public class CIBD : CIB { }

public static class Test
{
    public static IList<T> Something<T>(IEnumerable<T> foo) where T : IA
    {
        var bar = foo.ToList();

        // All those calls are legal
        Something2(new List<IA>());
        Something2(new List<IB>());
        Something2(new List<CIA>());
        Something2(new List<CIAD>());
        Something2(new List<CIB>());
        Something2(new List<CIBD>());
        Something2(bar.Cast<IA>());

        // This call is illegal
        Something2(bar);

        return bar;
    }

    private static void Something2(IEnumerable<IA> foo)
    {
    }
}

เกิดข้อผิดพลาดฉันเข้าSomething2(bar)แถว:

อาร์กิวเมนต์ 1: ไม่สามารถแปลงจาก 'System.Collections.Generic.List' เป็น 'System.Collections.Generic.IEnumerable'

ข้อความแสดงข้อผิดพลาดให้ข้อมูลไม่เพียงพอและนั่นเป็นความผิดของฉัน ขอโทษด้วยกับเรื่องนั้น.

ปัญหาที่คุณพบเป็นผลมาจากข้อเท็จจริงที่ว่าความแปรปรวนร่วมใช้ได้เฉพาะกับประเภทอ้างอิงเท่านั้น

ตอนนี้คุณอาจจะพูดว่า "แต่IAเป็นประเภทอ้างอิง" ใช่แล้ว. แต่คุณไม่ได้บอกว่าจะมีค่าเท่ากับT IAคุณบอกว่าTเป็นประเภทที่ใช้ IAและประเภทค่าสามารถใช้อินเทอร์เฟซได้ ดังนั้นเราจึงไม่รู้ว่าความแปรปรวนร่วมจะได้ผลหรือไม่และเราไม่อนุญาต

หากคุณต้องการให้ความแปรปรวนร่วมทำงานคุณต้องบอกคอมไพเลอร์ว่าพารามิเตอร์ type เป็นชนิดอ้างอิงที่มีclassข้อ จำกัด เช่นเดียวกับIAข้อ จำกัด ของอินเตอร์เฟส

ข้อความแสดงข้อผิดพลาดควรบอกว่าการแปลงเป็นไปไม่ได้จริง ๆ เนื่องจากความแปรปรวนร่วมต้องการการรับประกันประเภทอ้างอิงเนื่องจากเป็นปัญหาพื้นฐาน

ฉันแค่ต้องการเติมเต็มคำตอบภายในที่ยอดเยี่ยมของ Eric ด้วยตัวอย่างโค้ดสำหรับผู้ที่อาจไม่คุ้นเคยกับข้อ จำกัด ทั่วไป

เปลี่ยนSomethingลายเซ็น 's เช่นนี้classข้อ จำกัด ที่มีมาก่อน

public static IList<T> Something<T>(IEnumerable<T> foo) where T : class, IA