C# 是一種由 Microsoft 開發(fā)的面向?qū)ο蟮木幊陶Z言，它最初于 2000 年發(fā)布，并在隨后的版本中不斷更新和改進(jìn)。自C# 7.0以來，C#語言在類型系統(tǒng)方面引入了眾多新數(shù)據(jù)類型、類型構(gòu)造和語言特性，以提升性能、類型安全性和開發(fā)效率。本文全面整理了從C# 7.0到C# 14.0（截至2025年4月，C# 14.0為預(yù)覽版）類型系統(tǒng)的新增內(nèi)容，包括值元組、Span<T>、ReadOnlySpan<T>、Memory<T>、ReadOnlyMemory<T>、可空引用類型、記錄、本機(jī)大小整數(shù)、記錄結(jié)構(gòu)、內(nèi)聯(lián)數(shù)組，以及其他增強（如只讀結(jié)構(gòu)、泛型數(shù)學(xué)支持）。

版本概覽

以下是C# 7.0至C# 14.0中類型系統(tǒng)新增或增強的主要內(nèi)容：

以下按版本逐一詳述，每節(jié)包含特性表格、代碼示例和分析。

C# 7.0：值元組

特性表格

概述

值元組基于System.ValueTuple，允許方法返回多個值，支持命名元素和解構(gòu)，簡化數(shù)據(jù)傳遞。

語法

聲明：(type1, type2, ...) tupleName = (value1, value2, ...);

命名元素：(type1 name1, type2 name2, ...) tupleName = (value1, value2, ...);

解構(gòu)：var (var1, var2, ...) = tupleName;

示例代碼

public(intid,stringname)GetPerson(){return(1,"Alice");}varperson=GetPerson();Console.WriteLine($"ID:{person.id},Name:{person.name}");//解構(gòu)var(id,name)=GetPerson();Console.WriteLine($"ID:{id},Name:{name}");

適用場景

方法返回多個相關(guān)值。

臨時數(shù)據(jù)分組，無需定義類或結(jié)構(gòu)。

解構(gòu)賦值，簡化代碼。

注意事項

值類型，適合輕量數(shù)據(jù)。

.NET Framework項目需引用System.ValueTuple NuGet包。

C# 7.2：Span, ReadOnlySpan, 只讀結(jié)構(gòu), 引用結(jié)構(gòu)

特性表格

概述

Span<T>和ReadOnlySpan<T>是高性能值類型，表示連續(xù)內(nèi)存塊引用，適合數(shù)組和本機(jī)內(nèi)存操作。readonly struct確保結(jié)構(gòu)體不可變，ref struct限制為棧分配，支持Span<T>等類型。

語法

Span: Span<T> span = collection.AsSpan();

ReadOnlySpan: ReadOnlySpan<T＞ readOnlySpan = collection.AsSpan();

只讀結(jié)構(gòu): readonly struct StructName { ... }

引用結(jié)構(gòu): ref struct StructName { ... }

示例代碼

//Span<T>和ReadOnlySpan<T>int[]numbers=[1,2,3,4,5];Span<int>span =numbers.AsSpan(1,3);span[0]=10;Console.WriteLine(string.Join(",",span.ToArray()));//10,3,4ReadOnlySpan<char>text="Hello".AsSpan();Console.WriteLine(text.Slice(0,2).ToString());//He//只讀結(jié)構(gòu)readonlystructPoint{publicintX{get;init;}publicintY{get;init;}}Pointpoint=new(){X=1,Y=2};Console.WriteLine($"({point.X},{point.Y})");//(1,2)//引用結(jié)構(gòu)refstructBuffer{publicSpan<int>Data;publicBuffer(Span<int>data)=>Data=data;}Bufferbuffer=new(numbers.AsSpan());buffer.Data[0]=10;Console.WriteLine(numbers[0]);//10

適用場景

高性能字符串解析、緩沖區(qū)處理。

不可變數(shù)據(jù)結(jié)構(gòu)（只讀結(jié)構(gòu)）。

避免堆分配（引用結(jié)構(gòu)）。

注意事項

Span<T>和ReadOnlySpan<T>不可用于異步方法。

ref struct限制嚴(yán)格，需管理生命周期。

C# 8.0：可空引用類型, Memory, ReadOnlyMemory

特性表格

概述

