Vấn đề hiểu hiệp phương sai với phương pháp chung trong C #

Tôi không thể hiểu tại sao mã C # sau không biên dịch.

Như bạn có thể thấy, tôi có một phương thức chung tĩnh Một cái gì đó với một IEnumerable<T>tham số (và Tbị ràng buộc là một IAgiao diện) và tham số này không thể được chuyển đổi hoàn toàn thành IEnumerable<IA>.

Giải thích là gì? (Tôi không tìm kiếm cách giải quyết, chỉ để hiểu lý do tại sao nó không hoạt động).

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)
    {
    }
}

Lỗi tôi nhận được trong Something2(bar)dòng:

Đối số 1: không thể chuyển đổi từ 'System.Collections.Generic.List' thành 'System.Collections.Generic.IEnumerable'

Thông báo lỗi không đủ thông tin và đó là lỗi của tôi. Xin lỗi vì điều đó.

Vấn đề bạn đang gặp phải là hậu quả của thực tế là hiệp phương sai chỉ hoạt động trên các loại tham chiếu.

Bạn có thể nói "nhưng IAlà một loại tham chiếu" ngay bây giờ. Vâng, đúng vậy. Nhưng bạn đã không nói rằng T nó bằng IA . Bạn đã nói rằng đó Tlà một loại thực hiện IA và một loại giá trị có thể thực hiện một giao diện . Do đó, chúng tôi không biết liệu hiệp phương sai có hoạt động hay không và chúng tôi không cho phép.

Nếu bạn muốn hiệp phương sai hoạt động, bạn phải báo cho trình biên dịch rằng tham số loại là kiểu tham chiếu với classràng buộc cũng như IAràng buộc giao diện.

Thông báo lỗi thực sự nên nói rằng việc chuyển đổi là không thể vì hiệp phương sai yêu cầu đảm bảo tính tham chiếu kiểu tham chiếu, vì đó là vấn đề cơ bản.

Tôi chỉ muốn bổ sung cho câu trả lời nội bộ xuất sắc của Eric bằng một ví dụ mã cho những người có thể không quen thuộc với các ràng buộc chung.

Thay đổi Somethingchữ ký như thế này: classRàng buộc phải đến trước .

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