使用 IQueryable 投影到匿名类型时违反代码约定

Question

我很难理解为什么我在以下代码片段上遇到代码契约违规：

     // servicequery is of type System.Data.Services.Client.DataServiceQuery<DividendData>
     // therefore implements IQueryable
     var serviceQuery = CreateDataService().DividendData;
     Contract.Assume(serviceQuery != null);
     Contract.Assume(serviceQuery.Any());
     var data = serviceQuery
        .Select(div => new {I = 2});

违规行为是：CodeContracts:requires unproven:constructor != null 就在作业上。

如果我将此代码更改为以下内容，违规行为就会消失：

  class resulttype
  {
     public int I { get; set; }
  }


  var serviceQuery = CreateDataService().DividendData;
  Contract.Assume(serviceQuery != null);
  Contract.Assume(serviceQuery.Any());
  var data = serviceQuery
     .Select(div => new resulttype() {I = 2});

我的问题是“为什么？”。

Answer 1

看来它需要一个实际的课程作为合同。你能做的是：

var serviceQuery = CreateDataService().DividendData;
Contract.Assume(serviceQuery != null);
Contract.Assume(serviceQuery.Any());
var data = serviceQuery.ToList().Select(div => {I = 2});

无论如何，你在那里做的事情很奇怪......