合同请求：Enumerable.Zip [英] Contract request: Enumerable.Zip

问题描述

Enumerable.Zip缺少一个非null后置条件。

Enumerable.Zip is missing a non-null postcondition.

推荐答案

我刚添加了这个：

I just added this:

    public static IEnumerable<TResult> Zip<TFirst, TSecond, TResult>(this IEnumerable<TFirst> first, IEnumerable<TSecond> second, Func<TFirst, TSecond, TResult> resultSelector)
    {
      Contract.Requires(first != null);
      Contract.Requires(second != null);
      Contract.Ensures(Contract.Result<IEnumerable<TResult>>() != null);
      return default(IEnumerable<TResult>);
    }

它应出现在下一个版本中。

It should appear in the next release.

这篇关于合同请求：Enumerable.Zip的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！