楔子

有小伙伴被面试官问到这个问题，本篇彻底解析下这个问题。

为了彻底点，注意本篇是最底层的.Net 7 RC CLR运行模型（汇编）为基础进行全局剖析，局部业务分析。

如有疏漏，请斧正。

目的非手段

这两个函数比较特殊的存在，.Ctor是非静态默认实例化。.CCtor是静态默认实例化。这两个函数伴随着.Net 任何对象的实例化都自动存在于这个对象当中。

跟踪.CCtor可以在全局静态对象下断点，观察它的里面运行。

跟踪.Ctor可以通过!name2ee 模块模块.类名..Ctor找到JITTED Code Address，观察它的运行。正如本段题所说，这只是手段，不是目的。所以下面看目的。

.Ctor目的

先来看下非静态默认构造函数.Ctor。上一段代码：

    internal class Program

    {

        public class ABC

        {

        }

        static void Main(string[] args)

        {

            ABC abc = new ABC();

            Console.ReadLine();

        }

    }

直接给它反编译：

00007FFDF2FA03B0 55                   push        rbp

00007FFDF2FA03B1 48 83 EC 40          sub         rsp,40h

00007FFDF2FA03B5 48 8D 6C 24 40       lea         rbp,[rsp+40h]

00007FFDF2FA03BA C5 D8 57 E4          vxorps      xmm4,xmm4,xmm4

00007FFDF2FA03BE C5 FA 7F 65 E8       vmovdqu     xmmword ptr [rbp-18h],xmm4

00007FFDF2FA03C3 33 C0                xor         eax,eax

00007FFDF2FA03C5 48 89 45 F8          mov         qword ptr [rbp-8],rax

00007FFDF2FA03C9 48 89 4D 10          mov         qword ptr [rbp+10h],rcx

00007FFDF2FA03CD 83 3D BC E9 19 00 00 cmp         dword ptr [7FFDF313ED90h],0

00007FFDF2FA03D4 74 05                je          00007FFDF2FA03DB

00007FFDF2FA03D6 E8 B5 BF 79 5E       call        JIT_DbgIsJustMyCode (07FFE5173C390h)

00007FFDF2FA03DB 90                   nop

00007FFDF2FA03DC 48 B9 30 F6 5B F3 FD 7F 00 00 mov         rcx,7FFDF35BF630h

00007FFDF2FA03E6 E8 75 7C C1 5E       call        JIT_TrialAllocSFastMP_InlineGetThread (07FFE51BB8060h)

00007FFDF2FA03EB 48 89 45 F0          mov         qword ptr [rbp-10h],rax

00007FFDF2FA03EF 48 8B 4D F0          mov         rcx,qword ptr [rbp-10h]  

// 这个地方是调用了.Ctor

00007FFDF2FA03F3 FF 15 0F 8D 60 00    call        qword ptr [7FFDF35A9108h]  

00007FFDF2FA03F9 48 8B 45 F0          mov         rax,qword ptr [rbp-10h]

00007FFDF2FA03FD 48 89 45 F8          mov         qword ptr [rbp-8],rax

00007FFDF2FA0401 FF 15 A9 93 60 00    call        qword ptr [7FFDF35A97B0h]

00007FFDF2FA0407 48 89 45 E8          mov         qword ptr [rbp-18h],rax

00007FFDF2FA040B 90                   nop

00007FFDF2FA040C 90                   nop

00007FFDF2FA040D 48 83 C4 40          add         rsp,40h

00007FFDF2FA0411 5D                   pop         rbp

00007FFDF2FA0412 C3                   ret

调用.Ctor的地方注释了下，如果直接进入会调用到PrecodeFixupThunk。所以这里需要在PreStubWorker下断点。一路跟踪下去发现这个.Ctor是利用预备的IL代码，让RyuJIt对它进行一个编译

