Оператор “If” VB.NET вызывает упаковку?
Те из нас, кто работал в VB/VB.NET, видели код, подобный этому отвращению:
Dim name As String = IIf(obj Is Nothing, "", obj.Name)
Я говорю "отвращение" по трем простым причинам:
IIfфункция, все чей параметры оценены; следовательно, еслиobjничто в вышеупомянутом вызове тогда aNullReferenceExceptionбудет брошен. Это - неожиданное поведение для кого-то, кто приучен к закороченным тернарным операторам на языках как 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 функционируйте, но (насколько я понимаю) без тех же недостатков. То есть это действительно обеспечивает замыкание накоротко, и это - intrinstic VB операция. Однако я не уверен в последней части. Документация MSDN, кажется, не указывает ли If поля его аргументы или нет. Кто-либо знает?
2 ответа
Главное, чтобы вы правильно определили новый If как оператор , а не функцию. Он также типобезоустойчив и поэтому не нуждается в боксе, и является прямым сопоставлением с условным /троичным/? оператор в C/C++/C#/Java/etc
Даже без нового оператора вы можете получить некоторое улучшение в 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
Джоэл опередил меня с ответом, но вот пример программы и сгенерированный 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
}