Блог

Мне трудно понять, почему я получаю нарушение контракта с кодом в следующем фрагменте кода:

      // 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});
  

Мой вопрос «почему?».

Похоже, ему нужен реальный класс в качестве контракта. Что вы можете сделать, так это:

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

В любом случае, это очень странно, что вы там делаете…