可空引用類型通過?后綴指定引用類型是否可為null，減少空引用異常。Memory<T>和ReadOnlyMemory<T>表示托管內(nèi)存塊，支持異步場景。

語法

可空引用類型: string? nullable; string nonNullable;

Memory: Memory<T> memory = collection.AsMemory();

ReadOnlyMemory: ReadOnlyMemory<T> readOnlyMemory = collection.AsMemory();

示例代碼

//可空引用類型#nullableenablestringnonNullable="Hello";string?nullable=null;if(nullable!=null){Console.WriteLine(nullable.Length);}//Memory<T>和ReadOnlyMemory<T>int[]numbers=[1,2,3,4,5];Memory<int>memory=numbers.AsMemory(1,3);Span<int>span =memory.Span;span[0]=10;Console.WriteLine(string.Join(",",memory.ToArray()));//10,3,4ReadOnlyMemory<char>text="Hello".AsMemory();Console.WriteLine(text.Slice(0,2).Span.ToString());//He

適用場景

增強空值安全性（可空引用類型）。

異步內(nèi)存操作（Memory）。

只讀數(shù)據(jù)傳遞（ReadOnlyMemory）。

注意事項

可空引用類型需顯式啟用。

Memory生命周期需管理。

C# 9.0：記錄, 本機(jī)大小整數(shù), 初始化器專用類型

特性表格

概述

記錄是具有值語義的引用類型，自動實現(xiàn)相等性。nint和nuint支持本機(jī)大小整數(shù)。init修飾符增強屬性不可變性。

語法

記錄: public record ClassName(type1 Property1, ...);

本機(jī)大小整數(shù): nint nativeInt; nuint nativeUInt;

init-only: public type Property { get; init; }

示例代碼

//記錄publicrecordPerson(stringFirstName,stringLastName);varperson1=newPerson("Alice","Smith");varperson2=newPerson("Alice","Smith");Console.WriteLine(person1==person2);//Truevarperson3=person1with{LastName="Johnson"};Console.WriteLine(person3);//Person{FirstName=Alice,LastName=Johnson}//本機(jī)大小整數(shù)nintnativeInt=42;nuintnativeUInt=42u;Console.WriteLine($"Nativeint:{nativeInt},Nativeuint:{nativeUInt}");//初始化器專用類型publicclassStudent{publicstringName{get;init;}}varstudent=newStudent{Name="Alice"};Console.WriteLine(student.Name);//Alice

適用場景

數(shù)據(jù)傳輸對象（記錄）。

本機(jī)代碼互操作（nint, nuint）。

不可變數(shù)據(jù)模型（init-only）。

注意事項

記錄支持繼承，需保持值語義。

本機(jī)大小整數(shù)平臺依賴。

C# 10.0：記錄結(jié)構(gòu), 全局 using 指令

特性表格

概述

記錄結(jié)構(gòu)將記錄特性擴(kuò)展到值類型，結(jié)合值語義和性能。全局using簡化類型引用。

語法

記錄結(jié)構(gòu): public record struct StructName(type1 Property1, ...);

全局 using: global using System;

示例代碼

//記錄結(jié)構(gòu)publicrecordstructPoint(intX,intY);varpoint1=newPoint(1,2);varpoint2=newPoint(1,2);Console.WriteLine(point1==point2);//Truevarpoint3=point1with{X=3};Console.WriteLine(point3);//Point{X=3,Y=2}//全局using（假設(shè)已在文件頂部）Console.WriteLine("Hello,World!");//無需顯式usingSystem

適用場景

值類型數(shù)據(jù)建模（記錄結(jié)構(gòu)）。

大型項目命名空間管理（全局 using）。

注意事項

記錄結(jié)構(gòu)復(fù)制成本需關(guān)注。

全局 using 需謹(jǐn)慎使用。

C# 11.0：必需成員, 泛型數(shù)學(xué)支持, 文件局部類型

特性表格

概述

required修飾符強制成員初始化。泛型數(shù)學(xué)支持通過接口實現(xiàn)數(shù)值運算。file修飾符限制類型作用域。

語法

必需成員: public required type Property { get; set; }

泛型數(shù)學(xué): interface INumber<T> { static abstract T operator +(T, T); }

文件局部類型: file class ClassName { ... }

示例代碼

