C#/.NET值类型
值类型 (Value Type) 包括两个成员:结构体和枚举类型。
通常来说,值类型就是字面意义上的那种值,例如整数 int,小数 float/double,布尔值等。
而实际上,整数、小数,布尔值等全部都是结构体。
值类型的默认值一般为 0,例如整数和小数的默认值都是 0,枚举类型的默认值也为 0, char 的默认值为 ‘\0’。和引用类型相比,值类型的内存分配简单得多。
各个 .NET 语言分别使用不同的关键字, 但最终它们都会被映射到同一个 IL 类型。这样的类型就叫做基元类型,它们由 CTS 定义,由编译器与 BCL 直接支持,属于 BCL 而非任何某个语言。
基元类型包括了几乎所有的值类型(除了用户定义的结构体和枚举)以及字符串,object 和 dynamic。
Primitive 有原始的意思,可以将基元类型理解为基本的、原始的类型,少了它们就什么都做不了。
有了基元类型,各个 .NET 语言的互操作性就可以实现了,例如,通过 ildasm 工具,我们可以查看到 int i=1 对应的 IL 代码为(这里省略了赋值的那一句 IL代码):
而对于VB.NET,int 的关键字为 Integer,如果你在 VB.NET 中声明了一个Integer,你也可以通过 ildasm 发现,它对应的类型仍然为 Int32。
注意,int 实际上是一个结构体,它有 2 个值类型成员(最大值,最小值),它们是常量,所以是静态的(const=static readonly)。
静态的成员和 int 的方法均存储在加载堆中。
值类型也没有同步块索引和类型对象指针。所以,新建一个 int,不会重新复制它的最大值和最小值,int 的开销永远是 4 个字节(就是它自己)。
即使机器是 64 位机,int 的大小永远是 32 位,因为 int 实质上是 Int32。Int64 这个基元类型在 C# 中对应 long。
对于局部变量的复制来说,情况非常简单。我们知道,值类型复制时,将只复制值的副本。所以更改原值对复制的新值不会有影响。
下面的代码会实例化一个 AClass 对象:
其中,托管堆的方法表指针还指向 AClass 的类型对象,其位于加载堆中,图上没有画出来。
如果我们有这样的结构体:
为了看得更清楚,我们复制它,然后试图更改其成员的值:
通过下面的代码,我们可以证明 a.ac 和 b.ac 指向同一个对象,而 a.c 和 b.c 没有关系:
例如 DateTime 类型,其为一个结构体,所以是值类型。它的成员有年、月、日、时、分、秒、DayOfWeek(代表星期几)等。
它有很多个构造函数,每个都拥有一至多个输入。例如:
因此,我们可以访问到 2017 年 9 月 8 日的星期信息:
如果所有类型都是引用类型,则性能将大大下降,这是因为:
每次新声明变量都要建立类型对象指针和同步块索引。
内存分配必定牵扯到堆,增加 GC 的压力。
当结构体的全部属性都是值类型时,结构体不会和堆扯上关系(例如,int 就是这样的结构体),这样做可以减轻垃圾收集器的压力。
另外,选择结构体而不是类,会在初始化时提高性能,因为不需要初始化类的两个“标准配置”,即类型对象指针和同步块索引。
因此,对于一些常见的轻量级的类型,可以考虑选择结构体。
最常见的结构体莫非 int, DateTime 莫属。这里我们就拿 DateTime 做个例子。
DateTime 的属性都是值类型,其中包括 int、DateTime、TimeSpan、long 和几个枚举。
而且在创建 DateTime 时要给所有属性赋予一个有意义的值,比如 DayOfWeek、DayOfYear 等。
当你初始化一个 DateTime 时,通常都是传入年月日,系统负责将其他属性初始化,例如计算出 DayOfWeek 等。
所以,以下情况适合使用结构体:
例如,二维坐标系(包括两个 double),长方形(包括长、宽、面积等一些 double)这样的对象,适合使用结构体。
1) 所有值类型隐式派生自 System.ValueType。该类确保值类型所有的成员全部分配在 栈上。有三个例外:
所以,“值类型都分配在栈上,引用类型都分配在堆上”这样的说法并不准确。
2) 引用类型的初值为 null。值类型则是 0,因为字符串的初值为 null,故字符串为引用类型。
3) 对于引用类型,栈中会有一个变量名和变量类型,指向堆中对象实例的地址。值类 型仅有栈中的变量名和类型,不包括指向实例的指针。
4) 值类型不能被继承,引用类型则可以。典型的例子是结构体,它是值类型,所以结 构体不能被继承。但结构体里面可以包括引用类型。值类型也可以有自己的方法,例如 Int.TryParse 方法。
5) 值类型的生命周期是其定义域。当值类型离开其定义域后将被立刻销毁。引用类型则会进入垃圾回收分代算法。我们不知道何时才会销毁。
6) 值类型的构造函数必须为所有成员赋值。
7) 可以重写引用类型的析构函数。值类型不需要析构函数,因为析构函数只会被垃圾收集器调用。
8) 值类型没有同步块索引,不能作为线程同步工具。
值类型和引用类型的的联系主要有:
当 new 这个对象时,我们需要 4 个字节的 int 以及一个地址,而 32 位操作系统的地址是 4 个字节。
所以,对于 32 位操作系统,创建一个 LinkedList<T> 需要堆上的 8 个字节,还有类的两个 标配一类型对象指针和同步块索引,共 16 字节。
假设我们将上面代码中的 class 改为 struct,其他完全不变,会发生什么?结论是编译不通过。
因为对于一个结构,CLR 无法计算出新建这个结构时,需要多少字节分配给栈。
这是因为,此时 next 属性不再是一个引用类型,而是一个值类型,所以它的大小取决于它所有的成员大小之和(data 和 next),而它的成员又包括它自己,所以构成无限循环。
而对于引用类型,栈上只需要一个 4 字节的地址,所以不会循环下去。
通常来说,值类型就是字面意义上的那种值,例如整数 int,小数 float/double,布尔值等。
而实际上,整数、小数,布尔值等全部都是结构体。
值类型的默认值一般为 0,例如整数和小数的默认值都是 0,枚举类型的默认值也为 0, char 的默认值为 ‘\0’。和引用类型相比,值类型的内存分配简单得多。
基元类型
之前讲过,C# 和其他 .NET 语言都是运行在通用类型系统(CTS)上的,而 CTS 提供 一些“基本的”类型一基元类型(Primitive Type)。各个 .NET 语言分别使用不同的关键字, 但最终它们都会被映射到同一个 IL 类型。这样的类型就叫做基元类型,它们由 CTS 定义,由编译器与 BCL 直接支持,属于 BCL 而非任何某个语言。
基元类型包括了几乎所有的值类型(除了用户定义的结构体和枚举)以及字符串,object 和 dynamic。
Primitive 有原始的意思,可以将基元类型理解为基本的、原始的类型,少了它们就什么都做不了。
有了基元类型,各个 .NET 语言的互操作性就可以实现了,例如,通过 ildasm 工具,我们可以查看到 int i=1 对应的 IL 代码为(这里省略了赋值的那一句 IL代码):
.locals init ([0] int32 i)
这说明了在 IL 中 int 对应的基元类型为 Int32。当然,在 C# 中也可以直接写 Int32 i=1,不过,这样并不会给你带来任何好处。而对于VB.NET,int 的关键字为 Integer,如果你在 VB.NET 中声明了一个Integer,你也可以通过 ildasm 发现,它对应的类型仍然为 Int32。
值类型的内存分配
值类型的内存分配分为以下几种情况:- 值类型作为局部变量。
- 值类型作为引用类型的成员。
- 值类型中包含引用类型。
1) 值类型作为局部变量
普通的值类型总是分配在栈上。例如以最简单的 int 为例,inti=1 意味着我们在栈上开辟了一块空间存储这个值类型。注意,int 实际上是一个结构体,它有 2 个值类型成员(最大值,最小值),它们是常量,所以是静态的(const=static readonly)。
静态的成员和 int 的方法均存储在加载堆中。
值类型也没有同步块索引和类型对象指针。所以,新建一个 int,不会重新复制它的最大值和最小值,int 的开销永远是 4 个字节(就是它自己)。
即使机器是 64 位机,int 的大小永远是 32 位,因为 int 实质上是 Int32。Int64 这个基元类型在 C# 中对应 long。
对于局部变量的复制来说,情况非常简单。我们知道,值类型复制时,将只复制值的副本。所以更改原值对复制的新值不会有影响。
var i = 1; var j = i; i = 2 ; //输出1 Console.WriteLine(j);当执行代码
var j = i
时,将会在栈上新建一个名为 j 的变量,然后将 i 的值复制给 j,它和 i 没有任何关系。值类型也不可能有浅复制。
2) 值类型作为引用类型的成员
如果值类型为引用类型的成员,则遵从引用类型的内存分配和复制方式。例如:public class AClass { public int a; public string b; }在创建一个该类的实例时,遵从引用类型的内存分配方式。
下面的代码会实例化一个 AClass 对象:
var a = new AClass(); a. a = 1; a.b = "hey";执行完上面的代码之后,内存的分配如下图所示。
其中,托管堆的方法表指针还指向 AClass 的类型对象,其位于加载堆中,图上没有画出来。
3) 值类型中包含引用类型
如果一个结构体中包含了引用类型(例如结构体),例如包含了一个字符串或者类,则它引用类型的那部分会遵从引用类型创建的内存分配,值类型的那部分则遵从值类型创建的内存分配。如果我们有这样的结构体:
publie class AClass { public int a; public string b; } public struct AStruct { public AClass ac; public double c; }则新建这个值类型的实例时,它的引用类型成员遵循引用类型成员分配的机制,值类型成员则储存在栈上。
var a = new AStruct(); a.ac = new AClass(); a.c = 1; a.ac.a = 2 ; a.ac.b = "hey";在运行完上面的代码之后,内存中的情况如下图所示。
为了看得更清楚,我们复制它,然后试图更改其成员的值:
var b = a; b.c = 999; b.ac.a = 888; b.ac.b = "bye"; Console.WriteLine(a.c); //1 Console.WriteLine(a.ac.a); //888 Console.WriteLine(a.ac.b); //bye此时内存的情况,如下图所示。
通过下面的代码,我们可以证明 a.ac 和 b.ac 指向同一个对象,而 a.c 和 b.c 没有关系:
Console.WriteLine(ReferenceEquals(a.ac, b.ac)); // True Console.WriteLine(ReferenceEquals(a.c, b.c)); // False我们可以发现,即使值类型复制可以保证值类型中的值类型成员相互无关,它内部的引用类型仍然是浅复制。
值类型的构造函数
可以为值类型和引用类型定义构造函数。但对于值类型,在构造函数中必须为所有的成员赋值,不支持无参构造函数。例如 DateTime 类型,其为一个结构体,所以是值类型。它的成员有年、月、日、时、分、秒、DayOfWeek(代表星期几)等。
它有很多个构造函数,每个都拥有一至多个输入。例如:
public DateTime(int year, int month, int day);虽然在这个构造函数中,我们没有传入 DayOfWeek,但在构造函数中,C# 会算出 DayOfWeek。
因此,我们可以访问到 2017 年 9 月 8 日的星期信息:
var a = new DateTime( 2017, 9, 8); Console.WriteLine( a.DayOfWeek); // Friday如果没有自定义构造函数,C# 默认会生成一个无参构造函数,它遍历类型中所有的成员,并将它们设置为默认值,如默认值表所列。
值类型 | 默认值 |
---|---|
bool | false |
byte | 0 |
char | '\0' |
decimal | 0M |
double | 0.0D |
enum | 表达式 (E)0 生成的值,其中 E 是枚举标识符。 |
float | 0.0F |
int | 0 |
long | 0L |
sbyte | 0 |
short | 0 |
struct | 通过如下设置生成的值:将所有值类型的字段设置为其默认值,将所有引用类型的字段设置为 null。 |
uint | 0 |
ulong | 0 |
ushort | 0 |
何时考虑使用值类型
人们通常将值类型认为是轻量级的引用类型,设计它的目的是提高程序的性能。如果所有类型都是引用类型,则性能将大大下降,这是因为:
每次新声明变量都要建立类型对象指针和同步块索引。
内存分配必定牵扯到堆,增加 GC 的压力。
当结构体的全部属性都是值类型时,结构体不会和堆扯上关系(例如,int 就是这样的结构体),这样做可以减轻垃圾收集器的压力。
另外,选择结构体而不是类,会在初始化时提高性能,因为不需要初始化类的两个“标准配置”,即类型对象指针和同步块索引。
因此,对于一些常见的轻量级的类型,可以考虑选择结构体。
最常见的结构体莫非 int, DateTime 莫属。这里我们就拿 DateTime 做个例子。
DateTime 的属性都是值类型,其中包括 int、DateTime、TimeSpan、long 和几个枚举。
而且在创建 DateTime 时要给所有属性赋予一个有意义的值,比如 DayOfWeek、DayOfYear 等。
当你初始化一个 DateTime 时,通常都是传入年月日,系统负责将其他属性初始化,例如计算出 DayOfWeek 等。
所以,以下情况适合使用结构体:
- 当对象的所有属性都需要在创建之初即赋值时。
- 当对象的全部属性都是值类型时(如果存在引用类型,就会牵扯到内存分配到堆上的问题,就无法减轻垃圾收集的压力了)。
- 当对象不需要被继承时。
例如,二维坐标系(包括两个 double),长方形(包括长、宽、面积等一些 double)这样的对象,适合使用结构体。
值类型是密封的
值类型一定是密封的,不支持继承。之所以这样设计,是因为如果值类型可以被其他类型继承(尤其是引用类型),那么它的创建就会牵扯到堆上的内存分配,这违反了设计值 类型的初衷。值类型和引用类型的区别与联系
值类型和引用类型的区别主要有:1) 所有值类型隐式派生自 System.ValueType。该类确保值类型所有的成员全部分配在 栈上。有三个例外:
- 结构体如果含有引用类型成员,则该成员也会牵扯到堆的分配。
- 静态类型,如果一个变量是静态的,则无论它是什么类型,都会分配在加载堆上。
- 局部变量被捕获升级为密封类,这个现象在闭包中会讲到。
所以,“值类型都分配在栈上,引用类型都分配在堆上”这样的说法并不准确。
2) 引用类型的初值为 null。值类型则是 0,因为字符串的初值为 null,故字符串为引用类型。
3) 对于引用类型,栈中会有一个变量名和变量类型,指向堆中对象实例的地址。值类 型仅有栈中的变量名和类型,不包括指向实例的指针。
4) 值类型不能被继承,引用类型则可以。典型的例子是结构体,它是值类型,所以结 构体不能被继承。但结构体里面可以包括引用类型。值类型也可以有自己的方法,例如 Int.TryParse 方法。
5) 值类型的生命周期是其定义域。当值类型离开其定义域后将被立刻销毁。引用类型则会进入垃圾回收分代算法。我们不知道何时才会销毁。
6) 值类型的构造函数必须为所有成员赋值。
7) 可以重写引用类型的析构函数。值类型不需要析构函数,因为析构函数只会被垃圾收集器调用。
8) 值类型没有同步块索引,不能作为线程同步工具。
值类型和引用类型的的联系主要有:
- 值类型和引用类型可以通过装箱和拆箱互相转化。
- 所有值类型都派生自 System.ValueType,它是 System.Object 的子类。
- 类和结构体都可以实现接口。类实现接口的例子就不说了,结构体例如 int,DateTime 等都实现了 IComparable 接口,使得它们可以比较大小。
嵌套:值类型与引用类型
我们都知道链表是这样定义的:publie class LinkedList<T> { public T data { get; set; } public LinkedList<T> next { get; set; } }现在问题来了,假设 T 是 int,那么在 32 位机器上 new 这个对象时,需要在堆上开辟多少字节内存?既然 LinkedList<T> 是一个类,那么,next 属性是一个引用类型。
当 new 这个对象时,我们需要 4 个字节的 int 以及一个地址,而 32 位操作系统的地址是 4 个字节。
所以,对于 32 位操作系统,创建一个 LinkedList<T> 需要堆上的 8 个字节,还有类的两个 标配一类型对象指针和同步块索引,共 16 字节。
假设我们将上面代码中的 class 改为 struct,其他完全不变,会发生什么?结论是编译不通过。
因为对于一个结构,CLR 无法计算出新建这个结构时,需要多少字节分配给栈。
这是因为,此时 next 属性不再是一个引用类型,而是一个值类型,所以它的大小取决于它所有的成员大小之和(data 和 next),而它的成员又包括它自己,所以构成无限循环。
而对于引用类型,栈上只需要一个 4 字节的地址,所以不会循环下去。
所有教程
- socket
- Python基础教程
- C#教程
- MySQL函数
- MySQL
- C语言入门
- C语言专题
- C语言编译器
- C语言编程实例
- GCC编译器
- 数据结构
- C语言项目案例
- C++教程
- OpenCV
- Qt教程
- Unity 3D教程
- UE4
- STL
- Redis
- Android教程
- JavaScript
- PHP
- Mybatis
- Spring Cloud
- Maven
- vi命令
- Spring Boot
- Spring MVC
- Hibernate
- Linux
- Linux命令
- Shell脚本
- Java教程
- 设计模式
- Spring
- Servlet
- Struts2
- Java Swing
- JSP教程
- CSS教程
- TensorFlow
- 区块链
- Go语言教程
- Docker
- 编程笔记
- 资源下载
- 关于我们
- 汇编语言
- 大数据
- 云计算
- VIP视频