Question

我正试图从查询中获取Envelope。信封定义如下。

[<CLIMutable>]
type Envelope<'T> = {
    Id : Guid
    StreamId: Guid
    Created : DateTimeOffset
    Item : 'T }

MyLibAAS.DataStore.MyLibAASDbContext是用c＃编写的EF DbContext。当我在f＃中扩展它时，我得到错误：Only parameterless constructors and initializers are supported in LINQ to Entities.

type MyLibAAS.DataStore.MyLibAASDbContext with 
    member this.GetEvents streamId = 
        query {
            for event in this.Events do
            where (event.StreamId = streamId)
            select {
                Id = event.Id;
                StreamId = streamId;
                Created = event.Timestamp;
                Item = (JsonConvert.DeserializeObject<QuestionnaireEvent> event.Payload)
            }
        }

如果我返回事件并在事后将其映射到Envelope，它可以正常工作。

type MyLibAAS.DataStore.MyLibAASDbContext with 
    member this.GetEvents streamId = 
        query {
            for event in this.Events do
            where (event.StreamId = streamId)
            select event
        } |> Seq.map (fun event ->
                {
                    Id = event.Id
                    StreamId = streamId
                    Created = event.Timestamp
                    Item = (JsonConvert.DeserializeObject<QuestionnaireEvent> event.Payload)
                }
            )

为什么这会有所不同？信封类型甚至不是EF类型。

Answer 1

F＃记录如何工作
F＃记录被编译成具有只读属性的.NET类和一个构造函数，该构造函数将所有字段的值作为参数（加上一些接口）。
例如，您的记录将以C＃表示，大致如下：

public class Envelope<T> : IComparable<Envelope<T>>, IEquatable<Envelope<T>>, ...
{
   public Guid Id { get; private set; }
   public Guid StreamId { get; private set; }
   public DateTimeOffset Created { get; private set; }
   public T Item { get; private set; }

   public Envelope( Guid id, Guid streamId, DateTimeOffset created, T item ) {
      this.Id = id;
      this.StreamId = streamId;
      this.Created = created;
      this.Item = item;
   }

   // Plus implementations of IComparable, IEquatable, etc.
}

当您想要创建F＃记录时，F＃编译器会发出对此构造函数的调用，为所有字段提供值。
例如，查询的select部分将在C＃中查找：

select new Envelope<QuestionnaireEvent>( 
   event.Id, streamId, event.Timestamp, 
   JsonConvert.DeserializeObject<QuestionnaireEvent>(event.Payload) )

实体框架限制
实际上，Entity Framework不允许在查询中调用非默认构造函数。有一个很好的理由：如果确实允许它，原则上你可以构造一个这样的查询：

from e in ...
let env = new Envelope<E>( e.Id, ... )
where env.Id > 0
select env

实体框架不知道如何编译此查询，因为它不知道传递给构造函数的e.Id的值变为属性env.Id的值。对于F＃记录，这总是如此，但对于其他.NET类则不然原则上，实体框架可以识别Envelope是一个F＃记录，并应用构造函数参数和记录属性之间的连接知识。但事实并非如此。不幸的是，实体框架的设计者并没有将F＃视为有效的用例 （有趣的事实：C＃匿名类型的工作方式相同，EF确实为它们做了例外）

如何解决此问题
为了使这项工作，您需要将Envelope声明为具有默认构造函数的类型。唯一的方法是使它成为一个类，而不是记录：

type Envelope<'T>() =
   member val Id : Guid = Guid.Empty with get, set
   member val StreamId : Guid = Guid.Empty with get, set
   member val Created : DateTimeOffset = DateTimeOffset.MinValue with get, set
   member val Item : 'T = Unchecked.defaultof<'T> with get, set

然后使用属性初始化语法创建它：

select Envelope<_>( Id = event.Id, StreamId = streamId, ... )

为什么将select移至Seq.map作品
Seq.map调用不是查询表达式的一部分。它不会作为IQueryable的一部分结束，因此它不会最终由Entity Framework编译为SQL。相反，EF会在query内部编译，并在从SQL Server中获取后返回结果序列。只有在此之后，您才会将Seq.map应用于该序列 Seq.map中的代码在CLR上执行，而不是编译为SQL，因此它可以调用它想要的任何内容，包括非默认构造函数。
这个“修复”虽然带来了成本：不仅仅是您需要的字段，整个Event实体都会从DB中获取并实现。如果此实体很重，则可能会对性能产生影响。

需要注意的另一件事
即使您通过使Envelope类型使用默认构造函数（如上所述）来解决问题，您仍然会遇到下一个问题：方法JsonConvert.DeserializeObject无法编译为SQL，因此实体框架也会抱怨它。你应该这样做的方法是将所有字段提取到CLR端，然后应用你需要的任何非SQL可编译的转换。

Answer 2

使用LINQ to Entities，query计算表达式中发生的所有事情实际上都在数据库引擎中执行，数据库引擎可能驻留在远程服务器上。它之外的所有内容都在客户端上运行的应用程序中执行。

因此，在您的第一个片段中，Entity Framework拒绝执行Envelope<'T>的构造函数，因为为了这样做，它需要将其转换为服务器的SQL命令。这显然不是它可以保证的东西，因为构造函数可能包含任何类型的副作用和.NET框架代码 - 它可以请求用户输入，从客户端的硬盘读取文件等等。

EF 可以做什么，在您的第二个代码段中，将自己的POCO event对象发送回客户端，然后将Seq.map ping它们给您的任务花哨Envelope，它可以做，因为它在您的客户端计算机上运行，可以访问完整的.NET框架。

附录：那么为什么无参数构造函数可以呢？如果我在无参数构造函数中调用MsgBox()该怎么办？我认为无参数构造函数通过让客户端构造对象（不知道查询结果），以序列化形式将它们发送到服务器，并让服务器填充具有查询结果的对象属性。

我还没有真正测试过。但是F＃记录类型无论如何都没有无参数构造函数，所以在你的情况下，这一点没有实际意义。

f＃：LINQ to Entities中仅支持无参数构造函数和初始值设定项

2 个答案: