c# - 在这种假设情况下，是否有可能在 C# < 4 中围绕泛型协方差进行最终运行？

Question

假设我有一个小的 Animals 继承层次结构:

public interface IAnimal {
    string Speak();
}

public class Animal : IAnimal {
    public Animal() {}
    public string Speak() {
        return "[Animal] Growl!";
    }
}

public class Ape : IAnimal {
    public string Speak() {
        return "[Ape] Rawrrrrrrr!";
    }
}

public class Bat : IAnimal {
    public string Speak() {
        return "[Bat] Screeeeeee!";
    }
}

接下来，这是一个界面，提供了一种方法来转换 strings进入IAnimals .

public interface ITransmogrifier<T> where T : IAnimal {
    T Transmogrify(string s);
}

最后，这里有一个策略:

public class Transmogrifier<T> : ITransmogrifier<T> where T : IAnimal, new() {
    public T Transmogrify(string s) {
        T t = default(T);
        if (typeof(T).Name == s)
            t = new T();
        return t;
    }
}

现在，问题。是否可以替换标记为 [1]、[2] 和 [3] 的部分，以便该程序能够正确编译和运行？如果你不接触 [1]、[2] 和 [3] 以外的部分就做不到，你还能得到 IAnimal 吗？来自 Transmogrifier 的每个实例在包含 IAnimal 的任意实现的集合中？你甚至可以开始形成这样的集合吗？

    static void Main(string[] args) {
        var t = new Transmogrifier<Ape>();
        Ape a = t.Transmogrify("Ape");
        Console.WriteLine(a.Speak());  // Works!

        // But can we make an arbitrary collection of such animals?
        var list = new List<Transmogrifier< [1] >>() {
            // [2]
        };

        // And how about we call Transmogrify() on each one?
        foreach (/* [3] */ transmogrifier in list) {
            IAnimal ia = transmogrifier.Transmogrify("Bat");
        }
    }
}

Answer 1

李是对的。

正如您在问题中暗示的那样，您可以在 C# 4 中通过将 ITransmogrifier 标记为 T 中的协变(“out”)来执行此操作。然后您可以制作 List<ITransmogrifier<IAnimal>>并放一个 Transmogrifier<Bat>进入该列表。