本文详细分析了C#中struct和class的区别,对于C#初学者来说是有必要加以了解并掌握的。
简单来说,struct是值类型,创建一个struct类型的实例被分配在栈上。class是引用类型,创建一个class类型实例被分配在托管堆上。但struct和class的区别远不止这么简单。
概括来讲,struct和class的不同体现在:
● 类是引用类型,struct是值类型
● 在托管堆上创建类的实例,在栈上创建struct实例
● 类实例的赋值,赋的是引用地址,struct实例的赋值,赋的是值
● 类作为参数类型传递,传递的是引用地址,struct作为参数类型传递,传递的是值
● 类没有默认无参构造函数,struct有默认无参构造函数
● 类支持继承,struct不支持继承
● 类偏向于"面向对象",用于复杂、大型数据,struct偏向于"简单值",比如小于16字节,结构简单
● 类的成员很容易赋初值,很难给struct类型成员赋初值
● 类的实例只能通过new SomeClass()来创建,struct类型的实例既可以通过new SomeStruct()来创建,也可以通过SomeStruct myStruct;来创建
一、从赋值的角度体验struct和class的不同
引用类型赋值,是把地址赋值给了变量
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
class
Program
{
static
void
Main(
string
[] args)
{
SizeClass sizeClass =
new
SizeClass(){Width = 10, Length = 10};
Console.WriteLine(
"赋值前:width={0},length={1}"
, sizeClass.Width, sizeClass.Length);
var copyOfSizeClass = sizeClass;
copyOfSizeClass.Length = 5;
copyOfSizeClass.Width = 5;
Console.WriteLine(
"赋值后:width={0},length={1}"
,sizeClass.Width, sizeClass.Length);
Console.ReadKey();
}
}
public
class
SizeClass
{
public
int
Width {
get
;
set
; }
public
int
Length {
get
;
set
; }
}
public
struct
SizeStruct
{
public
int
Width {
get
;
set
; }
public
int
Length {
get
;
set
; }
}
|
运行结果如下图所示:
以上,当把sizeClass赋值给copyOfSize变量的时候,是把sizeClass所指向的地址赋值给了copyOfSize变量,2个变量同时指向同一个地址。所以,当改变copyOfSizeClass变量的值,也相当于改变了sizeClass的值。
struct类型赋值,是完全拷贝,在栈上多了一个完全一样的变量
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
class
Program
{
static
void
Main(
string
[] args)
{
SizeStruct sizeStruct =
new
SizeStruct(){Length = 10, Width = 10};
Console.WriteLine(
"赋值前:width={0},length={1}"
, sizeStruct.Width, sizeStruct.Length);
var copyOfSizeStruct = sizeStruct;
copyOfSizeStruct.Length = 5;
copyOfSizeStruct.Width = 5;
Console.WriteLine(
"赋值后:width={0},length={1}"
, sizeStruct.Width, sizeStruct.Length);
Console.ReadKey();
}
}
|
程序运行结果如下图所示:
以上,当把sizeStruct赋值给copyOfSizeStruct变量的时候,是完全拷贝,改变copyOfSizeStruct的值不会影响到sizeStruct。
二、从参数传值角度体验struct和class的不同
引用类型参数传递的是地址
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
class
Program
{
static
void
Main(
string
[] args)
{
List<
string
> temp =
new
List<
string
>(){
"my"
,
"god"
};
temp.ForEach(t => Console.Write(t +
" "
));
Console.ReadKey();
}
public
static
void
ChangeReferenceType(List<
string
> list)
{
list =
new
List<
string
>(){
"hello"
,
"world"
};
}
}
|
运行结果:my god
为什么不是hello world?
→栈上的temp指向托管堆上的一个集合实例
→当temp放到ChangeReferenceType(temp)方法中,本质是把temp指向的地址赋值给了变量list
→在ChangeReferenceType(List<string> list)方法内部,又把变量list的指向了另外一个集合实例地址
→但temp的指向地址一直没有改变
我们再来改变ChangeReferenceType(List<string> list)内部实现方式,其它不变。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
class
Program
{
static
void
Main(
string
[] args)
{
List<
string
> temp =
new
List<
string
>(){
"my"
,
"god"
};
ChangeReferenceType(temp);
temp.ForEach(t => Console.Write(t +
" "
));
Console.ReadKey();
}
public
static
void
ChangeReferenceType(List<
string
> list)
{
list.Clear();
list.Add(
"hello"
);
list.Add(
"world"
);
}
}
|
运行结果:hello world
为什么不是my god?
→栈上的temp指向托管堆上的一个集合实例
→当temp放到ChangeReferenceType(temp)方法中,本质是把temp指向的地址赋值给了变量list
→在ChangeReferenceType(List<string> list)方法内部,把temp和list共同指向的实例清空,又添加"hello"和"world"2个元素
→由于list和temp指向的实例是一样的,所以改变list指向的实例就等同于改变temp指向的实例
以上,很好地说明了:引用类型参数传递的是地址。
值类型struct参数传递的是值
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
class
Program
{
static
void
Main(
string
[] args)
{
Size s =
new
Size(){Length = 10, Width = 10};
ChangeStructType(s);
Console.Write(
"Length={0},Width={1}"
, s.Length,s.Width);
Console.ReadKey();
}
public
static
void
ChangeStructType(Size size)
{
size.Length = 0;
size.Width = 0;
}
}
public
struct
Size
{
public
int
Length {
get
;
set
; }
public
int
Width {
get
;
set
; }
}
|
运行结果如下图所示:
为什么Length和Width不是0呢?
→在栈上变量size
→当通过ChangeStructType(size),把s变量赋值给ChangeStructType(Size size)中的size变量,其本质是在栈上又创建了一个变量size,size的值和s是完全一样的
→在ChangeStructType(Size size)内部改变size的值,与变量s毫无关系
三、从struct类型的struct类型属性和struct引用类型属性体验struct和class的不同
假设有一个struct,它有struct类型的属性
以下, struct类型Room有struct类型的属性TableSize和TvSize,我们如何通过Room实例来修改其struct类型的属性值呢?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
class
Program
{
static
void
Main(
string
[] args)
{
Room r =
new
Room()
{
TableSize =
new
Size(){Length = 100, Width = 80},
TvSize =
new
Size(){Length = 10, Width = 8}
};
r.TableSize.Length = 0;
Console.WriteLine(
"table目前的尺寸是:length={0},width={1}"
, r.TableSize.Length, r.TableSize.Width);
Console.ReadKey();
}
}
public
struct
Size
{
public
int
Length {
get
;
set
; }
public
int
Width {
get
;
set
; }
}
public
struct
Room
{
public
Size TableSize {
get
;
set
; }
public
Size TvSize {
get
;
set
; }
}
|
以上,r.TableSize.Length = 0;此处会报错:不能修改r.TableSize的值,因为不是变量。的确,r.TableSize只是Size的一份拷贝,而且也没有赋值给其它变量,所以r.TableSize是临时的,会被自动回收,对其赋值也是没有意义的。
如果要修改r.TableSize,只需把
1
|
r.TableSize.Length = 0;
|
改成如下:
1
|
r.TableSize =
new
Size(){Length = 0, Width = 0};
|
运行结果如下图所示:
可见,改变struct类型的struct类型属性的某个属性是行不通的,因为像以上r.TableSize只是一份拷贝,是临时的,会被自动回收的。要改变struct类型的struct类型属性,就需要像上面一样,给r.TableSize赋上一个完整的Size实例。
假设有一个struct,它有引用类型的属性呢?
以下,struct类型的Room有引用类型属性,TableSize和TvSize,如何通过Room实例来修改其引用类型的属性值呢?并且,我们在类Size中定义了一个事件,当给Size的属性赋值时就触发事件,提示size类的属性值发生了改变。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
class
Program
{
static
void
Main(
string
[] args)
{
var oneSize =
new
Size() {Length = 10, Width = 10};
var twoSize = oneSize;
oneSize.Changed += (s, e) => Console.Write(
"Size发生了改变~~"
);
oneSize.Length = 0;
Console.ReadKey();
}
}
public
class
Size
{
private
int
_length;
private
int
_width;
public
event
System.EventHandler Changed;
public
int
Length
{
get
{
return
_length; }
set
{
_length = value;
OnChanged();
}
}
public
int
Width
{
get
{
return
_width; }
set
{ _width = value; OnChanged(); }
}
private
void
OnChanged()
{
if
(Changed !=
null
)
{
Changed(
this
,
new
EventArgs());
}
}
}
public
struct
Room
{
public
Size TableSize {
get
;
set
; }
public
Size TvSize {
get
;
set
; }
}
|
运行,显示:Size发生了改变~~
对oneSize.Length的修改,实际上修改的是oneSize.Length指向托管堆上的实例。
四、从构造函数体验struct和class的不同
struct类型包含隐式的默认无参构造函数
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
class
Program
{
static
void
Main(
string
[] args)
{
var size =
new
SizeStruct();
Console.WriteLine(
"length={0},width={1}"
, size.Length, size.Width);
Console.ReadKey();
}
}
public
struct
SizeStruct
{
public
int
Length {
get
;
set
; }
public
int
Width {
get
;
set
; }
}
|
运行结果如下图所示:
为什么我们没有给SizeStruct定义无参构造函数,而没有报错?
--因为,struct类型有一个隐式的无参构造函数,并且给所有的成员赋上默认值,int类型属性成员的默认值是0。
类不包含隐式无参构造函数
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
class
Program
{
static
void
Main(
string
[] args)
{
var size =
new
SizeClass();
Console.WriteLine(
"length={0},width={1}"
, size.Length, size.Width);
Console.ReadKey();
}
}
public
class
SizeClass
{
public
int
Length {
get
;
set
; }
public
int
Width {
get
;
set
; }
public
SizeClass(
int
length,
int
width)
{
Length = length;
Width = Width;
}
}
|
运行,报错:SizeClass不包含0个参数的构造函数
五、从给类型成员赋初值体验struct和class的不同
如果直接给字段赋初值。
1
2
3
4
|
public
struct
SizeStruct
{
public
int
_length = 10;
}
|
运行,报错:结构中不能有实例字段初始值设定项
如果通过构造函数给字段赋初值。
1
2
3
4
5
6
7
8
9
|
public
struct
SizeStruct
{
public
int
_length;
public
SizeStruct()
{
_length = 10;
}
}
|
运行,报错:结构中不能包含显式无参数构造函数
可见,给struct类型成员赋初值是不太容易的,而给class成员赋初值,no problem。
何时使用struct,何时使用class?
在多数情况下,推荐使用class类,因为无论是类的赋值、作为参数类型传递,还是返回类的实例,实际拷贝的是托管堆上引用地址,也就大概4个字节,这非常有助于性能的提升。
而作为struct类型,无论是赋值,作为参数类型传递,还是返回struct类型实例,是完全拷贝,会占用栈上的空间。根据Microsoft's Value Type Recommendations,在如下情况下,推荐使用struct:
● 小于16个字节
● 偏向于值,是简单数据,而不是偏向于"面向对象"
● 希望值不可变