VB.NET“If”运算符是否会导致装箱?
-
18-09-2019 - |
题
我们这些曾经在 VB/VB.NET 工作过的人都见过类似这种令人厌恶的代码:
Dim name As String = IIf(obj Is Nothing, "", obj.Name)
我说“可憎”有三个简单的原因:
IIf
是一个 功能, ,其所有参数均被评估;因此如果obj
上面的调用中没有任何内容,那么NullReferenceException
将被抛出。对于习惯在 C# 等语言中使用短路三元运算符的人来说,这是意想不到的行为。- 因为
IIf
是一个函数,因此会产生函数调用的开销。同样,虽然这不是什么大问题,但对于那些期望它表现为语言固有的三元运算的人来说,这感觉不太对劲。 IIf
是非泛型的,因此接受类型的参数Object
, ,这意味着下面的调用框(我相信)总共三个整数:' boxes 2nd and 3rd arguments as well as return value '
Dim value As Integer = IIf(condition, 1, -1)
现在,在 VB.NET 的一些更新版本中(我不确定数字是多少), If
引入了运算符,其工作方式与 IIf
功能,但(据我了解)没有同样的缺点。也就是说,它 做 提供短路和它 是 固有的 VB 操作。但是,我不确定最后一部分。这 MSDN 文档 似乎没有表明是否 If
是否框定其论点。有人知道吗?
解决方案
最主要的是你正确地识别了新的 If
作为 操作员 而不是一个函数。它也是类型安全的,因此不需要装箱,并且是到条件/三元/? 的直接映射。C/C++/C#/Java/等中的运算符
即使没有 new 运算符,您也可以使用以下代码在 VB.Net 中获得一些改进:
Public Shared Function IIf(Of T)(ByVal Expression As Boolean, ByVal TruePart As T, ByVal FalsePart As T) As T
If Expression Then Return TruePart Else Return FalsePart
End Function
其他提示
Joel 比我先找到了答案,但这里有一个示例程序和生成的 IL,它演示了 If() 无需装箱即可传递到 IL 的底层三元运算符。
Public Class Test
Public Sub New()
Dim rnd = New Random()
Dim result As Integer = If(rnd.Next(1000) < 500, 1, -1)
Console.WriteLine(result)
End Sub
End Class
正如您所看到的,IL 没有“box”声明。
.method public specialname rtspecialname instance void .ctor() cil managed
{
.maxstack 2
.locals init (
[0] int32 result,
[1] class [mscorlib]System.Random rnd)
L_0000: nop
L_0001: ldarg.0
L_0002: call instance void [mscorlib]System.Object::.ctor()
L_0007: nop
L_0008: newobj instance void [mscorlib]System.Random::.ctor()
L_000d: stloc.1
L_000e: ldloc.1
L_000f: ldc.i4 0x3e8
L_0014: callvirt instance int32 [mscorlib]System.Random::Next(int32)
L_0019: ldc.i4 500
L_001e: blt.s L_0023
L_0020: ldc.i4.m1
L_0021: br.s L_0024
L_0023: ldc.i4.1
L_0024: stloc.0
L_0025: ldloc.0
L_0026: call void [mscorlib]System.Console::WriteLine(int32)
L_002b: nop
L_002c: nop
L_002d: ret
}
给定相同的程序但使用旧的 IIf() 函数,将生成以下 IL。您可以看到装箱和函数调用开销:
.method public specialname rtspecialname instance void .ctor() cil managed
{
.maxstack 3
.locals init (
[0] int32 result,
[1] class [mscorlib]System.Random rnd)
L_0000: nop
L_0001: ldarg.0
L_0002: call instance void [mscorlib]System.Object::.ctor()
L_0007: nop
L_0008: newobj instance void [mscorlib]System.Random::.ctor()
L_000d: stloc.1
L_000e: ldloc.1
L_000f: ldc.i4 0x3e8
L_0014: callvirt instance int32 [mscorlib]System.Random::Next(int32)
L_0019: ldc.i4 500
L_001e: clt
L_0020: ldc.i4.1
L_0021: box int32
L_0026: ldc.i4.m1
L_0027: box int32
L_002c: call object [Microsoft.VisualBasic]Microsoft.VisualBasic.Interaction::IIf(bool, object, object)
L_0031: call int32 [Microsoft.VisualBasic]Microsoft.VisualBasic.CompilerServices.Conversions::ToInteger(object)
L_0036: stloc.0
L_0037: ldloc.0
L_0038: call void [mscorlib]System.Console::WriteLine(int32)
L_003d: nop
L_003e: nop
L_003f: ret
}
不隶属于 StackOverflow