泛型类型兼容性问题：为何TempHumSensor无法加入Sensor<Measurement>列表？

问题原因 #

C# 默认的泛型类是**不变（invariant）**的——即便 TempHumMeasurement 继承自 Measurement，Sensor<TempHumMeasurement> 和 Sensor<Measurement> 之间也不存在继承关系。

更核心的原因是类型安全限制：Sensor<T> 中包含 List<T> 类型的 Measurements 成员。如果允许将 Sensor<TempHumMeasurement> 强制转换为 Sensor<Measurement>，理论上你可以向这个列表中添加任意 Measurement 子类的实例（比如自定义的 PressureMeasurement），但实际这个列表只能存储 TempHumMeasurement 类型，这会直接导致类型安全漏洞，因此编译器会阻止该操作。

解决方法 #

方案1：使用协变接口（类型安全，推荐） #

如果你的场景只需要读取传感器的测量数据，不需要向 Measurements 列表写入数据，可以通过定义协变接口解决。协变允许将派生类型的泛型接口赋值给基类型的泛型接口，通过 out 关键字声明（out 表示类型参数只能作为返回值出现，不能作为输入参数）。

修改后的代码示例：

namespace ConsoleApp3
{
    abstract class Measurement
    {
        public double Value { get; set; } = 0;
    }

    class TempHumMeasurement : Measurement 
    { 
        public double Temp { get; set; }
        public double Hum { get; set; }
        public TempHumMeasurement(double t, double h) 
        { 
            Value = t;
            Temp = t;
            Hum = h;
        }
    }

    // 定义协变接口，使用out关键字
    interface ISensor<out T> where T : Measurement
    {
        // 使用IEnumerable<T>而非List<T>，因为IEnumerable是协变的
        IEnumerable<T> Measurements { get; }
    }

    abstract class Sensor<T> : ISensor<T> where T : Measurement
    {
        public List<T> Measurements = new();

        // 显式实现接口属性，返回IEnumerable<T>
        IEnumerable<T> ISensor<T>.Measurements => Measurements;
    }

    class TempHumSensor : Sensor<TempHumMeasurement>
    {
        public TempHumSensor() { }
    }

    internal class Program
    {
        static void Main(string[] args)
        {
            // 列表类型改为ISensor<Measurement>
            var sensors = new List<ISensor<Measurement>>();
            var ths = new TempHumSensor();
            sensors.Add(ths); // 编译通过
        }
    }
}

方案2：使用非泛型基类 #

如果你的场景需要向 Measurements 列表写入数据，或者必须保留 Sensor<T> 作为类的设计，可以定义一个非泛型的 Sensor 基类，让所有泛型传感器类继承它。这种方式牺牲了部分类型安全性，但能实现你需要的列表存储功能。

修改后的代码示例：

namespace ConsoleApp3
{
    abstract class Measurement
    {
        public double Value { get; set; } = 0;
    }

    class TempHumMeasurement : Measurement 
    { 
        public double Temp { get; set; }
        public double Hum { get; set; }
        public TempHumMeasurement(double t, double h) 
        { 
            Value = t;
            Temp = t;
            Hum = h;
        }
    }

    // 非泛型基类
    abstract class Sensor
    {
        // 定义通用方法，提供统一的测量数据访问方式
        public abstract IEnumerable<Measurement> GetAllMeasurements();
    }

    abstract class Sensor<T> : Sensor where T : Measurement
    {
        public List<T> Measurements = new();

        public override IEnumerable<Measurement> GetAllMeasurements()
        {
            return Measurements.Cast<Measurement>();
        }
    }

    class TempHumSensor : Sensor<TempHumMeasurement>
    {
        public TempHumSensor() { }
    }

    internal class Program
    {
        static void Main(string[] args)
        {
            // 列表类型改为非泛型Sensor
            var sensors = new List<Sensor>();
            var ths = new TempHumSensor();
            sensors.Add(ths); // 编译通过
        }
    }
}

总结 #

• 若仅需读取数据，优先选择协变接口方案，它能在保证类型安全的前提下实现多态存储。
• 若需要写入数据或保留类的设计，选择非泛型基类方案，但访问具体类型的测量数据时需要进行类型转换。

内容的提问来源于stack exchange，提问作者lf70