C#不可變類型深入解析
學(xué)過C#的人都知道string類型,但是string作為一種特殊的引用類型還有一個(gè)重要的特征就是恒定性,或者叫不可變性,即Immutable。作為不可變類型,最主要的特性表現(xiàn)是:一旦創(chuàng)建,只要修改,就會(huì)在托管堆上創(chuàng)建一個(gè)新的對(duì)象實(shí)例,而且和上一個(gè)對(duì)象實(shí)例是相鄰的,在托管堆上分配到一塊連續(xù)的內(nèi)存空間。
那么為什么需要不可變類型呢?
在多線程情況下,一個(gè)線程,由于種種原因(比如異常)只修改了一個(gè)變量所代表類型的部分成員的值,這時(shí)候,另一個(gè)進(jìn)程進(jìn)來,也訪問這個(gè)變量,第二個(gè)進(jìn)程訪問到的變量成員,一部分成員還是原來的值,另一部分成員的值是第一個(gè)線程修改的值,這樣就出現(xiàn)了"數(shù)據(jù)不一致"。而不可變類型就是為了解決在多線程條件下的"數(shù)據(jù)不一致"的問題。
當(dāng)然,字符串的不可變性或恒定性,不僅解決了"數(shù)據(jù)不一致"的問題,還為字符串的"駐留"提供了前提,這樣才可以把不同的字符串以及托管堆上的內(nèi)存地址以鍵值對(duì)的形式放到全局哈希表中。
一、親眼目睹"數(shù)據(jù)不一致":
對(duì)Student的Score屬性,在賦值的時(shí)候加上檢測(cè),檢測(cè)是否是2位數(shù)整數(shù)。
public struct Student
{
private string name;
private string score;
public string Name
{
get { return name; }
set { name = value; }
}
public string Score
{
get { return score; }
set
{
CheckScore(value);
score = value;
}
}
//檢測(cè)分?jǐn)?shù)是否是2位數(shù)整數(shù)
private void CheckScore(string value)
{
string pattern = @"\d{2}";
if (!Regex.IsMatch(value, pattern))
{
throw new Exception("不是有效分?jǐn)?shù)!");
}
}
public override string ToString()
{
return String.Format("姓名:{0},分?jǐn)?shù):{1}", name, score);
}
}
在主程序中故意制造出一個(gè)異常,目的是只對(duì)一個(gè)變量所代表類型的某些成員賦值。
static void Main(string[] args)
{
Student student = new Student();
student.Name = "張三";
student.Score = "80";
Console.WriteLine(student.ToString());
try
{
student.Name = "李四";
student.Score = "8";
}
catch (Exception)
{
throw;
}
Console.WriteLine(student.ToString());
Console.ReadKey();
}
打斷點(diǎn),運(yùn)行,發(fā)現(xiàn)Student類型的student變量,在第二次賦值的時(shí)候,把student的Name屬性值改了過來,而student的Score屬性,由于發(fā)生了異常,沒有修改過來。這就是"數(shù)據(jù)不一致"。
如下圖所示:

二、動(dòng)手設(shè)計(jì)不可變類型
1.不可變類型的2個(gè)特性:
①對(duì)象的原子性:要么不改,要改就把所有成員都改,從而創(chuàng)建新的對(duì)象。
②對(duì)象的常量性:對(duì)象一旦創(chuàng)建,就不能改變狀態(tài),即不能改變對(duì)象的屬性,只能創(chuàng)建新的對(duì)象。
2.遵循以上不可變類型的2個(gè)特征
①在構(gòu)造函數(shù)中對(duì)所有字段賦值。
②將屬性中的set訪問器刪除。
class Program
{
static void Main(string[] args)
{
Student student = new Student("張三", "90");
student = new Student("李四","80");
Console.WriteLine(student.ToString());
Console.ReadKey();
}
}
public struct Student
{
private readonly string name;
private readonly string score;
public Student(string name, string score)
{
this.name = name;
this.score = score;
}
public string Name
{
get { return name; }
}
public string Score
{
get { return score; }
}
public override string ToString()
{
return String.Format("姓名:{0},分?jǐn)?shù):{1}", name, score);
}
}
運(yùn)行結(jié)果如下圖所示:

