C# 中谓词参数的语法如何工作？

Question

某些对象关系映射 (ORM) 框架（例如 LLBLGen）允许您为查询方法指定“谓词”参数，例如（稍微简化一下）：

var entities = adapter.FetchEntities(EntityType.Employee,
    EmployeeFields.Salary > 50000);

第二个参数在 C# 中的语法如何工作？ 它看起来有点像 lambda 表达式，但它没有参数部分或“=>”。 它是什么？ 可能需要乔恩·斯基特来做这件事。

Answer 1

如果您重载了“>”运算符以在特殊的“SuperDatabaseMapField”类型上返回某种谓词对象，则可以执行此类操作。

也就是说，它在各方面似乎都比采用 lambda 表达式要差得多（如果需要的话还可以解析表达式树。）

Answer 2

我同意 mquander 的回答。 这种构造之所以有效，是因为编译器评估表达式的方式。 在本例中，对于 LLBLGen，第二个参数期望可以计算为布尔值（例如）。

运算符（+、-、***、/）只是编译器用来构建语法树的表达式，语法树用于验证左表达式和右表达式的某些组合在给定上下文（“+”）的情况下是否有效。 例如，a（字符串文字）+ 2.4（浮点）在 C# 中显然无效，编译器通过验证表达式 (string) （operator_add） （浮动）。

因此，为了实现像下面这样的奇怪场景：

FetchEntities(EntityType.Employee, 
    EmployeeFields.Salary > ((EmployeeFields.DateOfBirth - 10) * 1.2) + 1024)

有必要重载运算符（- 和 *** 和 +）以返回一个新的“谓词”对象。

最终这样的语句将被翻译成以下语法树（“()”中的项目是本答案中的表达式类型）

(BinaryComparison)
    LeftSide: (Field_Reference)    --> EmployeeFields.Salary
    RightSide:
        (MathematicOperator)
            LeftSide:
                (MathematicOperator)
                    LeftSide: 
                        (MathematicOperator)
                            LeftSide: (Field_Reference)    --> EmployeeFields.DateOfBirth
                            RightSide: (constant)    --> 10
                            Operator:      --> -
                    RightSide: (constant)    --> 1.2
                    Operator:     --> ***
            RightSide: (constant)    --> 1024
            Operator:     --> +
    Operator:     --> >

这是 lambda 表达式和流畅查询等内容如何工作的整体基础。 这一切都归结为表达式评估。

Lambda 表达式更具表现力，因为它们可以触及对象及其字段、属性和方法，并允许形成任意长度的语法树。