参数类型X不能分配给泛型类型T，其中X指定为where子句

Question

我有以下课程

public class CalculatorManipulator<TCalculator>
        where TCalculator : CachableCalculator

它包含一本字典：

   protected Dictionary<string, TCalculator> Calculators { get; set; }

假设我试图添加这样的项目

Calculators.Add(calc.CustomCaption, new CachableCalculator(calc, fg, cache));

为什么这会产生编译时错误：

Argument type CachableCalculator is not assignable to parameter type TCalculator.

编译器知道TCalculator是CachableCalculator。

我想知道为什么我要投它，因为它可以自动完成它。

这是通过将其转换到TCalculator来实现的。

     Calculators.Add(calc.CustomCaption, (TCalculator)new CachableCalculator(calc, fg, cache));

Answer 1

Dog是Animal；这并不意味着您可以假设任何Animal都是Dog，并将所有东西都扔到狗舍中。

其中：TCalculator是Dog，CachableCalculator是Animal。将TCalculator作为CachableCalculator来处理是可以的，但反过来处理是可以的:您需要通过添加显式强制转换来告诉编译器您知道自己在做什么。

Answer 2

为了更清楚地说明这一点，假设您拥有以下内容：

class Animal
{
}

class Dog : Animal
{
}

class AnimalManipulator<TAnimal> where TAnimal : Animal
{
    readonly Dictionary<string, TAnimal> animals = new Dictionary<string, TAnimal>();

    public void Test()
    {
        // Here you are forced to cast to the dictionary value type, because
        // what you are doing is NOT SAFE:
        animals.Add("Animal", (TAnimal)new Animal());
    }
}

现在我们可以说明为什么上面的代码是不安全的：

var test = new AnimalManipulator<Dog>();
test.Test(); // Runtime exception.

在本例中，TAnimal的类型是Dog，就泛型约束TAnimal : Animal而言，这是可以的。

但是，当您调用Test()时，代码将尝试将Animal转换为Dog，这当然是不允许的。

就您的类型而言，您可以有一个派生自CachableCalculator的类，并将其与您的CalculatorManipulator一起使用，这将导致等效的异常。