由此可見,我們無法修改Student的其中某一個(gè)成員,只能通過構(gòu)造函數(shù)創(chuàng)建一個(gè)新對(duì)象,滿足"對(duì)象的原子性"。
而且也無法修改Student對(duì)象實(shí)例的某個(gè)屬性值,符合"對(duì)象的常量性"。
3.如果有引用類型字段和屬性,如何做到"不可變性"?
class Program
{
static void Main(string[] args)
{
string[] classes = {"語文", "數(shù)學(xué)"};
Student student = new Student("張三", "85", classes);
Console.WriteLine("==修改之前==");
Console.WriteLine(student.ToString());
string[] tempArray = student.Classes;
tempArray[0] = "英語";
Console.WriteLine("==修改之后==");
Console.WriteLine(student.ToString());
Console.ReadKey();
}
}
public struct Student
{
private readonly string name;
private readonly string score;
private readonly string[] classes;
public Student(string name, string score, string[] classes)
{
this.name = name;
this.score = score;
this.classes = classes;
}
public string Name
{
get { return name; }
}
public string Score
{
get { return score; }
}
public string[] Classes
{
get { return classes; }
}
public override string ToString()
{
string temp = string.Empty;
foreach (string item in classes)
{
temp += item + ",";
}
return String.Format("姓名:{0},總分:{1},參加的課程有:{2}", name, score,temp.Substring(0, temp.Length -1));
}
}
結(jié)果如下圖所示:

由此可見,還是可以對(duì)對(duì)象的屬性間接修改賦值,不滿足不可變類型的"常量性"特點(diǎn)。
4.通過在構(gòu)造函數(shù)和屬性的get訪問器中復(fù)制的方式來滿足不可變性
class Program
{
static void Main(string[] args)
{
string[] classes = {"語文", "數(shù)學(xué)"};
Student student = new Student("張三", "85", classes);
Console.WriteLine("==修改之前==");
Console.WriteLine(student.ToString());
string[] tempArray = student.Classes;
tempArray[0] = "英語";
Console.WriteLine("==修改之后==");
Console.WriteLine(student.ToString());
Console.ReadKey();
}
}
public struct Student
{
private readonly string name;
private readonly string score;
private readonly string[] classes;
public Student(string name, string score, string[] classes)
{
this.name = name;
this.score = score;
this.classes = new string[classes.Length];
classes.CopyTo(this.classes, 0);
CheckScore(score);
}
public string Name
{
get { return name; }
}
public string Score
{
get { return score; }
}
public string[] Classes
{
get
{
string[] result = new string[classes.Length];
classes.CopyTo(result,0);
return result;
}
}
//檢測(cè)分?jǐn)?shù)是否是2位數(shù)整數(shù)
private void CheckScore(string value)
{
string pattern = @"\d{2}";
if (!Regex.IsMatch(value, pattern))
{
throw new Exception("不是有效分?jǐn)?shù)!");
}
}
public override string ToString()
{
string temp = string.Empty;
foreach (string item in classes)
{
temp += item + ",";
}
return String.Format("姓名:{0},總分:{1},參加的課程有:{2}", name, score,temp.Substring(0, temp.Length -1));
}
}
運(yùn)行結(jié)果如下圖所示:

此外,如果讓分?jǐn)?shù)不滿足條件,Student student = new Student("張三", "8", classes),就會(huì)報(bào)錯(cuò):

相關(guān)文章
WPF實(shí)現(xiàn)數(shù)據(jù)綁定的幾種方法
Windows Presentation Foundation (WPF) 是微軟開發(fā)的一套用于構(gòu)建用戶界面的框架,在 WPF 中,數(shù)據(jù)綁定是一個(gè)非常重要的概念,它使得 UI 和數(shù)據(jù)源之間的同步變得簡(jiǎn)單和高效,本文將詳細(xì)分析 WPF 中實(shí)現(xiàn)數(shù)據(jù)綁定的幾種方法,需要的朋友可以參考下2024-12-12
c#對(duì)XML文檔的創(chuàng)建與增刪改查的示例代碼
這篇文章主要介紹了c#對(duì)XML文檔的創(chuàng)建與增刪改查的示例代碼,文中講解非常細(xì)致,幫助大家更好的理解和學(xué)習(xí),感興趣的朋友可以了解下2020-07-07
C#遍歷操作系統(tǒng)下所有驅(qū)動(dòng)器的方法
這篇文章主要介紹了C#遍歷操作系統(tǒng)下所有驅(qū)動(dòng)器的方法,涉及C#中DriveInfo類GetDrivers方法的使用技巧,具有一定參考借鑒價(jià)值,需要的朋友可以參考下2015-04-04
c#中Empty()和DefalutIfEmpty()用法分析
這篇文章主要介紹了c#中Empty()和DefalutIfEmpty()用法,以實(shí)例形式分析了針對(duì)不同情況下Empty()和DefalutIfEmpty()用法區(qū)別,需要的朋友可以參考下2014-11-11
Unity3D移動(dòng)端實(shí)現(xiàn)搖一搖功能
這篇文章主要為大家詳細(xì)介紹了基于Unity3D移動(dòng)端實(shí)現(xiàn)搖一搖功能,文中示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2019-10-10

