代码之家 › 专栏 › 技术社区 › koryakinp

协方差与反方差

contravariance covariance generics c#

koryakinp · 技术社区 · 6 年前

Message1D 和 Message2D 都继承自 Message :

public abstract class Message {}
public class Message1D : Message {}
public class Message2D : Message {}

接口 IFoo 和班级 Bar 和 Baz ,实现它:

public interface IFoo<out G, in T> 
    where G : Message 
    where T : Message
{
    G PassMessage(T input);
}

public class Bar : IFoo<Message1D, Message1D>
{
    public Message1D PassMessage(Message1D input)
    {
        throw new NotImplementedException();
    }
}

public class Baz : IFoo<Message2D, Message2D>
{
    public Message2D PassMessage(Message2D input)
    {
        throw new NotImplementedException();
    }
}

public class Network
{
    private List<IFoo<Message, Message>> messages = new List<IFoo<Message, Message>>();

    public void AddBar()
    {
        messages.Add(new Bar());
    }

    public void AddBaz()
    {
        messages.Add(new Baz());
    }
}

我有个例外:

无法转换 酒吧 到 IFoo<Message,Message>

和

巴兹 到 如果<消息,消息>

我该怎么加和列表中的实例?

2 回复 | 直到 6 年前

Servy 6 年前

如何将Bar和Baz实例添加到列表中?

IFoo<Message1D, Message> 作为 IFoo<Message, Message> ,但你不能 IFoo<Message, Message1D> 如果<消息,消息> . 如果这是有效的,那么将允许某人将2D消息传入只能处理1D消息的对象。

Bagdan Gilevich 6 年前

但是如果您能够以某种方式保证类型安全,那么您可以尝试显式地实现 IFoo<Message1D, Message> 除了 IFoo<Message1D, Message1D> 具体如下:

public class Bar : IFoo<Message1D, Message1D>, IFoo<Message1D, Message>
{
    public Message1D PassMessage(Message1D input)
    {
        // ...
    }

    Message1D IFoo<Message1D, Message>.PassMessage(Message input)
    {
        try
        {
            return PassMessage((Message1D) input);
        }
        catch (InvalidCastException)
        {
            // Message2D passed, handling exception
            // ...
        }
    }

IFoo<Message2D, Message> 对于 Baz .

推荐文章

abhijeetpawar · Java列表在初始化过程中是否表现为协变类型?

6 年前

Can PoyrazoÄlu · 我可以在Objective-C中使用\uu kindof协议吗?

6 年前

softshipper · 为什么函子实现是可能的?

6 年前

azal · 条件分布的均值和协方差

7 年前

Tarec · 结果类型协方差-泛型类,方法同时返回接口类型和特定类型[重复]

7 年前

René Vogt · 一般约束忽略协方差

7 年前

Ian · 如何找到R中每n行的协方差

7 年前

LePioo · C#函数的委托,没有返回值和一个允许子类型类的参数(作为参数)

7 年前

Marcel · C#泛型推断与协方差-错误或限制

7 年前

Zac · 协方差混乱。无法将已实现接口的元组分配给元组列表

8 年前