c#: 表达式树的简化

环境:

  • .net 6

一、问题?

有下面的表达式:

csharp 复制代码
var nums = new List<int> { 1, 2, 3 };
Expression<Func<int, bool>> exp = i => i > nums.Max();

我们知道,它其实就是:exp = i => i > 3;

那么问题是,我们如何将它改造成这样呢?

在orm解析lambda生成sql时,也经常遇到这样的窘境:

csharp 复制代码
var scores = new List<Person> { new Person { Id = 1, Score = 60 } };
var sql = orm.Select<Person>().Where(i => i.Score > scores.Select(i=>i.Score).Max() || i.Score == 100).ToSql();
//error: 
// System.Exception:"未实现函数表达式 value(Program+<>c__DisplayClass0_0).scores.Select(i => i.Score).Max() 解析,如果正在操作导航属性集合,请使用 .AsSelect().Max()"


public class Person
{
    public int Id { get; set; }
    public double Score { get; set; }
}

所以,就有了个想法:能不能对表达式进行简化呢?

就比如上面的可以改造成:orm.Select<Person>().Where(i => i.Score > 60 || i.Score == 100).ToSql();

二、表达式树简化原理

lambda表达式是表达式树的根, 它可能会有参数列表, 其子孙节点可能会引用这些参数, 也可能没有引用, 将没有引用的分支编译求值, 将结果再"放回"表达式中即可!

还是以下面的表达式为例:

csharp 复制代码
var nums = new List<int> { 1, 2, 3 };
Expression<Func<int, bool>> exp = i => i > nums.Max();

在节点 > 的右侧 nums.Max() 没有引用参数列表, 那么它就可以被简化, 简化后就是:
exp = i => i > 3;

再看如下:

csharp 复制代码
var nums = new List<int> { 1, 2, 3 };
Expression<Func<int, bool>> expr = i => i > nums.Max() || nums.Count > 0;

我们不仅可以将 || 右侧的简化为 true, 还可以根据||的短路特性对整体进行简化, 结果如下:
exp = i => true

三、表达式树的树状图

我们知道有各种各样的表达式类型, 如: +-/*Call/MemberInit等。

无论哪种类型, 都可以将它们抽象成一棵树, 如:
Call类型的表达式, 可以看成:

表达式的嵌套:

lambda表达式有可能会嵌套lambda, 如:

csharp 复制代码
var nums = new List<int> { 1, 2, 3 };
Expression<Func<int>> expr = () => Filter(nums, i => i > 1);

static int Filter(List<int> nums, Func<int, bool> func)
{
    return nums.First(i => func(i));
}

它的结构树如下:

这个是函数接受委托的, 还有函数接受lambda的,如:

csharp 复制代码
var nums = new List<int> { 1, 2, 3 };
Expression<Func<int>> expr = () => Filter(nums, i => i > 1);
static int Filter(List<int> nums, Expression<Func<int, bool>> expression)
{
    return nums.First(i => expression.Compile()(i));
}

此时,它的结构树如下:

四、成品代码

在DotNetCommon.Core``已封装好了表达式树简化的方法,如下:

更多细节,参考:《DotNetCommon源码》

相关推荐
大飞pkz4 分钟前
【设计模式】题目小练2
开发语言·设计模式·c#·题目小练
csdn_aspnet2 小时前
MongoDB C# .NetCore 驱动程序 序列化忽略属性
mongodb·c#·.netcore
浪扼飞舟2 小时前
c#基础二(类和对象,构造器调用顺序、访问级别、重写和多态、抽象类和接口)
java·开发语言·c#
好望角雾眠5 小时前
第四阶段C#通讯开发-1:通讯基础理论,串口,通讯模式,单位转换,代码示例
开发语言·笔记·c#·串口·通讯
薄荷撞~可乐13 小时前
C#Task(Api)应用
开发语言·c#
almighty2718 小时前
C#WPF控制USB摄像头参数:曝光、白平衡等高级设置完全指南
开发语言·c#·wpf·usb相机·参数设置
后青春期的诗go19 小时前
金蝶云星空插件开发记录(一)
c#·钉钉·金蝶云星空·插件开发
大飞pkz1 天前
【设计模式】题目小练1
开发语言·设计模式·c#·题目小练
lljss20201 天前
C# 每个chartArea显示最小值、平均值、最大值
开发语言·c#
wearegogog1231 天前
C#与Twincat 2 实现上位机控制软PLC功能
开发语言·c#