惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

The Cloudflare Blog
小众软件
小众软件
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
T
Tailwind CSS Blog
WordPress大学
WordPress大学
有赞技术团队
有赞技术团队
博客园 - 司徒正美
V
Visual Studio Blog
G
Google Developers Blog
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
月光博客
月光博客
aimingoo的专栏
aimingoo的专栏
博客园_首页
Blog — PlanetScale
Blog — PlanetScale
博客园 - 聂微东
S
SegmentFault 最新的问题
T
The Blog of Author Tim Ferriss
D
Docker
Vercel News
Vercel News
Recent Announcements
Recent Announcements
Last Week in AI
Last Week in AI
爱范儿
爱范儿
J
Java Code Geeks
大猫的无限游戏
大猫的无限游戏

博客园 - Hussar

中国高科技产业三大困境 [转贴]架构设计贵在务实 源代码,让.NET 平台上可以运行Python [翻译]部署Microsoft .NET Framework Version 3.0(含下载) 怎样作有效推论的策略 C#实现的18位身份证格式转换 [入门系列]面向服务的体系结构概述(第一部分) [入门系列]如何构建 SOA 系统 [入门系列]SOA 与其他技术的关系 [入门系列]构成 SOA 的技术 [入门系列]面向服务的体系结构可以做什么? [入门系列]什么是面向服务的体系结构(SOA)? From TechEd: Putting the user back in SOA 架构设计师与 SOA (第二部分) 架构设计师与SOA(第一部分) 关于SOA的7个问题 .NET程序员面试的题一部 [原创]C#应用访问Microsoft SQL Server 2005分析服务 在 Oracle 产品中使用 .NET 存储过程
[原创]struct和class区别的背后
Hussar · 2006-07-03 · via 博客园 - Hussar

结构与类共享几乎所有相同的语法,但结构比类受到的限制更多:

1、尽管结构的静态字段可以初始化,结构实例字段声明还是不能使用初始值设定项。

2、结构不能声明默认构造函数(没有参数的构造函数)或析构函数。

3、结构的副本由编译器自动创建和销毁,因此不需要使用默认构造函数和析构函数。实际上,编译器通过为所有字段赋予默认值(参见默认值表)来实现默认构造函数。结构不能从类或其他结构继承。

4、结构是值类型——如果从结构创建一个对象并将该对象赋给某个变量,变量则包含结构的全部值。复制包含结构的变量时,将复制所有数据,对新副本所做的任何修改都不会改变旧副本的数据。由于结构不使用引用,因此结构没有标识--具有相同数据的两个值类型实例是无法区分的。C# 中的所有值类型本质上都继承自 System.ValueType,后者继承自 Object。

编译器可以在一个称为装箱的过程中将值类型转换为引用类型。

结构具有以下特点:

  • 结构是值类型,而类是引用类型。
  • 向方法传递结构时,结构是通过传值方式传递的,而不是作为引用传递的。
  • 与类不同,结构的实例化可以不使用 new 运算符。
  • 结构可以声明构造函数,但它们必须带参数。
  • 一个结构不能从另一个结构或类继承,而且不能作为一个类的基。
  • 所有结构都直接继承自 System.ValueType,后者继承自 System.Object。
  • 结构可以实现接口。

在结构中初始化实例字段是错误的。


----------------------------------------------------------------------------------------

以上是引用的MSDN的说法。

现在引出问题

1、如果结构是值类型,但是结构成员可以是类,也就是说这个时候结构怎么分配内存呢?

  结构的副本由编译器自动创建和销毁,也就是说结构在编译的时候就确定了存储空间了,不是在运行时到托管堆里面去分配内存。所以结构成员的类成员其实是保存的这个类的实例的地址。

2、那structnew操作又是干什么的呢?

操作就是执行initobj指令,功能就是将位于指定地址的对象的所有字段初始化为空引用或适当的基元类型的0。如果是类的话实例化new的指令实际是newobj instance所以classnew操作和structnew操作是不一样的

像下面这个结构

public struct TestStruct

{

public int n;

public string s;

public StringBuilder sb;

}

当他

TestStruct t = new TestStruct();

new的时结果是什么?其结果就是int类型被初始化为0,对象全部被置为null

结论

structnew操作是不执行分配内存操作的,其new操作只执行初始化数据操作。所以微软关于new关键字的用途的说法是不全面的。因为new还有一种只初始化数据而不在托管堆分配内存的功能。所以值类型和引用类型的实质我个人认为其实就是在什么时候分配内存和其传值调用方式。

注1

MSDNnew关键字用途的说法:

(1)new运算符
用于创建对象和调用构造函数。
(2)new修饰符
用于向基类成员隐藏继承成员。
(3)new约束
用于在泛型声明中约束可能用作类型参数的参数的类型。

注2

System.ValueType本来就是比较怪的一个东西。
.NET的编译器在处理他的时候是
1、把值存在计算堆栈上,这个是值类型的标准操作。
2、产生一个装箱操作如果初始化的是一个33这样的整数,那就装箱一个int32同理如果是3.3就是float。
3、执行一个stloc从计算堆栈的顶部弹出当前值并将其存储到指定索引处的局部变量列表中。
个人理解:System.ValueType更像是一个系统内置接口(当然应该不是真的接口)。而接口在平台当中不管是Java还是.NET都意味着一旦继承了这种系统内置接口,就会响应系统内部的某种处理或调用。