C# 铸造泛型（协变和逆变？）

Question

我需要一些建议/帮助，我再也看不到树上的木头了。

这是一系列使用泛型实现一些接口的简单类。

然后我尝试转换具体类型，例如：

MyGenericObject<SomeObject> _obj;

IMyGenericObject<ISomeObject> _genObj = (IMyGenericObject<ISomeObject>)_obj;

// 无效转换

我读过一些关于协变和逆变的文章，但不太清楚为什么这是不可能的，或者如何绕过它？

---

所以，在这个例子中：

public interface IMyObject<in T> where T : IBaseObject
{
    T Activity { get; set; }
}

没用……

---

....因为，您无法获取和设置 Activity 属性。

在这个例子中，我需要做：

public interface IMyObject<out T> where T : IBaseObject
    {
        T Activity { get; }
    }

希望对某人有所帮助，感谢大家的帮助！

Answer 1

只有将接口声明为具有协变 (out) 参数时，才能这样做。只有在协变使用参数时才能这样做。

例如，如果接口IMyGenericObject<T> 有一个采用T 参数的方法，这会阻止您将参数声明为协变。相反，如果有一个方法返回一个T，这会阻止您将参数声明为逆变。

编辑

作为对您对 SLaks 回答的评论的回应，我很想重复 Eric Lippert 曾经写过的关于协变和逆变的所有内容。请参阅http://blogs.msdn.com/b/ericlippert/archive/tags/Covariance+and+Contravariance/ 以及他在 SO 中的答案（最近是https://stackoverflow.com/a/8380213/385844）

总结一下：

您不能将IList<string> 转换为IList<object>，因为将FileInfo 传递给IList<object> 是合法的，但将其传递给IList<string> 是不合法的。

您不能将IList<object> 强制转换为IList<string>，因为从IList<string> 检索项目并将其分配给字符串引用是合法的，但IList<object> 可能包含一个FileInfo，它可以'不被分配给一个字符串引用。

编辑 2

既然您寻求建议，也可以将您的接口拆分为协变和逆变部分。要继续列表示例，您可以拥有这些接口

public interface ICovariantList<out T>
{
    T this[int index] { get; }
    //...
}

public interface IContravariantList<in T>
{
    T this[int index] { set; }
    void Add(T item);
    //...
}

public class SomeList<T> : ICovariantList<T>, IContravariantList<T>
{
    //...
}

这允许您根据上下文以协变或逆变的方式使用类。

Answer 2

您需要将接口声明为具有协变 (out) 泛型参数。