//必需成員publicclassPerson{publicrequiredstringName{get;set;}}varperson=newPerson{Name="Alice"};Console.WriteLine(person.Name);//Alice//泛型數(shù)學(xué)支持publicinterfaceINumber<T>whereT:INumber<T>{staticabstractTAdd(Tleft,Tright);}publicreadonlystructMyNumber:INumber<MyNumber>{publicintValue{get;init;}publicMyNumber(intvalue)=>Value=value;publicstaticMyNumberAdd(MyNumberleft,MyNumberright)=>new(left.Value+right.Value);}MyNumbera=new(1);MyNumberb=new(2);varresult=MyNumber.Add(a,b);Console.WriteLine(result.Value);//3//文件局部類型fileclassHelper{publicstaticvoidLog(stringmessage)=>Console.WriteLine(message);}Helper.Log("Test");

適用場景

API 設(shè)計（必需成員）。

泛型數(shù)值計算（泛型數(shù)學(xué)）。

代碼生成（文件局部類型）。

注意事項

必需成員需明確初始化。

泛型數(shù)學(xué)需運行時支持。

C# 12.0：內(nèi)聯(lián)數(shù)組

特性表格

概述

內(nèi)聯(lián)數(shù)組通過[InlineArray]特性定義固定大小數(shù)組結(jié)構(gòu)，優(yōu)化性能。

語法

[InlineArray(length)]publicstructStructName{privateelementType_element0;}

示例代碼

[InlineArray(10)]publicstructBuffer{privateint_element0;}Bufferbuffer=new();buffer[0]=1;buffer[9]=10;Console.WriteLine(buffer[0]);//1

適用場景

高性能計算。

替代不安全固定緩沖區(qū)。

注意事項

固定大小，運行時不可調(diào)整。

C# 13.0：參數(shù)集合擴(kuò)展, 引用結(jié)構(gòu)接口支持, 部分屬性

特性表格

概述

參數(shù)集合擴(kuò)展支持Span<T>等類型。ref struct可實現(xiàn)接口。部分屬性支持分文件定義。

語法

參數(shù)集合: void Method(params Span<T> spans);

引用結(jié)構(gòu)接口: ref struct StructName : IInterface { ... }

部分屬性: public partial type Property { get; set; }

示例代碼

//參數(shù)集合擴(kuò)展publicvoidProcess(paramsSpan<int>spans){foreach(varspan inspans)Console.WriteLine(string.Join(",",span.ToArray()));}int[]numbers=[1,2,3];Process(numbers.AsSpan(0,2),numbers.AsSpan(2,1));//1,2和3//引用結(jié)構(gòu)接口支持publicinterfaceIBuffer{voidProcess();}refstructBuffer:IBuffer{publicSpan<int>Data;publicBuffer(Span<int>data)=>Data=data;publicvoidProcess()=>Data[0]=10;}Bufferbuffer=new(numbers.AsSpan());buffer.Process();Console.WriteLine(numbers[0]);//10//部分屬性publicpartialclassPerson{publicpartialstringName{get;set;}}publicpartialclassPerson{publicpartialstringName{get=>_name;set=>_name=value;}privatestring_name;}varperson=newPerson{Name="Alice"};Console.WriteLine(person.Name);//Alice

適用場景

高性能參數(shù)傳遞（參數(shù)集合）。

擴(kuò)展ref struct（接口支持）。

代碼生成（部分屬性）。

注意事項

參數(shù)集合需管理Span生命周期。

部分屬性需確保一致性。

C# 14.0：field 關(guān)鍵字, 隱式 span 轉(zhuǎn)換, nameof 增強, lambda 參數(shù)修飾符, partial 成員擴(kuò)展, 空條件賦值

特性表格

概述

C# 14.0（預(yù)計2025年隨.NET 10發(fā)布，截至2025年4月為預(yù)覽版）引入了一系列語言特性，旨在提高開發(fā)效率和代碼可讀性，包括 field 關(guān)鍵字、隱式 span 轉(zhuǎn)換、nameof 增強、lambda 參數(shù)修飾符、partial 成員擴(kuò)展和空條件賦值。雖然未引入全新數(shù)據(jù)類型，但這些特性顯著增強了現(xiàn)有類型的用法。

field 關(guān)鍵字概述

field 關(guān)鍵字允許在屬性訪問器中直接訪問編譯器生成的 backing field，無需顯式聲明。

示例代碼

