C# 协方差结构理解吗？

Question

• 假设

  A级 { }

  B 级：A { }

泛型类不支持

协方差。意思是 - 我们不能做这样的事情：

MyConverter<B> x1= new MyConverter<B>();
MyConverter<A> x2= x1;  

很好并且可以理解。

从我的阅读中，我了解到协方差将可用：

“如果您使用在通用类上实现的支持通用接口，则可以通过这些接口访问 T 类型对象实例”。

我只有一个问题。

我见过许多以 Stack 形式呈现“转换器”类的示例。

但从未理解“如果我只想使用 A 的引用中的 B 的 1 个实例怎么办？”

所以我尝试了一些代码：

创建B对象+值--->使用 B 的通用转换器 ---> 使用协方差流来获取其 A 引用 --->现在你可以使用它了 作为 A 或作为 B。

我的问题：

这是执行此操作的正确方法吗（仅对 1 个对象使用协方差）？

ps 代码工作正常并且编译正常。 https://i.sstatic.net/PJ6QO.png

我一直在问/读很多东西最近关于这个话题——我深入研究事物，以便尽可能地理解它们。

Answer 1

您的代码可以编译并运行，那么它“正确”吗？我想是的！

然而，拥有一个仅包含单个元素的堆栈并不是很有趣；这并不是真正的堆栈。让我们考虑一下如何创建一个真正的协变和逆变堆栈。

interface IPush<in T> { void Push(T item); }
interface IPop<out T> { T Pop(); }
class Stack<T> : IPush<T>, IPop<T>
{
    private class Link
    {
        public T Item { get; private set; }
        public Link Next { get; private set; }
        public Link(T item, Link next) { this.Item = item; this.Next = next; }
    }

    private Link head;
    public Stack() { this.head = null; }

    public void Push(T item)
    {
        this.head = new Link(item, this.head);
    }

    public T Pop()
    {
        if (this.head == null) throw new InvalidOperationException();
        T value = this.head.Item;
        this.head = this.head.Next;
        return value;
    }
}

现在你可以协变地使用堆栈来弹出，并使用逆变来推入：

Stack<Mammal> mammals = new Stack<Mammal>();
IPop<Animal> animals = mammals;
IPush<Giraffe> giraffes = mammals;
IPush<Tiger> tigers = mammals;
giraffes.Push(new Giraffe());
tigers.Push(new Tiger());
System.Console.WriteLine(animals.Pop()); // Tiger
System.Console.WriteLine(animals.Pop()); // Giraffe

如果我只想使用 A 引用中的 B 的一个实例该怎么办？

您的问题是“如果我想使用老虎但我有一个动物参考怎么办？”答案是“你不能”，因为该动物可能不是老虎！如果您想测试对 Animal 的引用是否真的是老虎，请说：

Tiger tiger = myAnimal as Tiger;
if (tiger != null) ...

或

if (myAnimal is Tiger) ...

如果您想将类 C 转换为 C 该怎么办？

那是不可能的。那里没有参考转换。 C# 4 中唯一的协变和逆变引用转换是在使用引用类型作为类型参数构建的泛型接口和泛型委托上。类和结构不能协变或逆变使用。您能做的最好的事情就是让类实现一个变体接口。

Answer 2

看起来您使用转换器只是为了获取指向 B 类型对象的 A 类型引用。有一种更简单的方法可以做到这一点，称为强制转换：

B b = new B();
A a = (A)b;

事实上，由于 A 是 B 的超类，因此转换是隐式的：

B b = new B();
A a = b;

您的程序可以是：

class Program
{
    static void Main(string[] args)
    {
        B b = new B { b1 = 22222 };
        A a = b;
        Console.WriteLine(a.a1);
        Console.WriteLine(((B)a).b1);
    }
}

Answer 3

IPushable<B> x1 = new MyConverter<B>();
x1.Set(b);
// I believe this is valid.
IPoppable<A> final = x2;

您可以在 此博客。