是否有内置的通用接口,索引器返回了协变类型参数?

时间:2013-01-04 09:17:39

标签: c# generics interface covariance indexer

在这个帖子中

How to get null instead of the KeyNotFoundException accessing Dictionary value by key?

在我自己的回答中,我使用显式接口实现来更改基本字典索引器行为,如果字典中没有键,则不要抛出KeyNotFoundException(因为我很方便获取null在这种情况下右内联)。

这是:

public interface INullValueDictionary<T, U>
    where U : class
{
    U this[T key] { get; }
}

public class NullValueDictionary<T, U> : Dictionary<T, U>, INullValueDictionary<T, U>
    where U : class
{
    U INullValueDictionary<T, U>.this[T key]
    {
        get
        {
            if (ContainsKey(key))
                return this[key];
            else
                return null;
        }
    }
}

因为在一个真实的应用程序中我有一个字典列表,我需要一种方法来从集合中访问字典作为接口。我使用简单的int索引器来访问列表中的每个元素。

var list = new List<NullValueDictionary<string, string>>();
int index = 0;
//...
list[index]["somekey"] = "somevalue";

最简单的事情就是这样做:

var idict = (INullValueDictionary<string, string>)list[index];
string value = idict["somekey"];

当我决定尝试使用协方差功能来代替使用接口集合时提出的问题。所以我需要一个带有协变类型参数的接口才能使转换工作。我想到的第一件事是IEnumerable<T>,所以代码看起来像这样:

IEnumerable<INullValueDictionary<string, string>> ilist = list;
string value = ilist.ElementAt(index)["somekey"];

根本不是那么好,除了ElementAt而不是索引器更糟糕。 List<T>的索引器在IList<T>中定义,T没有协变。

我该怎么办?我决定写自己的:

public interface IIndexedEnumerable<out T>
{
    T this[int index] { get; }
}

public class ExtendedList<T> : List<T>, IIndexedEnumerable<T>
{

}

嗯,几行代码(我甚至不需要在ExtendedList<T>中写任何内容),它可以按我的意愿运行:

var elist = new ExtendedList<NullValueDictionary<string, string>>();
IIndexedEnumerable<INullValueDictionary<string, string>> ielist = elist;
int index = 0;
//...
elist[index]["somekey"] = "somevalue";
string value = ielist[index]["somekey"];

最后一个问题:这个协变演员能否以某种方式实现,而无需创建额外的集合?

1 个答案:

答案 0 :(得分:7)

您可以尝试使用由IReadOnlyList<T>实施的List<T>

注意我已将NullValueDictionary<string, string>的一个实例添加到List,这样您就不会在ArgumentOutOfRangeException行获得elist[index]

IReadOnlyList<NullValueDictionary<string, string>> elist = new List<NullValueDictionary<string, string>>
                                                                    { 
                                                                        new NullValueDictionary<string, string>() 
                                                                    };
IReadOnlyList<INullValueDictionary<string, string>> ielist = elist;

int index = 0;
//...
elist[index]["somekey"] = "somevalue";
string value = elist[index]["somekey"];

编辑:我在.NET 4.5之前搜索了带有索引的协变接口和集合,但没有找到。我认为还有一个更简单的解决方案,而不是创建单独的界面 - 只是为了将一个集合转换为另一个集合。

List<INullValueDictionary<string, string>> ielist = elist.Cast<INullValueDictionary<string, string>>().ToList();

或者使用从数组中获得的协方差

INullValueDictionary<string, string>[] ielist = elist.ToArray()

LINQ有一些优化可以解决整个类型的兼容性,所以如果这些类型兼容,你就不会迭代序列。

MONO Linq

获取演员
public static IEnumerable<TResult> Cast<TResult> (this IEnumerable source)
{
    var actual = source as IEnumerable<TResult>;
    if (actual != null)
        return actual;

    return CreateCastIterator<TResult> (source);
}

请注意,我已更改INullValueDictionary<T, U>接口以在属性中包含set,以便ielist[index]["somekey"] = "somevalue";可用。

public interface INullValueDictionary<T, U> where U : class
{
    U this[T key] { get; set; }
}

但是再次 - 如果创建一个新的接口和类对你来说没问题而且你不想随处乱窜 - 我认为这是一个很好的解决方案,如果你考虑过限制,它会给出。

在mscorlib

中寻找协方差

这对您来说可能不会有意思,但我只是想知道mscorlib程序集中哪些类型是协变的。通过运行下一个脚本我收到的只有17种类型是协变的,其中9种是Func s。我省略了IsCovariant实现,因为即使没有它,这个答案太长了

typeof(int).Assembly.GetTypes()
                    .Where(type => type.IsGenericType)
                    .Where(type=>type.GetGenericArguments().Any(IsCovariant))
                    .Select(type => type.Name)
                    .Dump();

//Converter`2 
//IEnumerator`1 
//IEnumerable`1 
//IReadOnlyCollection`1 
//IReadOnlyList`1 
//IObservable`1 
//Indexer_Get_Delegate`1 
//GetEnumerator_Delegate`1