publicclassPerson{publicstringName{get=>field;set=>field=value?.Trim();}}varperson=newPerson{Name="Alice"};Console.WriteLine(person.Name);//Alice

適用場景

簡化屬性實現(xiàn)，特別是需要對 setter 進(jìn)行處理時。

注意事項

如果類中已有名為 field 的字段，需使用 @field 或 this.field 區(qū)分。

作為C# 13.0的預(yù)覽特性，C# 14.0正式支持，詳見field 關(guān)鍵字。

隱式 span 轉(zhuǎn)換概述

C# 14.0 為 Span<T> 和 ReadOnlySpan<T> 提供了與數(shù)組的隱式轉(zhuǎn)換，使其使用更加自然。

示例代碼

Span<int>span =newint[]{1,2,3};int[]array=span.ToArray();Console.WriteLine(string.Join(",",array));//1,2,3

適用場景

高性能場景中，減少顯式轉(zhuǎn)換。

與數(shù)組和 span 類型交互。

注意事項

需確保 span 的生命周期管理，詳見Span 轉(zhuǎn)換。

nameof 支持未綁定泛型概述

允許 nameof 操作符使用未綁定泛型類型。

示例代碼

stringlistName=nameof(List<>);Console.WriteLine(listName);//List

適用場景

泛型編程中，獲取類型名稱。

注意事項

簡單但強大的增強，適合反射場景。

lambda 參數(shù)修飾符概述

允許在 lambda 表達(dá)式中為參數(shù)添加修飾符，如 ref、out 等，無需指定類型。

示例代碼

varincrement=(refintx)=>x++;intnum=5;increment(refnum);Console.WriteLine(num);//6

適用場景

需要在 lambda 中修改外部變量。

注意事項

params 仍需指定類型，詳見lambda 表達(dá)式。

partial 構(gòu)造函數(shù)和事件概述

擴(kuò)展 partial 成員到實例構(gòu)造函數(shù)和事件，允許在 partial 類型中分離定義和實現(xiàn)。

示例代碼

//File1.cspublicpartialclassMyClass{publicpartialMyClass(intx);publicpartialeventEventHandlerMyEvent;}//File2.cspublicpartialclassMyClass{publicpartialMyClass(intx){}publicpartialeventEventHandlerMyEvent;}

適用場景

代碼生成場景，如 UI 設(shè)計器。

注意事項

需確保 defining 和 implementing 聲明一致，詳見partial 成員。

空條件賦值概述

允許在賦值語句的左側(cè)使用 ?. 和 ?[]，僅當(dāng)左側(cè)非 null 時執(zhí)行賦值。

示例代碼

string?text=null;text?.Length=5;//不執(zhí)行賦值List<int>?list=null;list?[0]=10;//不執(zhí)行賦值list=newList<int>{0};list?[0]=10;//執(zhí)行賦值，list[0]=10Console.WriteLine(list[0]);//10

適用場景

簡化 null 檢查，避免 NullReferenceException。

注意事項

不支持 ++ 和 -- 操作，詳見空條件賦值。

結(jié)語

C# 7.0至C# 14.0的類型系統(tǒng)新增內(nèi)容涵蓋了值元組、Span、ReadOnlySpan、Memory、ReadOnlyMemory、可空引用類型、記錄、本機(jī)大小整數(shù)、記錄結(jié)構(gòu)、內(nèi)聯(lián)數(shù)組等數(shù)據(jù)類型，以及只讀結(jié)構(gòu)、引用結(jié)構(gòu)、必需成員、泛型數(shù)學(xué)支持等增強。C# 14.0通過field關(guān)鍵字、隱式 span 轉(zhuǎn)換等特性進(jìn)一步優(yōu)化了現(xiàn)有類型的用法。這些特性滿足了從高性能內(nèi)存管理到類型安全建模的多種需求。資深C#工程師可根據(jù)場景選擇類型，如使用Span優(yōu)化性能，記錄建模數(shù)據(jù)。由于C# 14.0尚在預(yù)覽階段，建議關(guān)注dotnet/roslyn以獲取最新更新。

到此這篇關(guān)于C#類型系統(tǒng)從7.0到14.0的發(fā)展歷程和版本特性的文章就介紹到這了,更多相關(guān)C#高性能開發(fā)之類型系統(tǒng)：從 C# 7.0 到 C# 14 的類型系統(tǒng)演進(jìn)全景內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論