关于 C# 中 Struct 和 C++/Cli 中 value class 的 new 和 gcnew 的区别

最新推荐文章于 2024-04-04 21:15:22 发布

felixking

最新推荐文章于 2024-04-04 21:15:22 发布

阅读量853

点赞数

CC 4.0 BY-SA版权

本文链接：https://blog.youkuaiyun.com/felixking/article/details/51783650

本文探讨了C#中结构体（Struct）的内存分配位置及其初始化行为，并对比了C++/CLI中valueclass的内存管理方式。通过具体的代码示例和汇编指令解析，揭示了不同情况下结构体的存储位置及初始化差异。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1. C# 中的 Struct 只能在栈上, 不论用不用new语句
struct Foo {
int A
};
Foo f1; f1.A = 2;
Foo f2 = new Foo; f2.A = 2;

2. 如果C#代码使用了new语句, 会执行以下结构体的默认初始化函数, 即将成员变量赋初值, 如 int 就赋值为 0, 参考:
Foo f;
f.A = 2;
00000045 C7 45 F0 02 00 00 00 mov dword ptr [ebp-10h],2

Foo f = new Foo();
00000048 33 D2 xor edx,edx // 注: new 操作为 Foo 实例赋初值
0000004a 89 55 C0 mov dword ptr [ebp-40h],edx
f.A = 2;
0000004d C7 45 C0 02 00 00 00 mov dword ptr [ebp-40h],2

3. C++/Cli 则可以控制 value class 的位置(栈或托管堆), 参考:
Foo f;
00000040 33 D2 xor edx,edx // 注: C++/Cli 会默认的调用构造函数(Debug版), 而C#这么写则不会
00000042 89 55 F0 mov dword ptr [ebp-10h],edx
k.A = 2;
00000045 C7 45 F0 02 00 00 00 mov dword ptr [ebp-10h],2

K ^k = gcnew K;
0000003d 33 D2 xor edx,edx
0000003f 89 55 F4 mov dword ptr [ebp-0Ch],edx
00000042 B9 50 35 3C 00 mov ecx,3C3550h
00000047 E8 50 E3 F4 FF call FFF4E39C
0000004c 89 45 DC mov dword ptr [ebp-24h],eax
0000004f 8B 45 DC mov eax,dword ptr [ebp-24h]
00000052 8B 55 F4 mov edx,dword ptr [ebp-0Ch]
00000055 89 50 04 mov dword ptr [eax+4],edx
00000058 8B 45 DC mov eax,dword ptr [ebp-24h]
0000005b 89 45 E0 mov dword ptr [ebp-20h],eax
k->a = 2;
0000005e 8B 45 E0 mov eax,dword ptr [ebp-20h]
00000061 81 38 50 35 3C 00 cmp dword ptr [eax],3C3550h
00000067 74 0D je 00000076
00000069 8B 55 E0 mov edx,dword ptr [ebp-20h]
0000006c B9 50 35 3C 00 mov ecx,3C3550h
00000071 E8 0E D3 EF 71 call 71EFD384
00000076 8B 45 E0 mov eax,dword ptr [ebp-20h]
00000079 C7 40 04 02 00 00 00 mov dword ptr [eax+4],2