为何接收Object参数的扩展方法无法作用于IIf？后期绑定受限？

我定义了一个接收Object类型参数的ToCultureInvariantString扩展方法，代码如下：

<Extension()>
Public Function ToCultureInvariantString(obj As Object) As String
    If TypeOf obj Is IFormattable Then
        Return CType(obj, IFormattable).ToString(Nothing, CultureInfo.InvariantCulture)
    Else
        Return obj.ToString()
    End If
End Function

测试代码中，除最后一行调用IIf返回值的扩展方法报错外，其余均正常：

Dim obj1 = 5
Dim str1 = obj1.ToCultureInvariantString
Dim obj2 As Object = "hi"
Dim str2 = obj1.ToCultureInvariantString
Dim str3 = IIf(True, obj1, obj2).ToCultureInvariantString

报错提示**“Option Strict不允许后期绑定”**。此外，在ConvertAll中调用该扩展方法也会触发相同错误：

Dim ar2 = ar.ConvertAll(Function(x) x.ToCultureInvariantString)

类似Function(x) If(x.Value Is Nothing, "", x.Value.ToString)的写法也无法正常工作。我预期该扩展方法可作用于Object实例，请问为何会出现此问题？

核心原因 #

扩展方法本质是静态方法的语法糖，编译器会在编译阶段将instance.ExtensionMethod()的调用转换为ExtensionClass.ExtensionMethod(instance)。但这个转换的前提是：编译器能在编译时确定instance的静态类型，且该类型与扩展方法的第一个参数类型匹配（或可隐式转换）。

你遇到的问题，本质是编译器无法确定调用者的静态类型，导致无法识别扩展方法：

1. IIf返回值的问题：IIf是VB的老式函数，返回值类型固定为Object。在Option Strict On模式下，编译器不会自动将Object实例与针对Object的扩展方法绑定——这种绑定需要运行时确定，属于后期绑定，而Option Strict直接禁止此类操作。
2. ConvertAll中的lambda问题：如果ar是非泛型集合，或者x的静态类型是Object，编译器同样无法确认x是否匹配扩展方法的参数，只能将调用判定为后期绑定，触发报错。
3. x.Value.ToString的问题：若x.Value的静态类型是Object，ToString()的调用在Option Strict On下也会被视为后期绑定——编译器无法在编译时确定调用的是哪个具体实现的ToString方法。

解决方案 #

针对不同场景，可采用以下几种解决方式：

1. 用If运算符替换IIf函数：VB的If三元运算符是类型安全的，会根据分支类型推断出更具体的返回类型，也支持直接调用扩展方法：

   Dim str3 = If(True, obj1, obj2).ToCultureInvariantString
   

   若仍有问题，可直接调用扩展方法的静态形式：

   Dim str3 = YourExtensionClass.ToCultureInvariantString(IIf(True, obj1, obj2))
   

2. 显式调用扩展方法的静态形式：跳过语法糖，直接通过定义扩展方法的类名调用，避免编译器识别障碍：

   Dim ar2 = ar.ConvertAll(Function(x) YourExtensionClass.ToCultureInvariantString(x))
   

3. 明确调用者的静态类型：如果是泛型集合，使用泛型版本的ConvertAll让x的静态类型更具体；如果是Object类型变量，可显式转换类型，或直接用静态方法调用。
4. 修复x.Value.ToString的问题：用你的扩展方法替代直接调用ToString，避免后期绑定：

   Function(x) If(x.Value Is Nothing, "", YourExtensionClass.ToCultureInvariantString(x.Value))
   

关键注意点 #

• Option Strict On模式下，编译器严格禁止所有需要运行时确定的绑定操作，扩展方法的调用必须在编译时就能匹配到对应的静态方法。
• 扩展方法的调用优先级低于实例方法，如果目标类型已有同名实例方法，编译器会优先调用实例方法而非扩展方法。

内容的提问来源于stack exchange，提问作者Andri Timur