合同请求：Enumerable.Zip

本文介绍了合同请求：Enumerable.Zip的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！

问题描述

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

Enumerable.Zip is missing a non-null postcondition.

推荐答案

    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的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！