.NET ExpandoObject 技术原理解析

🌟 .NET ExpandoObject 技术原理解析

引用：

.NET 剖析4.0上ExpandoObject动态扩展对象原理
风潇潇人渺渺
快意刀山中草

ExpandoObject IDynamicMetaObjectProvider IEnumerable 字段_dict IDictionary 嵌套类ExpandoMetaObject DynamicMetaObject 方法Set/Get/Invoke 绑定方法BindGetMember等反射方法缓存

🧠 一、总体架构设计（核心组件分析）

1.1 类关系拓扑图

创建继承实现实现 <<sealed>> ExpandoObject +IDictionary _dict +IDynamicMetaObjectProvider.GetMetaObject() +IEnumerable.GetEnumerator() +IEnumerable.GetEnumerator() ExpandoMetaObject -IDictionary dict +BindGetMember(GetMemberBinder) : DynamicMetaObject +BindSetMember(SetMemberBinder, DynamicMetaObject) : DynamicMetaObject +BindInvokeMember(InvokeMemberBinder, DynamicMetaObject[]) : DynamicMetaObject -Get(string, object) : object -Set(string, object) : object -Invoke(string, object) : object <<abstract>> DynamicMetaObject +Expression Expression +BindingRestrictions Restrictions +object Value +BindGetMember(GetMemberBinder) : DynamicMetaObject +BindSetMember(SetMemberBinder, DynamicMetaObject) : DynamicMetaObject +BindInvokeMember(InvokeMemberBinder, DynamicMetaObject[]) : DynamicMetaObject IDynamicMetaObjectProvider IEnumerable<string>

1.2 核心数据流架构

数据存储执行层 DLR层用户层属性访问属性设置方法调用 Dict读写线程同步最终结果构建表达式树创建DynamicMetaObject DLR执行引擎实际调用Set/Get/Invoke 操作字典数据 GetMemberBinder SetMemberBinder InvokeMemberBinder ExpandoMetaObject.BindGetMember ExpandoMetaObject.BindSetMember ExpandoMetaObject.BindInvokeMember 操作类型动态操作

🛠 二、动态绑定机制深度解析

2.1 元对象提供器实现原理

csharp 复制代码

DynamicMetaObject IDynamicMetaObjectProvider.GetMetaObject(Expression express)
{
    return new ExpandoMetaObject(this, express);
}

DLR运行时 ExpandoObject ExpandoMetaObject 请求MetaObject(Expression) 创建ExpandoMetaObject(this, express) 返回ExpandoMetaObject实例调用绑定方法(BindGetMember等) 返回DynamicMetaObject(表达式树) 编译执行表达式树 DLR运行时 ExpandoObject ExpandoMetaObject

2.2 表达式树构建技术

绑定方法 InvokeMember调用创建表达式树 Expression.Call 目标对象: this 方法: Set/Get/Invoke 参数1: key常量参数2: value常量

实际表达式树创建代码：

csharp 复制代码

private DynamicMetaObject InvokeMember(string key, MethodInfo met, params object[] values)
{
    // 参数处理逻辑
    object args = null;
    if (met == invoke) 
        args = values;
    else if (values != null && values.Length > 0) 
        args = values[0];

    // 构建表达式树核心
    return new DynamicMetaObject(
        Expression.Call(
            Expression.Constant(this),  // 目标对象
            met,                        // 方法信息
            Expression.Constant(key, typeof(string)), // 成员名
            Expression.Convert(Expression.Constant(args), typeof(object)) // 值
        ),
        BindingRestrictions.GetTypeRestriction(base.Expression, base.LimitType)
    );
}

🔍 三、成员操作深度分析

3.1 属性获取机制（Get）

用户代码 DLR运行时 ExpandoMetaObject 字典_dict var value = obj.Name BindGetMember("Name") 调用InvokeMember("Name", getMethod) 返回表达式树编译并执行表达式树调用Get("Name", null) lock(_dict) 返回dict["Name"] 抛出MemberAccessException alt [存在键] [不存在键] 返回结果返回value 用户代码 DLR运行时 ExpandoMetaObject 字典_dict

3.2 属性设置机制（Set）

3.3 方法调用机制（Invoke）

