在VB.. NET、c#等语言中,一点规则是否会自动优化到代码中

本文关键字:是否 规则 一点 代码 优化 NET VB 等语言 | 更新日期: 2023-09-27 18:07:49

在VB中。. NET, c#等等,像这样的东西不会得到优化,不是吗?

'Bad
a.B.C.DoSomething1()
a.B.C.DoSomething2()
a.B.C.X = 5
DoSomething3(a.B.C.D)
'Good
Dim cachedReference As ClassOfC = a.B.C
cachedReference.DoSomething1()
cachedReference.DoSomething2()
cachedReference.X = 5
DoSomething3(cachedReference.D)

至少在ecma类型的语言中,这是一个好习惯,以尽量减少它到a的次数,然后到它的B字段/属性,然后最后到它的C字段/属性。我认为这通常是任何典型的面向对象或过程语言的经验法则,除非至少有一个相当可靠的期望,即它将被编译器/jit等优化。无论如何。这在典型的。net中是如何处理的,特别是在VB中。。NET和c# ?

例如,

似乎没有提到一点规则,至少与这两种语言中的任何一种有关:https://msdn.microsoft.com/en-us/library/ms973839.aspx。另一方面,如果它一般对属性这样做,我会非常惊讶,因为那些是有效的方法。当且仅当它们是字段甚至可能是完全无关紧要的属性时,这样做似乎更有意义。

在VB.. NET、c#等语言中,一点规则是否会自动优化到代码中

好吧,出于好奇,我试了试。

给定下列类:

public class Foo
{
    public Bar Bar { get; set;}
}
public class Bar
{
    public Baz Baz { get; set;}
}
public class Baz
{
    public string One { get; set; } = string.Empty;
    public string Two { get; set; } = string.Empty;
    public bool BothPopulated() => !(string.IsNullOrWhiteSpace(One) || string.IsNullOrWhiteSpace(Two));
}
public class FooFactory
{
    public static Foo Create() => new Foo { Bar = new Bar { Baz = new Baz { One = "Hello", Two = "World" } } };
}

和以下方法:

void Main()
{
    var foo = FooFactory.Create();
    var cached = foo.Bar.Baz;
    Console.WriteLine(cached.One);
    Console.WriteLine(cached.Two);
    Console.WriteLine(cached.BothPopulated());
    var fooTwo = FooFactory.Create();
    Console.WriteLine(fooTwo.Bar.Baz.One);
    Console.WriteLine(fooTwo.Bar.Baz.Two);
    Console.WriteLine(fooTwo.Bar.Baz.BothPopulated());
}

LinqPad报告main在发布模式下发出的IL为

IL_0000:  call        UserQuery+FooFactory.Create
IL_0005:  callvirt    UserQuery+Foo.get_Bar
IL_000A:  callvirt    UserQuery+Bar.get_Baz
IL_000F:  dup         
IL_0010:  callvirt    UserQuery+Baz.get_One
IL_0015:  call        System.Console.WriteLine
IL_001A:  dup         
IL_001B:  callvirt    UserQuery+Baz.get_Two
IL_0020:  call        System.Console.WriteLine
IL_0025:  callvirt    UserQuery+Baz.BothPopulated
IL_002A:  call        System.Console.WriteLine // <- End of cached portion
IL_002F:  call        UserQuery+FooFactory.Create
IL_0034:  dup         
IL_0035:  callvirt    UserQuery+Foo.get_Bar
IL_003A:  callvirt    UserQuery+Bar.get_Baz
IL_003F:  callvirt    UserQuery+Baz.get_One
IL_0044:  call        System.Console.WriteLine 
IL_0049:  dup         
IL_004A:  callvirt    UserQuery+Foo.get_Bar
IL_004F:  callvirt    UserQuery+Bar.get_Baz
IL_0054:  callvirt    UserQuery+Baz.get_Two
IL_0059:  call        System.Console.WriteLine
IL_005E:  callvirt    UserQuery+Foo.get_Bar
IL_0063:  callvirt    UserQuery+Bar.get_Baz
IL_0068:  callvirt    UserQuery+Baz.BothPopulated
IL_006D:  call        System.Console.WriteLine
IL_0072:  ret 

因此,通过不每次钻取属性,看起来确实节省了一些callvirts。我无法回答这是否会对运行时的JIT产生可衡量的影响,但它确实会留下更小的IL占用。

我怀疑它对运行时性能基本上没有影响。