.Ctor调用堆栈：

        coreclr.dll!MethodDesc::JitCompileCodeLocked 行 952	C++

 	coreclr.dll!MethodDesc::JitCompileCodeLockedEventWrapper 行 823	C++

 	coreclr.dll!MethodDesc::JitCompileCode 行 763	C++

 	coreclr.dll!MethodDesc::PrepareILBasedCode 行 426	C++

 	coreclr.dll!MethodDesc::PrepareCode 行 323	C++

 	coreclr.dll!CodeVersionManager::PublishVersionableCodeIfNecessary 行 1698	C++

 	coreclr.dll!MethodDesc::DoPrestub 行 2109	C++

 	coreclr.dll!PreStubWorker 行 1938

 	coreclr.dll!ThePreStub(

到JitCompileCodeLocked里面调用了UnsafeJitFunction为止，因为后面都是RyuJit的复杂编译过程，此处不述。

我们来看下UnsafeJitFunction返回的pCode地址处的汇编代码：

00007FFDF2F80430 55                   push        rbp

00007FFDF2F80431 57                   push        rdi

00007FFDF2F80432 48 83 EC 28          sub         rsp,28h

00007FFDF2F80436 48 8D 6C 24 30       lea         rbp,[rsp+30h]

00007FFDF2F8043B 48 89 4D 10          mov         qword ptr [rbp+10h],rcx

00007FFDF2F8043F 83 3D 4A E9 19 00 00 cmp         dword ptr [7FFDF311ED90h],0

00007FFDF2F80446 74 05                je          00007FFDF2F8044D

00007FFDF2F80448 E8 43 BF 7B 5E       call        JIT_DbgIsJustMyCode (07FFE5173C390h)

00007FFDF2F8044D 48 8B 4D 10          mov         rcx,qword ptr [rbp+10h]

00007FFDF2F80451 FF 15 D9 0B E5 FF    call        qword ptr [7FFDF2DD1030h]

00007FFDF2F80457 90                   nop

00007FFDF2F80458 90                   nop

00007FFDF2F80459 48 83 C4 28          add         rsp,28h

00007FFDF2F8045D 5F                   pop         rdi

00007FFDF2F8045E 5D                   pop         rbp

00007FFDF2F8045F C3                   ret

它里面就调用了一个Call，也就是这句话：

call  qword ptr [7FFDF2DD1030h]

这个十六进制的7FFDF2DD1030h是个啥呢？

继续跟进下：

0x00007FFDF2DD1030 00007ffe50357230

它里面包含了一个地址00007ffe50357230

看下这个地址的汇编代码：

00007FFE50357230 C3   ret

它直接返回了。

所以这得出了一个什么结论呢？也就是说在当前这个例子中，.Ctor啥都没做。

.CCtor目的

来看下静态的默认构造函数干了些啥。先上代码：

    internal class Program

    {

        static string a ="abcd";

        static void Main(string[] args)

        {

            string i = a;

            Console.WriteLine(a);

            Console.ReadLine();

        }

    }

同样反编译下：

00007FFDF01903B0 55                   push        rbp

00007FFDF01903B1 57                   push        rdi

00007FFDF01903B2 48 83 EC 28          sub         rsp,28h

00007FFDF01903B6 48 8D 6C 24 30       lea         rbp,[rsp+30h]

00007FFDF01903BB 33 C0                xor         eax,eax

00007FFDF01903BD 48 89 45 F0          mov         qword ptr [rbp-10h],rax

00007FFDF01903C1 48 89 4D 10          mov         qword ptr [rbp+10h],rcx

00007FFDF01903C5 83 3D C4 E9 19 00 00 cmp         dword ptr [7FFDF032ED90h],0

00007FFDF01903CC 74 05                je          00007FFDF01903D3

00007FFDF01903CE E8 BD BF 7D 5E       call        JIT_DbgIsJustMyCode (07FFE4E96C390h)

00007FFDF01903D3 90                   nop

00007FFDF01903D4 48 B9 60 EF 32 F0 FD 7F 00 00 mov         rcx,7FFDF032EF60h

00007FFDF01903DE BA 04 00 00 00       mov         edx,4  

// 可以看到这个 string 静态对象并没有调用.CCtor。

// 那是否说明上面的说法不对呢？注意看，他实际调用了

// JIT_GetSharedNonGCStaticBase_SingleAppDomain,

// 而这个就是关键所在

00007FFDF01903E3 E8 48 7E C5 5E       call        JIT_GetSharedNonGCStaticBase_SingleAppDomain (07FFE4EDE8230h)

00007FFDF01903E8 8B 0D AA EB 19 00    mov         ecx,dword ptr [7FFDF032EF98h]

00007FFDF01903EE FF 15 7C 94 60 00    call        qword ptr [7FFDF0799870h]

00007FFDF01903F4 90                   nop

00007FFDF01903F5 FF 15 9D 93 60 00    call        qword ptr [7FFDF0799798h]

00007FFDF01903FB 48 89 45 F0          mov         qword ptr [rbp-10h],rax

00007FFDF01903FF 90                   nop

00007FFDF0190400 90                   nop

00007FFDF0190401 48 83 C4 28          add         rsp,28h

00007FFDF0190405 5F                   pop         rdi

00007FFDF0190406 5D                   pop         rbp

00007FFDF0190407 C3                   ret

00007FFDF0190408 19 06                sbb         dword ptr [rsi],eax

看这段代码上面的注释，这段代码里面并没有.CCtor被调用的痕迹。

而它的奥秘在

JIT_GetSharedNonGCStaticBase_SingleAppDomain

函数里面。

JIT_GetSharedNonGCStaticBase_SingleAppDomain

又调用了

JIT_GetSharedNonGCStaticBase_Helper

看下堆栈

>	coreclr.dll!MethodTable::RunClassInitEx 行 3591	C++

 	coreclr.dll!MethodTable::DoRunClassInitThrowing 行 3792	C++

 	coreclr.dll!MethodTable::CheckRunClassInitThrowing 行 3929	C++

 	coreclr.dll!JIT_GetSharedNonGCStaticBase_Helper 行 1401	C++

函数 RunClassInitEx代码如下：

BOOL MethodTable::RunClassInitEx(OBJECTREF *pThrowable)

{

            //为了方便观看 此处省略部分代码

            PCODE pCctorCode = pCanonMT->GetSlot(pCanonMT->GetClassConstructorSlot());

            //为了方便观看 此处省略部分代码

            PREPARE_NONVIRTUAL_CALLSITE_USING_CODE(pCctorCode);

            DECLARE_ARGHOLDER_ARRAY(args, 0);

            CATCH_HANDLER_FOUND_NOTIFICATION_CALLSITE;

            CALL_MANAGED_METHOD_NORET(args);

	    //为了方便观看 此处省略部分代码

变量pCctorCode就是.CCtor的函数头地址。而后面的一堆的宏定义实际上是调用了函数 DispatchCallSimple，

而DispatchCallSimple

又调用了CallDescrWorkerWithHandler

然后又调用了PrecodeFixupThunk

下面调用了PreStubWorker

PreStubWorker通过 call rax命令跳转到调用的函数的函数头地址，比如本例的 .CCtor函数头的地址。

00007FFE8BB289C0 E8 DB FE 8F FF       call        PreStubWorker (07FFE8B4288A0h)

00007FFE8BB289C5 66 0F 6F 44 24 20    movdqa      xmm0,xmmword ptr [rsp+20h]

00007FFE8BB289CB 66 0F 6F 4C 24 30    movdqa      xmm1,xmmword ptr [rsp+30h]

00007FFE8BB289D1 66 0F 6F 54 24 40    movdqa      xmm2,xmmword ptr [rsp+40h]

00007FFE8BB289D7 66 0F 6F 5C 24 50    movdqa      xmm3,xmmword ptr [rsp+50h]

00007FFE8BB289DD 48 8B 8C 24 B0 00 00 00 mov         rcx,qword ptr [rsp+0B0h]

00007FFE8BB289E5 48 8B 94 24 B8 00 00 00 mov         rdx,qword ptr [rsp+0B8h]

00007FFE8BB289ED 4C 8B 84 24 C0 00 00 00 mov         r8,qword ptr [rsp+0C0h]

00007FFE8BB289F5 4C 8B 8C 24 C8 00 00 00 mov         r9,qword ptr [rsp+0C8h]

00007FFE8BB289FD 48 83 C4 68          add         rsp,68h

00007FFE8BB28A01 5F                   pop         rdi

00007FFE8BB28A02 5E                   pop         rsi

00007FFE8BB28A03 5B                   pop         rbx

00007FFE8BB28A04 5D                   pop         rbp

00007FFE8BB28A05 41 5C                pop         r12

00007FFE8BB28A07 41 5D                pop         r13

00007FFE8BB28A09 41 5E                pop         r14

00007FFE8BB28A0B 41 5F                pop         r15  

// 这个rax 就是 .CCtor的函数头的地址

00007FFE8BB28A0D 48 FF E0             jmp  rax

jmp rax 跳转到了如下：

00007FFE2CFE8888 FF 25 FA 0F 00 00 jmp qword ptr [7FFE2CFE9888h]

7FFE2CFE9888h

地址的值是00007FFE8A50C7A0

注意这句代码

static string a ="abcd";

它实际上被编译成了一个函数，当运行到.CCtor的时候，会调用它，然后对它进行赋值 abcd

>>> 00007ffe`06ac29e0 55              push    rbp

00007ffe`06ac29e1 4883ec20        sub     rsp,20h

00007ffe`06ac29e5 488d6c2420      lea     rbp,[rsp+20h]

00007ffe`06ac29ea 833d9f410c0000  cmp     dword ptr [00007ffe`06b86b90],0

00007ffe`06ac29f1 7405            je      ConsoleApp3!ConsoleApp3.Program..cctor+0x18 (00007ffe`06ac29f8)

00007ffe`06ac29f3 e8e8a4cd5f      call    coreclr!JIT_DbgIsJustMyCode (00007ffe`6679cee0)

00007ffe`06ac29f8 48bad83000186c020000 mov rdx,26C180030D8h

00007ffe`06ac2a02 488b12          mov     rdx,qword ptr [rdx]

00007ffe`06ac2a05 48b9902e00186c020000 mov rcx,26C18002E90h

00007ffe`06ac2a0f e8fc85bb5f      call    coreclr!JIT_CheckedWriteBarrier (00007ffe`6667b010)

00007ffe`06ac2a14 90              nop

00007ffe`06ac2a15 4883c420        add     rsp,20h

00007ffe`06ac2a19 5d              pop     rbp

00007ffe`06ac2a1a c3              ret

JIT_CheckedWriteBarrier的原型如下：

extern "C" HCIMPL2_RAW(VOID, JIT_CheckedWriteBarrier, Object **dst, Object *ref)

很明显，他这就是把ref指向的object完整的传递给dst。也就是赋值给静态字符串a。

寄存器rcx表示dst，rdx表示ref。此处可以通过 !dumpobj rdx来查被看对象。

那么总结下，.CCtor的作用就是把静态的全局变量对象进行一个初始化，这个结果也说明，静态全局变量不是在CLR初始化的时候初始化，而是在当前类的.CCtor里面初始化的。

作者：江湖评谈

原文：https://www.cnblogs.com/tangyanzhi1111/p/16868020.html

版权：本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」许可协议进行许可。

.Net 7里的函数.Ctor和.CCtor是干啥用的呢?你知道吗的更多相关文章

javascript中利用柯里化函数实现bind方法
柯理化函数思想:一个js预先处理的思想:利用函数执行可以形成一个不销毁的作用域的原理,把需要预先处理的内容都储存在这个不销毁的作用域中,并且返回一个小函数,以后我们执行的都是小函数,在小函数中把之前预 ...
CTEX里的函数、符号及特殊字符
CTEX里的函数.符号及特殊字符声调语法效果语法效果语法效果 \bar{a} \acute{a} \check{a} \grave{a} \tilde{a} \hat ...
c#调用js，以及js调用C#里的函数, c#自己生成js代码，实现对web的控制
using mshtml;using System;using System.Collections.Generic;using System.Linq;using System.Security.P ...
.ctor，.cctor 以及对象的构造过程
摘要: .ctor,.cctor 以及对象的构造过程.ctor:简述:构造函数,在类被实例化时,它会被自动调用.当C#的类被编译后,在IL代码中会出现一个名为.ctor的方法,它就是我们的构造函数, ...
柯里化函数之Javascript
柯里化函数之Javascript 定义依据定义来说,柯里化就是将一个接收"多个"參数的函数拆分成一个或者很多个接收"单一"參数的函数.定义看起来是比較抽象的. ...
浅谈JavaScript中的柯里化函数
首先,不可避免的要引经据典啦,什么是柯里化函数呢(from baidu): 在计算机科学中,柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返 ...
Swift # 柯里化函数
前言此次文章,讲述的是Swift的一个新特性(柯里化函数),可能很多iOS开发人员是第一次听这个词汇,包括我自己也是,自己也用了几天时间才总结出来,希望能帮助到各位咯,个人感觉偏向有开发经验的码友, ...
C语言中如何调用另一个源文件里的函数
在开发大型项目时,我们常常需要将一份源码分成多个源文件来进行编写,这样可以方便后期的维护.下面就介绍如何从一个源文件里调用另一个源文件的函数. 在源文件A1.c中调用A2.c 中的函数有两种方法: 1 ...
在js文件里调用另一个js文件里的函数
这个是我今天解决的一个小问题,我在创建界面的时候,根据不同的界面需求对应创建了不同的js文件来搭建界面,搭建完毕之后再将各个生成页面的函数汇总到主界面上,通过visibility属性切换显示,这时候出 ...

随机推荐

CF1511G Chips on a Board （倍增）
题面原题题面转化方便版题意: 有 n n n 堆石子,第 i i i 堆有 c i ∈ [ 1 , m ] c_i\in [1,m] ci∈[1,m] 个石子,有 q q q 次询问,每次询问给 ...
HDU 6222 Heron and His Triangle (pell 方程)
题面(本人翻译) A triangle is a Heron's triangle if it satisfies that the side lengths of it are consecutiv ...
必应每日壁纸API
必应官网每天会更新不同的高质量背景图我们可以通过 F12 开发者工具手动下载当天的壁纸,网上也有很多网站提供必应壁纸下载.如果我们想每天应用最新的壁纸到我们的网站上就需要手动下载再设置壁纸,比较麻烦 ...
C#基础_理解类
构造函数主要是用来创建对象时为对象赋初值来初始化对象.总与new运算符一起使用在创建对象的语句中 .A a=new A(); 构造函数具有和类一样的名称:但它是一个函数具有函数的所有特性,同一个类里面 ...
Sentinel控制台1.8.3修改源码，修改配置后推送到Nacos
目录 1. 接着上一篇 2. 思路 3. 下载Sentinel源码 4. 看Gateway里面读取的配置信息 5. 修改Sentinel控制台源码 6. 熔断规则测试 7. 限流规则测试 8. 打包使 ...
Python之创建数据库及功能示例样本
创建数据库实例 import pymysql db= pymysql.connect(host="localhost",user="root",password ...
.NET使用StackTrace获取方法调用者信息
前言在日常工作中,偶尔需要调查一些诡异的问题,而业务代码经过长时间的演化,很可能已经变得错综复杂,流程.分支众多,如果能在关键方法的日志里添加上调用者的信息,将对定位问题非常有帮助. 介绍 Stac ...
torch.meshgrid
1:https://blog.csdn.net/weixin_39504171/article/details/106356977 2: https://pytorch.org/docs/stable ...
如何修改 Kubernetes 节点 IP 地址
转载自:https://www.qikqiak.com/post/how-to-change-k8s-node-ip/ 昨天网络环境出了点问题,本地的虚拟机搭建的 Kubernetes 环境没有固定 ...
单机部署minio，设置Nginx代理，配置https(TLS)访问
安装下载地址:https://dl.min.io/ # 创建目录 mkdir -p /usr/local/minio/{data,bin,etc} # 下载minio wget https://dl ...

.Net 7里的函数.Ctor和.CCtor是干啥用的呢?你知道吗

楔子

目的非手段

.Ctor目的

.CCtor目的

.Net 7里的函数.Ctor和.CCtor是干啥用的呢?你知道吗的更多相关文章

随机推荐

热门专题