为什么密封类型更快？
我想知道为什么这是正确的更详细的信息。
在最低级别上，当您具有密封类时，编译器可以进行微优化。
[如果要在密封类上调用方法，并且在编译时将类型声明为该密封类，则编译器可以使用调用IL指令而不是callvirt IL来实现方法调用（在大多数情况下）指令。这是因为方法目标不能被覆盖。调用消除了null检查，并且比callvirt进行了更快的vtable查找，因为它不必检查虚拟表。
这可能对性能有非常非常小的改进。
话虽如此，在决定是否上课时，我将完全忽略这一点。标记密封的类型实际上应该是设计决定，而不是性能决定。您是否希望人们（包括您自己）现在或将来从您的班级中子类化？如果是这样，请勿密封。如果没有，请密封。这确实应该是决定因素。
本质上，这与他们不必担心虚拟函数表的扩展这一事实有关；密封类型无法扩展，因此，运行时无需担心它们可能是多态的。
决定发布小的代码示例以说明C＃编译器何时发出“调用”和“ callvirt”指令。
所以，这是我使用的所有类型的源代码：
public sealed class SealedClass
{
public void DoSmth()
{ }
}
public class ClassWithSealedMethod : ClassWithVirtualMethod
{
public sealed override void DoSmth()
{ }
}
public class ClassWithVirtualMethod
{
public virtual void DoSmth()
{ }
}
而且我还有一个方法可以调用所有“ DoSmth（）”方法：
public void Call()
{
SealedClass sc = new SealedClass();
sc.DoSmth();
ClassWithVirtualMethod cwcm = new ClassWithVirtualMethod();
cwcm.DoSmth();
ClassWithSealedMethod cwsm = new ClassWithSealedMethod();
cwsm.DoSmth();
}
[“ Call（）”方法，我们可以说（从理论上来说）C＃编译器应该发出2条“ callvirt”和1条“ call”指令，对吗？不幸的是，现实有点不同-3“ callvirt” -s：
.method public hidebysig instance void Call() cil managed
{
.maxstack 1
.locals init (
[0] class TestApp.SealedClasses.SealedClass sc,
[1] class TestApp.SealedClasses.ClassWithVirtualMethod cwcm,
[2] class TestApp.SealedClasses.ClassWithSealedMethod cwsm)
L_0000: newobj instance void TestApp.SealedClasses.SealedClass::.ctor()
L_0005: stloc.0
L_0006: ldloc.0
L_0007: callvirt instance void TestApp.SealedClasses.SealedClass::DoSmth()
L_000c: newobj instance void TestApp.SealedClasses.ClassWithVirtualMethod::.ctor()
L_0011: stloc.1
L_0012: ldloc.1
L_0013: callvirt instance void TestApp.SealedClasses.ClassWithVirtualMethod::DoSmth()
L_0018: newobj instance void TestApp.SealedClasses.ClassWithSealedMethod::.ctor()
L_001d: stloc.2
L_001e: ldloc.2
L_001f: callvirt instance void TestApp.SealedClasses.ClassWithVirtualMethod::DoSmth()
L_0024: ret
}
原因非常简单：运行时必须在调用“ DoSmth（）”方法之前检查类型实例是否不等于null。BUT我们仍然可以通过C＃编译器能够发出优化的IL代码的方式来编写代码：
public void Call()
{
new SealedClass().DoSmth();
new ClassWithVirtualMethod().DoSmth();
new ClassWithSealedMethod().DoSmth();
}
结果是：
.method public hidebysig instance void Call() cil managed
{
.maxstack 8
L_0000: newobj instance void TestApp.SealedClasses.SealedClass::.ctor()
L_0005: call instance void TestApp.SealedClasses.SealedClass::DoSmth()
L_000a: newobj instance void TestApp.SealedClasses.ClassWithVirtualMethod::.ctor()
L_000f: callvirt instance void TestApp.SealedClasses.ClassWithVirtualMethod::DoSmth()
L_0014: newobj instance void TestApp.SealedClasses.ClassWithSealedMethod::.ctor()
L_0019: callvirt instance void TestApp.SealedClasses.ClassWithVirtualMethod::DoSmth()
L_001e: ret
}
如果您尝试以相同的方式调用非密封类的非虚拟方法，您还将获得“调用”指令，而不是“ callvirt”
如果JIT编译器看到使用密封类型对虚拟方法的调用，则可以通过非虚拟方式调用该方法来产生更有效的代码。现在，调用非虚拟方法的速度更快，因为无需执行vtable查找。恕我直言，这是微优化，应作为提高应用程序性能的最后手段。如果您的方法包含任何代码，则与执行代码本身的成本相比，虚拟版本将比非虚拟版本慢很多。
为了扩展其他人的答案，不能扩展密封类（相当于Java中的最终类）。这意味着，只要编译器看到使用此类的方法，编译器便绝对知道不需要运行时调度。它不必检查类即可动态查看需要调用层次结构中哪个类的哪个方法。这意味着分支可以被编译而不是动态的。
例如，如果我有一个具有方法Animal的非密封类makeNoise()，则编译器不必知道是否有任何Animal实例重写该方法。因此，每次任何Animal实例调用makeNoise()时，都需要检查该实例的类层次结构，以查看该实例是否在扩展类中重写此方法。
但是，如果我有一个带有方法AnimalFeeder的密封类feedAnimal()，则编译器肯定会知道该方法不能被覆盖。它可以在分支中编译为子例程或等效指令，而无需使用虚拟调度表。
注意：可以在类上使用sealed来防止从该类继承any，并且可以在基类中声明为sealed的方法上使用virtual以防止进一步重写该方法。
表演方面的差异最小。要真正看到它们，您需要分析JIT编译的代码（最后一个）。
C＃代码
public sealed class Sealed
{
public string Message { get; set; }
public void DoStuff() { }
}
public class Derived : Base
{
public sealed override void DoStuff() { }
}
public class Base
{
public string Message { get; set; }
public virtual void DoStuff() { }
}
static void Main()
{
Sealed sealedClass = new Sealed();
sealedClass.DoStuff();
Derived derivedClass = new Derived();
derivedClass.DoStuff();
Base BaseClass = new Base();
BaseClass.DoStuff();
}
MIL代码
.method private hidebysig static void Main() cil managed
{
.entrypoint
// Code size 41 (0x29)
.maxstack 8
IL_0000: newobj instance void ConsoleApp1.Program/Sealed::.ctor()
IL_0005: callvirt instance void ConsoleApp1.Program/Sealed::DoStuff()
IL_000a: newobj instance void ConsoleApp1.Program/Derived::.ctor()
IL_000f: callvirt instance void ConsoleApp1.Program/Base::DoStuff()
IL_0014: newobj instance void ConsoleApp1.Program/Base::.ctor()
IL_0019: callvirt instance void ConsoleApp1.Program/Base::DoStuff()
IL_0028: ret
} // end of method Program::Main
JIT编译代码
--- C:\Users\Ivan Porta\source\repos\ConsoleApp1\Program.cs --------------------
{
0066084A in al,dx
0066084B push edi
0066084C push esi
0066084D push ebx
0066084E sub esp,4Ch
00660851 lea edi,[ebp-58h]
00660854 mov ecx,13h
00660859 xor eax,eax
0066085B rep stos dword ptr es:[edi]
0066085D cmp dword ptr ds:[5842F0h],0
00660864 je 0066086B
00660866 call 744CFAD0
0066086B xor edx,edx
0066086D mov dword ptr [ebp-3Ch],edx
00660870 xor edx,edx
00660872 mov dword ptr [ebp-48h],edx
00660875 xor edx,edx
00660877 mov dword ptr [ebp-44h],edx
0066087A xor edx,edx
0066087C mov dword ptr [ebp-40h],edx
0066087F nop
Sealed sealedClass = new Sealed();
00660880 mov ecx,584E1Ch
00660885 call 005730F4
0066088A mov dword ptr [ebp-4Ch],eax
0066088D mov ecx,dword ptr [ebp-4Ch]
00660890 call 00660468
00660895 mov eax,dword ptr [ebp-4Ch]
00660898 mov dword ptr [ebp-3Ch],eax
sealedClass.DoStuff();
0066089B mov ecx,dword ptr [ebp-3Ch]
0066089E cmp dword ptr [ecx],ecx
006608A0 call 00660460
006608A5 nop
Derived derivedClass = new Derived();
006608A6 mov ecx,584F3Ch
006608AB call 005730F4
006608B0 mov dword ptr [ebp-50h],eax
006608B3 mov ecx,dword ptr [ebp-50h]
006608B6 call 006604A8
006608BB mov eax,dword ptr [ebp-50h]
006608BE mov dword ptr [ebp-40h],eax
derivedClass.DoStuff();
006608C1 mov ecx,dword ptr [ebp-40h]
006608C4 mov eax,dword ptr [ecx]
006608C6 mov eax,dword ptr [eax+28h]
006608C9 call dword ptr [eax+10h]
006608CC nop
Base BaseClass = new Base();
006608CD mov ecx,584EC0h
006608D2 call 005730F4
006608D7 mov dword ptr [ebp-54h],eax
006608DA mov ecx,dword ptr [ebp-54h]
006608DD call 00660490
006608E2 mov eax,dword ptr [ebp-54h]
006608E5 mov dword ptr [ebp-44h],eax
BaseClass.DoStuff();
006608E8 mov ecx,dword ptr [ebp-44h]
006608EB mov eax,dword ptr [ecx]
006608ED mov eax,dword ptr [eax+28h]
006608F0 call dword ptr [eax+10h]
006608F3 nop
}
0066091A nop
0066091B lea esp,[ebp-0Ch]
0066091E pop ebx
0066091F pop esi
00660920 pop edi
00660921 pop ebp
00660922 ret