HasThis 和 ExplicitThis 调用约定

我遇到HasThis and ExplicitThis调用约定.NET框架参考源 https://referencesource.microsoft.com/#mscorlib/system/reflection/callingconventions.cs,0e671adbca70e090，因此我开始怀疑：

• 编译器什么时候设置它们？
• 是否有使用这种调用约定组合的示例（在“现实世界”托管程序中）？

MSDN https://learn.microsoft.com/en-us/dotnet/api/system.reflection.callingconventions将它们描述为：

显式这个

指定签名是函数指针签名，表示对实例或虚拟方法（不是静态方法）的调用。如果ExplicitThis已设定，HasThis也必须设置。传递给被调用方法的第一个参数仍然是this指针，但第一个参数的类型现在未知。因此，描述该类型（或类）的标记this指针显式存储到其元数据签名中。

HasThis

指定实例或虚拟方法（不是静态方法）。在运行时，被调用的方法将传递一个指向目标对象的指针作为其第一个参数（this指针）。存储在元数据中的签名不包括第一个参数的类型，因为该方法是已知的并且可以从元数据中发现其所有者类。

这里有一个示例程序 https://dotnetfiddle.net/NRLH08我编写了使用这些位集生成一个类和构造函数的方法：

const string FileName = "MyDynamicLib.dll";
AppDomain currentDomain = AppDomain.CurrentDomain;

AssemblyName assemblyName = new AssemblyName(assemblyName: "MyAssembly");
AssemblyBuilder assemblyBuilder = currentDomain.DefineDynamicAssembly(
                                                                      name  : assemblyName,
                                                                      access: AssemblyBuilderAccess.RunAndSave
                                                                     );
ModuleBuilder moduleBuilder = assemblyBuilder.DefineDynamicModule(
                                                                  name          : "MyModule",
                                                                  fileName      : FileName,
                                                                  emitSymbolInfo: true
                                                                 );

TypeBuilder typeBuilder = moduleBuilder.DefineType(
                                                   name: "MyClass",
                                                   attr: TypeAttributes.Public | TypeAttributes.BeforeFieldInit
                                                  );
ConstructorBuilder constructorBuilder = typeBuilder.DefineConstructor(
                                                                      attributes       : MethodAttributes.Public | MethodAttributes.HideBySig | MethodAttributes.SpecialName | MethodAttributes.RTSpecialName,
                                                                      callingConvention: CallingConventions.HasThis | CallingConventions.ExplicitThis,
                                                                      parameterTypes   : null
                                                                     );
constructorBuilder.GetILGenerator().Emit(opcode: OpCodes.Ret);
typeBuilder.CreateType();

assemblyBuilder.Save(
                     assemblyFileName      : FileName,
                     portableExecutableKind: PortableExecutableKinds.Required32Bit,
                     imageFileMachine      : ImageFileMachine.I386
                    );

目前已知的情况：
无法使用 C# 语法更改方法的调用约定。这只能在 IL 级别实现，也可以使用反射发射 API。
HasThis and Standard这些都是最常用的，无需解释。
VarArgs位，另一方面，它被设置为__arglist方法：

static void VariadicMethod(__arglist)

我会尝试仔细回答，因为这是 ECMA 中最不太明确的主题之一，但也许我能够对此做出一些说明。

您可以跳到“回到您的问题”部分查看最终答案。

答案有点长，因为我想提供参考，所以我不会写我的观点，而是引用。我希望它足够容易理解。如果没有，我将编辑答案并提供更多解释。

引文中的强调是我的。一些引言被删掉了。

EXPLICITTHIS (0x40) 位只能设置在函数指针的签名中：签名其 MethodDefSig 前面是 FNPTR

来自 CoreCLR

EXPLICITTHIS 和本机调用转换仅适用于独立信号（对于愈伤组织）

函数指针是一种调用非托管方法的方法。

非托管方法也可以通过函数指针调用。

函数指针可以通过调用calli操作说明

方法指针应存储其签名的方法的入口点地址 是method-signature-compatible-with方法指针的类型。可以通过使用方法指针和calli操作说明。

更多相关信息

正确的 CIL 要求函数指针包含其签名的方法的地址 是method-signature compatible-with由指定的callsitedescr并且这些论点 如果需要，正确对应于目标函数的 this 指针的类型，并且 参数。为了签名匹配的目的，HASTHIS 和 EXPLICITTHIS 标志是 被忽视；两个签名中的所有其他项目必须相同。

And

The calli指令包括一个call site description其中包括有关本机调用的信息 应该用于调用该方法的约定。正确的 CIL 代码应在calli与正在调用的方法的调用约定相匹配的指令。

调用站点说明

呼唤站点 描述（表示为元数据标记stand-alone call signature) 提供： • 传递的参数数量。 • 这每个参数的数据类型。 • 它们在调用堆栈上的放置顺序。 • 要使用的本机调用约定

方法签名与均值兼容

方法签名类型 T 与方法签名类型 U 方法签名兼容，如果 并且仅当： 1. 对于每个签名，独立地，如果该签名是针对其携带的实例方法 这个的类型。 [注意：对于实例方法指针的签名始终如此 由 ldvirtftn 指令生成。 2、T和U的调用约定要完全匹配，忽略区别 静态方法和实例方法之间（即 this 参数，如果有的话，不被处理 特别）。

回到你的问题

• 编译器什么时候设置它们？
• 是否有使用这种调用约定组合的示例（在“现实世界”托管程序中）？

ExplicitThis can仅在通过调用函数指针时使用calli操作说明。

AFAIK C# 编译器not生成calli指令，因此您不会看到任何设置该位的 C# 代码。

参考

C#编译器不会生成calli指令 https://blogs.msdn.microsoft.com/shawnfa/2004/06/14/calli-is-not-verifiable/

罗斯林源代码 https://github.com/dotnet/roslyn

EXPLICITTHIS 和本机调用转换仅适用于独立信号（对于愈伤组织） https://github.com/dotnet/coreclr/blob/03f0b6d5f97a5d65387cad5fd0f60342d3118047/src/utilcode/util.cpp#L2140

引擎盖下的签名 https://www.codeproject.com/Articles/42649/%2FArticles%2F42649%2FNET-file-format-Signatures-under-the-hood-Part-1

ECMA https://www.ecma-international.org/publications/files/ECMA-ST/ECMA-335.pdf