C#

Members）的增强支持，本质上是对传统“扩展方法”模型的一次语言级升级，使其可以定义的不再仅限于方法，

而是可以扩展更多成员形态（例如属性、运算符等）。

style="font-size:

16px">一、从扩展方法到扩展成员

早在C#

3.0中，就引入了“扩展方法（Extension

Methods）”，其底层机制是：

• 必须定义在

  static

  class

• 方法必须是static

• 第一个参数使用this

  T

style="color:
1)">boolIsNullOrEmptyEx(
style="color:
1)">value)=>
style="color:
}

从本质上看：

编译器在语法层面做“糖化处理”，最终仍然是静态方法调用。

LINQ就是最大的应用场景。

style="font-size:

14中引入扩展成员和示例说明

C#

允许在更自然的语法结构中声明扩展成员，不再局限于“静态类

+

参数”模式，而是支持类似：

style="color:
blockextension<TSource>(IEnumerable<TSource>
source)
IEnumerable<TSource>
style="color:
1)">publicIEnumerable<TSource>
style="color:
onlyextension<TSource>(IEnumerable<TSource>)
style="color:
IEnumerable<Source>
style="color:
1)">staticIEnumerable<TSource>
Combine(IEnumerable<TSource>
first,
IEnumerable<TSource>
style="color:
1)">staticIEnumerable<TSource>
Identity
Enumerable.Empty<TSource>
style="color:
1)">staticIEnumerable<TSource>
style="color:
}

定义的是一个

extension

block，目标类型是：IEnumerable<TSource>

代码分成两类

extension

start="1">

①

实例扩展成员：extension<TSource>(IEnumerable<TSource>

source)

• source

  是接收者（receiver）

• 类似旧语法的

  this

  source

• 但语法更接近真正“为类型添加成员”

扩展属性：public

bool

!source.Any();

编译器会生成：public

static

get_IsEmpty<TSource>(IEnumerable<TSource>

source)

代码调用：list.IsEmpty

会被编译为：Enumerable.get_IsEmpty(list)

其本质仍然是：

静态方法

+

语法糖绑定

但在语义层面：它已经不再是“工具方法”，而是“类型能力”。

扩展方法：public

bool>

predicate)

即增强原有LINQ的Where功能

如果系统中已有

System.Linq.Enumerable.Where：

• 实例成员优先

• 然后才是

  extension

  静态扩展成员

  extension<TSource>(IEnumerable<TSource>)

  这里没有

  receiver

  变量名。

  为类型本身添加“静态扩展成员”

  找一个静态扩展方法

  public

  static

  Combine(...)

  代码调用：IEnumerable<int>.Combine(a,

  b);

  编译器会转化为：Enumerable.Combine(a,

  b);

  再看一个静态扩展属性

  public

  static

  Identity

  代码调用：IEnumerable<int>.Identity

  这在旧扩展方法体系中是无法表达的。

  再看一个扩展运算符

  public

  static

  的重大增强点。

  现在你可以写：

  var

  result

  list2;

  等价于：Enumerable.op_Addition(list1,

  style="font-size:

  16px">三、底层编译机制

  不修改

  CLR

  元数据

  • 不改变

    IEnumerable<T>

  • 不增加真实成员

  IL

  仍然是静态方法

  所有成员都会生成：

  public

  ...

  语义绑定由编译器完成

  扩展成员解析规则：

  start="1">

• 实例真实成员

• 同

  namespace

  block

style="font-size:

16px">四、与传统扩展方法对比

/>

同时，零运行时开销。

• 无反射

• 无动态代理

• 无装饰器

• 无运行时注入

完全编译期绑定。

编译器级语义增强，不改变运行时类型结构。

以上分享给大家。

周国庆

20260218