调用Invoke方法成员存在？检查类型检查 BindInvokeMember 参数转换：收集所有参数参数转换 InvokeMember：传递方法名和参数 InvokeMember 构建表达式树返回DynamicMetaObject 执行表达式树获取锁检查成员存在存在获取值不存在抛出异常是委托？是：动态调用否：抛MethodAccessException DynamicInvoke 返回结果

🔒 四、线程安全与锁机制

4.1 锁的应用全景图

潜在问题安全访问锁保护区域返回原始迭代器在枚举期间修改字典可能导致异常临界区操作字典存在检查键值读取键值设置委托获取键集合枚举 lock(_dict) Get操作 Set操作 Invoke操作枚举操作

4.2 改进后的锁策略

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 字典操作锁保护反射方法缓存枚举器快照枚举安全无锁字典减少锁范围委托缓存原始实现优化建议关键改进点线程安全优化方案

改进后枚举实现：

csharp 复制代码

IEnumerator<string> IEnumerable<string>.GetEnumerator()
{
    lock (_dict)
    {
        // 创建副本保证线程安全
        return new List<string>(_dict.Keys).GetEnumerator();
    }
}

⚡ 五、性能优化深度分析

5.1 反射优化策略

原始实现每次绑定调用GetMethod 运行时反射高开销优化建议静态构造函数预加载 MethodInfo缓存减少运行时开销

csharp 复制代码

private static class MethodCache
{
    public static readonly MethodInfo SetMethod;
    public static readonly MethodInfo GetMethod;
    public static readonly MethodInfo InvokeMethod;
    
    static MethodCache()
    {
        SetMethod = typeof(ExpandoMetaObject).GetMethod("Set", 
            BindingFlags.NonPublic | BindingFlags.Instance);
        // ...同理缓存其他方法
    }
}

5.2 表达式树编译缓存

第一次调用构建表达式树编译为委托执行委托后续调用使用缓存委托

5.3 内存占用分析

45% 25% 15% 10% 5% 内存占用分布字典存储表达式树元数据开销委托对象其他

🆚 六、与官方实现对比分析

6.1 架构差异对比图

mindmap root((架构差异)) 线程同步 🟢 此实现：全局lock 🔵 官方实现：无锁CAS 成员枚举 🔴 此实现：原始迭代器 🟢 官方实现：键集合快照元数据处理 🟠 此实现：每次构建 🟢 官方实现：缓存优化动态方法 🟢 两者相同：基于委托错误处理 🟠 此实现：基本异常 🟢 官方实现：详细异常信息

6.2 性能基准对比

🛡 七、最佳实践与安全性

7.1 线程安全使用模式

只读线程读写线程创建ExpandoObject 写入初始化数据多线程访问安全外部同步使用外部锁避免嵌套锁

7.2 异常处理体系

<<异常体系>> DynamicExceptions +MemberAccessException：成员不存在 +MethodAccessException：非委托调用 +TargetInvocationException：委托异常 +InvalidOperationException：枚举修改 MemberAccessException MethodAccessException TargetInvocationException InvalidOperationException

🔮 八、高级应用场景

8.1 动态工作流引擎集成

条件满足条件不满足 JSON配置解析为ExpandoObject 动态添加方法创建工作流执行步骤判断条件执行下一节点执行备选分支

8.2 动态规则引擎实现

用户规则API 规则引擎 ExpandoObject 定义规则({condition: "Age >= 18", action: "Approve"}) 添加规则(规则对象) 提交请求(用户数据) 转换为动态对象添加验证方法条件结果执行对应操作 alt [条件验证] 返回结果 loop [执行规则] 用户规则API 规则引擎 ExpandoObject

💎 九、总结与展望

9.1 技术实现矩阵

9.2 未来发展建议

.NET Core优化 =等 this[key]访问分段锁策略基于ImmutableDictionary 支持+ 缓存MethodInfo 返回快照预编译动态方法基础优化基础优化缓存MethodInfo 反射优化反射优化返回快照枚举安全枚举安全分段锁策略减少锁竞争减少锁竞争高级特性高级特性 this[key]访问索引器支持索引器支持支持+ - =等动态操作符动态操作符 .NET Core优化跨平台兼容跨平台兼容性能突破性能突破基于ImmutableDictionary 无锁实现无锁实现预编译动态方法 AOT支持 AOT支持 ExpandoObject进化路线