简介这份C#实验文档面向刚接触.NET平台的初学者系统讲解C#数据类型与变量的核心概念。内容按整型、浮点型、字符型、布尔型以及字符串型分类并结合完整实验步骤演示如何在VS 2008环境中利用ComboBox控件查询‘byte’、‘sbyte’、‘short’、‘int’、‘float’等类型的内存字节数、最大值与最小值把抽象语法转化为可视化操作。C#作为强类型语言所有变量在声明时必须明确指定数据类型编译期即可检查类型错误文档对这一点也做了清晰说明。资源包为doc格式共1个文件大小仅1.21MB便于本地阅读或打印。已有347人学习下载适合高校学生或自学者在Visual Studio中对照实验完成练习。通过完整的窗体应用案例读者能够掌握变量声明、sizeof运算符以及类型极值属性的使用方法并深入理解强类型语言在内存占用与数值范围上的差异文档还提供了FormLoad初始化与SelectedIndexChanged事件处理的完整代码可作为课程设计或上机实践的参考模板为后续编写高效、安全的代码奠定基础。1. 为什么数据类型与变量是C#的性能分水岭很多 C# 教程把数据类型和变量放在最前面刷一遍语法就过去了但在真实项目里这两样东西恰恰是线上问题和代码评审争议的集中地。调用方把ListCustomer当参数传进业务层后方法内顺手Clear()了一下上游缓存被清空低代码平台里随手把int塞进ArrayList每秒几万次的调用因为装箱拆箱撑爆 CPU。这些问题的根源都是对 C# 数据类型与变量的默认行为没有建立准确模型值类型在赋值时复制内容引用类型在赋值时复制引用作用域和生命周期决定数据能否被安全共享。另一个常见误区是“基础没深度”。一个写了五年 C# 的开发可能知道struct在栈上、class在堆上但未必能说清readonly修饰引用类型时到底限制了什么。数据类型与变量不只是int、string的语法拼写它决定了内存分配位置、参数传递语义、相等性规则和类型转换边界。理解这些之后再去看 async/await 的上下文捕获、LINQ 闭包里的变量提升、或者 Span 的安全指针能力都会有豁然开朗的感觉。下面从内存布局、声明语义和类型转换三层把这两组概念拆开并在最后给出一个用ref/in改写结构体传参的实战技巧。整个过程不依赖反射和 unsafe全部在 C# 类型系统内完成适合直接抄进现有项目。2. C#数据类型与变量的内存模型值类型和引用类型的分工2.1 栈、堆与托管内存变量到底存了什么.NET 运行时里一个变量对应的存储区域并不像经典教科书画得那么简单但“栈和堆”的模型足够解释 90% 的行为。值类型的实例通常保存在线程栈或作为更大对象的一部分内嵌存储例如struct Point { public int X, Y; }Point p new Point();时p这个变量里装的就是 X 和 Y 本身。而引用类型class PointRef的实例总是分配在托管堆上变量本身只是一个 8 字节64 位进程的引用指针指向堆中的对象。当你写PointRef p2 new PointRef();时栈上的p2是一个地址真实数据在堆里。一个容易忽略的细节是值类型放在栈上的规则只对局部变量成立。如果值类型是某个引用类型的成员它会被内嵌在堆对象内部内存连续性更好但对分配生命周期没有直接好处。数组本质上也是引用类型但数组元素如果是结构体则元素在托管堆上连续排列这对SpanT和 SIMD 场景很重要。理解这个分层才不会把频繁分配结构体的局部变量当成和堆分配一样的性能杀手。下面这段代码对比了两种类型变量在赋值瞬间的表现struct Point { public int X, Y; } class PointClass { public int X, Y; } void Demo() { Point a new Point { X 1, Y 2 }; Point b a; b.X 10; Console.WriteLine(a.X); // 输出 1a.X 没有被修改 PointClass c new PointClass { X 1, Y 2 }; PointClass d c; d.X 10; Console.WriteLine(c.X); // 输出 10c.X 被修改 }struct Point的b a执行的是字段级复制b得到全新的 X、Y修改b.X不影响a。而PointClass的d c只是把对象引用拷贝了一份两个变量指向同一个堆对象所以d.X的修改直接影响c。这个差异也是很多数据同步 bug 的来源尤其是把对象塞进缓存后业务方直接改对象字段时。对比维度值类型struct/枚举/基础类型引用类型class/数组/string/委托变量存储内容数据本身堆对象的引用地址默认赋值行为逐字段复制引用复制默认值0、false 等对应零值null参数传递默认按值复制按引用复制引用还是按值传递内存位置栈上或内嵌在堆对象中托管堆典型使用场景短生命周期、数值计算业务实体、集合、共享状态参数说明表中“按引用复制”容易引起歧义实际意思是“引用的值被复制对象不复制”。如果不想让外部通过方法修改引用类型的成员需要在方法边界做好防御性拷贝。2.2 结构体变量的复制副作用深挖一次循环里的性能陷阱结构体变量的复制发生在赋值、参数传递、返回值和 LINQ 闭包捕获中。一个常见误区是只关注“值类型不产生 GC 压力”却忽略了复制成本。如果结构体携带一个较大的数组字段那么复制时的逐字段赋值只是复制数组引用数组内容并不会被拷贝所以这仍然有共享状态的风险。需要显式.MemberwiseClone()或使用record struct的with表达式创建拷贝。例如在高性能服务器中经常会写一个NetPacket结构体内部包含一个byte[] Payload。当NetPacket p2 p1;时内部数组字段的引用是共享的任何写操作都可能穿到原始包这时候必须约定“只读共享”或主动拷贝数组。另外foreach遍历结构体数组时如果循环变量是结构体而不是ref每次迭代也会复制整个元素。这也是为什么SpanT的for循环要比foreach更适合结构体热门路径。更隐蔽的是“修改返回结构体字段”的语法限制。C# 编译器不允许SomeStructList[0].X 1;对索引器返回的值类型直接修改因为索引器的返回值是临时复制。如果需要修改得用ref索引器或CollectionsMarshal.GetValueAtRef(ref list)。这些边界问题等到后面讲SpanT时会更突出最后一章会给出完整代码。2.3 string和数组引用类型里最像值类型的两个特例字符串是引用类型但它的运算符已经被重载成值比较。数组是引用类型但没有重载还是引用比较。把这两者放在一起容易引发一种经典误判object objA abc; object objB new string(new[] { a, b, c }); Console.WriteLine(objA objB); // 编译期类型是 object比较的是引用由于编译期类型是object不会调用string的运算符重载所以比较的是引用结果取决于字符串驻留机制。这就是为什么推荐在比较字符串时用string.Equals(a, b, StringComparison.Ordinal)而不是直接依赖运算符。在对数据类型做约束设计时建议把 string 当作“值语义的引用类型”来解释它没有可变修改接口且有驻留池优化但它的内存和生命周期仍然是堆管理。写代码时不要用object接收字符串后再比较避免踩中引用比较的坑。3. C#变量声明与类型推断var、常量与可空值选型3.1 var出现在哪里才安全局部变量推断的真实边界var在编译后就确定类型不等于dynamic。但很多新项目滥用var把一眼能看出来的int也写成var反而降低可读性。我的惯例是当变量名能清晰表达类型语义时或类型名特别长如Dictionarystring, ListFuncint, Task时使用var当类型依赖混合算术或泛型推断时显式写出类型会减少读者心智负担。var有一个官方限制只能用于局部变量不能用在字段或属性中。out var是常见伴侣用法例如dictionary.TryGetValue(key, out var value)这里的value类型由泛型参数决定。在异步方法中var task GetAsync();与Taskint task GetAsync();在装箱语义上没有区别但 IDE 的 Find All References 会显示为隐式类型。一个容易出错的地方是在没有显式类型的情况下var推断的是编译时最具体类型而不是基类。比如var result condition ? GetA() : GetB();如果GetA()返回MemoryStreamGetB()返回Stream编译器会尝试寻找公共基类可能会得到Stream但如果你写var result GetC() ?? GetD();推断规则会更复杂。遇到这种表达式时建议直接显式声明目标类型不要赌编译器的类型统一规则。3.2 const、readonly和static readonly变量赋值的三种时间线修饰符赋值时机主要限制修改后影响const编译期只能用于原始类型、string、null值会嵌入引用程序集需要全量重新编译readonly实例字段实例构造期间可在构造函数或字段初始化器赋值修改当前实例不影响其他实例static readonly类型初始化期间静态构造前允许非编译期计算进程生命周期内只初始化一次修改类型初始化器需重启应用const最典型的坑是“二进制版本滞后”。类库 A 中定义了public const int Version 1;应用 B 引用它编译后B 的 IL 里会直接写入 1。如果只更新 A 程序集而不重新编译 BB 中仍然是 1。线上排查时经常出现“代码更新了但值没变”的诡异现象。如果这个值在运行时可能有变化就应该用static readonly。readonly修饰引用类型字段时字段引用本身不能重新赋值但字段指向的对象内容仍然可以修改。例如private readonly Listint _pending new Listint(); void Add(int item) { _pending.Add(item); // 合法对象内容可变 }_pending的引用不能变但Add不受限制。很多开发者把它误认为“只读集合”实际上如果需要禁止修改集合应封装为ReadOnlyCollectionint或返回IReadOnlyListint。static readonly的一个重要细节是初始化时机.NET Core 中默认在首次访问该静态字段前运行类型初始化器如果构造函数里抛异常类型初始化会被标记为不可恢复之后所有访问都可能抛TypeInitializationException。生产环境里给static readonly字段配置外部配置源时要额外做降级处理。3.3 Nullable 、可空值类型与可空引用类型的差别NullableT本身是值类型它保存了HasValue和Value两个成员。声明int? a null;时变量a不是引用而是一个值为null的Nullableint结构体。这导致一个经常被忽略的行为int? a 5; if (a ! null)比较的不是指针而是编译器替你检查HasValue属性。在表达式树或反射代码里int?的Type是Nullableint而不是int所以做 ORM 映射时要特别注意字段的Nullable.GetUnderlyingType。可空引用类型是另一个维度。string?只是一个编译期特性运行时没有区分。C# 8 以后启用的 NRTnullable reference types主要作用是在编译期产生警告比如把string?赋给string会警告。但警告不是强制错误而且反射、动态代码和序列化库不一定遵守 NRT 注解。因此在做 Web API 返回值和 JSON 反序列化时不要依赖编译期可空标记来保证数据安全仍要验证 null。默认值也是变量声明的一个常见话题。基础类型默认是零值bool是false枚举默认是 0 对应的值。default运算符可以写出更通用的安全代码T dest default;在泛型方法中这是获取零值/空引用的唯一安全方式。对于可空值类型default(int?)就是HasValue false的状态这在填充Array.Emptyint?时很常见。4. C#数据类型转换的边界与异常控制从强制转型到TryParse4.1 隐式转换、显式转换与溢出检查的默认关闭C# 的隐式转换可以向更宽的范围自动发生int到long、float到double。显式转换允许反向但会截断或丢失精度。默认情况下溢出检查是关闭的int value (int)longValue;只保留低 32 位而且不会抛异常。这在解析协议数据、读取文件流时非常危险——一个长度字段或许是负数导致分配巨大的数组。如果需要在本项目里强制检查可以给一段代码包上checkedlong big 3_000_000_000; try { checked { int normal (int)big; // OverflowException } } catch (OverflowException ex) { Console.WriteLine($转换溢出: {ex.Message}); }checked只在代码块内生效unchecked可以显式关闭。项目全局可以在csproj的CheckForOverflowUnderflowtrue/CheckForOverflowUnderflow里开启但这会影响所有算术运算和强制转换的性能与行为一般只在金融计算或协议解包项目中开启。如果只关心数值范围推荐用int.TryParse或decimal中间变量做范围检查成本更低。更安全的大数转换路径是使用Convert.ToInt32它内部会做范围检查并抛OverflowException但代价是引入System.Convert类型的方法调用开销。在热路径中我的经验是先用is int模式匹配判断再直接强转这样既安全又避免异常开销。4.2 as、is和模式匹配的适用对象as只适用于引用类型不能写成5 as int。它的返回结果在类型不匹配时为null不会抛异常。因为null本身就是合法结果使用as后必须继续判空object obj GetSomeObject(); if (obj is string text) { Console.WriteLine(text.Length); } Listint asList obj as Listint; if (asList ! null) { // 使用 asList }is string text是 C# 7 引入的模式匹配它在确认类型的同时把变量解包赋值并且可以直接用于值类型。as不能配合可空值类型使用比如object o 1; Nullableint n o as Nullableint;编译不过。这时可以用if (o is Nullableint m)或者o is int parsed。模式匹配还有一个容易被忽视的优点它能避免高成本的is后接强转带来的双重类型检查。if (obj is string)后面的强转(string)obj仍然会做一次运行时类型检查性能不算最佳。而obj is string s将类型检查和赋值合并JIT 能编译得更紧凑。在批量处理消息类型时多个is分支明显比若干as加判空干净。4.3 Convert类 vs Parse族 vs TryParse四种解析姿势怎么选从字符串转换到数字是 C# 开发里最频繁的操作下面用表格对比常见方式场景推荐 API异常行为备注字符串一定合法int.Parse格式错/越界抛异常阅读性好异常路径不可控字符串可能不合法int.TryParse不抛异常返回 bool避免异常分配解析频繁时更优需要处理 null 和枚举/日期转换Convert.ToInt32null 返回 0越界抛异常内部默认使用当前区域信息自定义数值格式decimal.TryParse(value, NumberStyles.Integer, provider, out result)不抛异常支持千分位、百分比等在实际代码中我最常用的是TryParse加上NumberStylespublic bool TryParseInt(string input, out int result) { return int.TryParse( input, NumberStyles.Integer, CultureInfo.InvariantCulture, out result); }第一个参数是源字符串NumberStyles.Integer允许前后空格和正负号CultureInfo.InvariantCulture明确使用点号作为小数点避免不同区域设置导致1,234被解释为数组或数字。out result在失败时会被赋为 0所以调用方一定要以返回值作为判断依据不要依赖result的值。5. 用ref和in改写C#变量传递避开值类型复制的最后一步很多优化都集中在大数组遍历或协议处理上但ref和in对结构体变量的影响同样明显。假设你要从一个巨大数组里找到满足条件的元素并直接修改struct EventItem { public long Id; public bool Handled; } SpanEventItem items stackalloc EventItem[64]; for (int i 0; i items.Length; i) { ref EventItem current ref items[i]; if (current.Id targetId) { current.Handled true; } }关键在于ref EventItem current ref items[i];这一行。current是items[i]的别名所有赋值都直接作用到数组元素上没有发生任何结构体复制。如果换成var current items[i];循环体内对Handled的修改只会改变临时副本遍历结束后数组内容不变而且还会引入一次结构体复制开销。这个技巧在解析 Modbus 报文、维护定时器槽位时非常常用。in参数则适合只读引用传递。它允许传入结构体而不复制但调用方不需要加ref关键字bool IsActive(in EventItem value) { return value.Handled value.Id 0; }in是只读引用不能对参数赋值或修改字段。不过要注意如果字段本身是引用类型in仍能读取并调用其内部方法等于无法阻止被调方修改对象状态。编译器为了校验in的语义有时会生成隐藏的防御性副本比如把字段传给in参数时。所以如果性能敏感还是建议把in用在局部变量或数组元素上避免在类的普通属性上滥用。本文还有配套的精品资源点击获取 C#数据类型与变量深度解析：从内存模型到性能优化
简介这份C#实验文档面向刚接触.NET平台的初学者系统讲解C#数据类型与变量的核心概念。内容按整型、浮点型、字符型、布尔型以及字符串型分类并结合完整实验步骤演示如何在VS 2008环境中利用ComboBox控件查询‘byte’、‘sbyte’、‘short’、‘int’、‘float’等类型的内存字节数、最大值与最小值把抽象语法转化为可视化操作。C#作为强类型语言所有变量在声明时必须明确指定数据类型编译期即可检查类型错误文档对这一点也做了清晰说明。资源包为doc格式共1个文件大小仅1.21MB便于本地阅读或打印。已有347人学习下载适合高校学生或自学者在Visual Studio中对照实验完成练习。通过完整的窗体应用案例读者能够掌握变量声明、sizeof运算符以及类型极值属性的使用方法并深入理解强类型语言在内存占用与数值范围上的差异文档还提供了FormLoad初始化与SelectedIndexChanged事件处理的完整代码可作为课程设计或上机实践的参考模板为后续编写高效、安全的代码奠定基础。1. 为什么数据类型与变量是C#的性能分水岭很多 C# 教程把数据类型和变量放在最前面刷一遍语法就过去了但在真实项目里这两样东西恰恰是线上问题和代码评审争议的集中地。调用方把ListCustomer当参数传进业务层后方法内顺手Clear()了一下上游缓存被清空低代码平台里随手把int塞进ArrayList每秒几万次的调用因为装箱拆箱撑爆 CPU。这些问题的根源都是对 C# 数据类型与变量的默认行为没有建立准确模型值类型在赋值时复制内容引用类型在赋值时复制引用作用域和生命周期决定数据能否被安全共享。另一个常见误区是“基础没深度”。一个写了五年 C# 的开发可能知道struct在栈上、class在堆上但未必能说清readonly修饰引用类型时到底限制了什么。数据类型与变量不只是int、string的语法拼写它决定了内存分配位置、参数传递语义、相等性规则和类型转换边界。理解这些之后再去看 async/await 的上下文捕获、LINQ 闭包里的变量提升、或者 Span 的安全指针能力都会有豁然开朗的感觉。下面从内存布局、声明语义和类型转换三层把这两组概念拆开并在最后给出一个用ref/in改写结构体传参的实战技巧。整个过程不依赖反射和 unsafe全部在 C# 类型系统内完成适合直接抄进现有项目。2. C#数据类型与变量的内存模型值类型和引用类型的分工2.1 栈、堆与托管内存变量到底存了什么.NET 运行时里一个变量对应的存储区域并不像经典教科书画得那么简单但“栈和堆”的模型足够解释 90% 的行为。值类型的实例通常保存在线程栈或作为更大对象的一部分内嵌存储例如struct Point { public int X, Y; }Point p new Point();时p这个变量里装的就是 X 和 Y 本身。而引用类型class PointRef的实例总是分配在托管堆上变量本身只是一个 8 字节64 位进程的引用指针指向堆中的对象。当你写PointRef p2 new PointRef();时栈上的p2是一个地址真实数据在堆里。一个容易忽略的细节是值类型放在栈上的规则只对局部变量成立。如果值类型是某个引用类型的成员它会被内嵌在堆对象内部内存连续性更好但对分配生命周期没有直接好处。数组本质上也是引用类型但数组元素如果是结构体则元素在托管堆上连续排列这对SpanT和 SIMD 场景很重要。理解这个分层才不会把频繁分配结构体的局部变量当成和堆分配一样的性能杀手。下面这段代码对比了两种类型变量在赋值瞬间的表现struct Point { public int X, Y; } class PointClass { public int X, Y; } void Demo() { Point a new Point { X 1, Y 2 }; Point b a; b.X 10; Console.WriteLine(a.X); // 输出 1a.X 没有被修改 PointClass c new PointClass { X 1, Y 2 }; PointClass d c; d.X 10; Console.WriteLine(c.X); // 输出 10c.X 被修改 }struct Point的b a执行的是字段级复制b得到全新的 X、Y修改b.X不影响a。而PointClass的d c只是把对象引用拷贝了一份两个变量指向同一个堆对象所以d.X的修改直接影响c。这个差异也是很多数据同步 bug 的来源尤其是把对象塞进缓存后业务方直接改对象字段时。对比维度值类型struct/枚举/基础类型引用类型class/数组/string/委托变量存储内容数据本身堆对象的引用地址默认赋值行为逐字段复制引用复制默认值0、false 等对应零值null参数传递默认按值复制按引用复制引用还是按值传递内存位置栈上或内嵌在堆对象中托管堆典型使用场景短生命周期、数值计算业务实体、集合、共享状态参数说明表中“按引用复制”容易引起歧义实际意思是“引用的值被复制对象不复制”。如果不想让外部通过方法修改引用类型的成员需要在方法边界做好防御性拷贝。2.2 结构体变量的复制副作用深挖一次循环里的性能陷阱结构体变量的复制发生在赋值、参数传递、返回值和 LINQ 闭包捕获中。一个常见误区是只关注“值类型不产生 GC 压力”却忽略了复制成本。如果结构体携带一个较大的数组字段那么复制时的逐字段赋值只是复制数组引用数组内容并不会被拷贝所以这仍然有共享状态的风险。需要显式.MemberwiseClone()或使用record struct的with表达式创建拷贝。例如在高性能服务器中经常会写一个NetPacket结构体内部包含一个byte[] Payload。当NetPacket p2 p1;时内部数组字段的引用是共享的任何写操作都可能穿到原始包这时候必须约定“只读共享”或主动拷贝数组。另外foreach遍历结构体数组时如果循环变量是结构体而不是ref每次迭代也会复制整个元素。这也是为什么SpanT的for循环要比foreach更适合结构体热门路径。更隐蔽的是“修改返回结构体字段”的语法限制。C# 编译器不允许SomeStructList[0].X 1;对索引器返回的值类型直接修改因为索引器的返回值是临时复制。如果需要修改得用ref索引器或CollectionsMarshal.GetValueAtRef(ref list)。这些边界问题等到后面讲SpanT时会更突出最后一章会给出完整代码。2.3 string和数组引用类型里最像值类型的两个特例字符串是引用类型但它的运算符已经被重载成值比较。数组是引用类型但没有重载还是引用比较。把这两者放在一起容易引发一种经典误判object objA abc; object objB new string(new[] { a, b, c }); Console.WriteLine(objA objB); // 编译期类型是 object比较的是引用由于编译期类型是object不会调用string的运算符重载所以比较的是引用结果取决于字符串驻留机制。这就是为什么推荐在比较字符串时用string.Equals(a, b, StringComparison.Ordinal)而不是直接依赖运算符。在对数据类型做约束设计时建议把 string 当作“值语义的引用类型”来解释它没有可变修改接口且有驻留池优化但它的内存和生命周期仍然是堆管理。写代码时不要用object接收字符串后再比较避免踩中引用比较的坑。3. C#变量声明与类型推断var、常量与可空值选型3.1 var出现在哪里才安全局部变量推断的真实边界var在编译后就确定类型不等于dynamic。但很多新项目滥用var把一眼能看出来的int也写成var反而降低可读性。我的惯例是当变量名能清晰表达类型语义时或类型名特别长如Dictionarystring, ListFuncint, Task时使用var当类型依赖混合算术或泛型推断时显式写出类型会减少读者心智负担。var有一个官方限制只能用于局部变量不能用在字段或属性中。out var是常见伴侣用法例如dictionary.TryGetValue(key, out var value)这里的value类型由泛型参数决定。在异步方法中var task GetAsync();与Taskint task GetAsync();在装箱语义上没有区别但 IDE 的 Find All References 会显示为隐式类型。一个容易出错的地方是在没有显式类型的情况下var推断的是编译时最具体类型而不是基类。比如var result condition ? GetA() : GetB();如果GetA()返回MemoryStreamGetB()返回Stream编译器会尝试寻找公共基类可能会得到Stream但如果你写var result GetC() ?? GetD();推断规则会更复杂。遇到这种表达式时建议直接显式声明目标类型不要赌编译器的类型统一规则。3.2 const、readonly和static readonly变量赋值的三种时间线修饰符赋值时机主要限制修改后影响const编译期只能用于原始类型、string、null值会嵌入引用程序集需要全量重新编译readonly实例字段实例构造期间可在构造函数或字段初始化器赋值修改当前实例不影响其他实例static readonly类型初始化期间静态构造前允许非编译期计算进程生命周期内只初始化一次修改类型初始化器需重启应用const最典型的坑是“二进制版本滞后”。类库 A 中定义了public const int Version 1;应用 B 引用它编译后B 的 IL 里会直接写入 1。如果只更新 A 程序集而不重新编译 BB 中仍然是 1。线上排查时经常出现“代码更新了但值没变”的诡异现象。如果这个值在运行时可能有变化就应该用static readonly。readonly修饰引用类型字段时字段引用本身不能重新赋值但字段指向的对象内容仍然可以修改。例如private readonly Listint _pending new Listint(); void Add(int item) { _pending.Add(item); // 合法对象内容可变 }_pending的引用不能变但Add不受限制。很多开发者把它误认为“只读集合”实际上如果需要禁止修改集合应封装为ReadOnlyCollectionint或返回IReadOnlyListint。static readonly的一个重要细节是初始化时机.NET Core 中默认在首次访问该静态字段前运行类型初始化器如果构造函数里抛异常类型初始化会被标记为不可恢复之后所有访问都可能抛TypeInitializationException。生产环境里给static readonly字段配置外部配置源时要额外做降级处理。3.3 Nullable 、可空值类型与可空引用类型的差别NullableT本身是值类型它保存了HasValue和Value两个成员。声明int? a null;时变量a不是引用而是一个值为null的Nullableint结构体。这导致一个经常被忽略的行为int? a 5; if (a ! null)比较的不是指针而是编译器替你检查HasValue属性。在表达式树或反射代码里int?的Type是Nullableint而不是int所以做 ORM 映射时要特别注意字段的Nullable.GetUnderlyingType。可空引用类型是另一个维度。string?只是一个编译期特性运行时没有区分。C# 8 以后启用的 NRTnullable reference types主要作用是在编译期产生警告比如把string?赋给string会警告。但警告不是强制错误而且反射、动态代码和序列化库不一定遵守 NRT 注解。因此在做 Web API 返回值和 JSON 反序列化时不要依赖编译期可空标记来保证数据安全仍要验证 null。默认值也是变量声明的一个常见话题。基础类型默认是零值bool是false枚举默认是 0 对应的值。default运算符可以写出更通用的安全代码T dest default;在泛型方法中这是获取零值/空引用的唯一安全方式。对于可空值类型default(int?)就是HasValue false的状态这在填充Array.Emptyint?时很常见。4. C#数据类型转换的边界与异常控制从强制转型到TryParse4.1 隐式转换、显式转换与溢出检查的默认关闭C# 的隐式转换可以向更宽的范围自动发生int到long、float到double。显式转换允许反向但会截断或丢失精度。默认情况下溢出检查是关闭的int value (int)longValue;只保留低 32 位而且不会抛异常。这在解析协议数据、读取文件流时非常危险——一个长度字段或许是负数导致分配巨大的数组。如果需要在本项目里强制检查可以给一段代码包上checkedlong big 3_000_000_000; try { checked { int normal (int)big; // OverflowException } } catch (OverflowException ex) { Console.WriteLine($转换溢出: {ex.Message}); }checked只在代码块内生效unchecked可以显式关闭。项目全局可以在csproj的CheckForOverflowUnderflowtrue/CheckForOverflowUnderflow里开启但这会影响所有算术运算和强制转换的性能与行为一般只在金融计算或协议解包项目中开启。如果只关心数值范围推荐用int.TryParse或decimal中间变量做范围检查成本更低。更安全的大数转换路径是使用Convert.ToInt32它内部会做范围检查并抛OverflowException但代价是引入System.Convert类型的方法调用开销。在热路径中我的经验是先用is int模式匹配判断再直接强转这样既安全又避免异常开销。4.2 as、is和模式匹配的适用对象as只适用于引用类型不能写成5 as int。它的返回结果在类型不匹配时为null不会抛异常。因为null本身就是合法结果使用as后必须继续判空object obj GetSomeObject(); if (obj is string text) { Console.WriteLine(text.Length); } Listint asList obj as Listint; if (asList ! null) { // 使用 asList }is string text是 C# 7 引入的模式匹配它在确认类型的同时把变量解包赋值并且可以直接用于值类型。as不能配合可空值类型使用比如object o 1; Nullableint n o as Nullableint;编译不过。这时可以用if (o is Nullableint m)或者o is int parsed。模式匹配还有一个容易被忽视的优点它能避免高成本的is后接强转带来的双重类型检查。if (obj is string)后面的强转(string)obj仍然会做一次运行时类型检查性能不算最佳。而obj is string s将类型检查和赋值合并JIT 能编译得更紧凑。在批量处理消息类型时多个is分支明显比若干as加判空干净。4.3 Convert类 vs Parse族 vs TryParse四种解析姿势怎么选从字符串转换到数字是 C# 开发里最频繁的操作下面用表格对比常见方式场景推荐 API异常行为备注字符串一定合法int.Parse格式错/越界抛异常阅读性好异常路径不可控字符串可能不合法int.TryParse不抛异常返回 bool避免异常分配解析频繁时更优需要处理 null 和枚举/日期转换Convert.ToInt32null 返回 0越界抛异常内部默认使用当前区域信息自定义数值格式decimal.TryParse(value, NumberStyles.Integer, provider, out result)不抛异常支持千分位、百分比等在实际代码中我最常用的是TryParse加上NumberStylespublic bool TryParseInt(string input, out int result) { return int.TryParse( input, NumberStyles.Integer, CultureInfo.InvariantCulture, out result); }第一个参数是源字符串NumberStyles.Integer允许前后空格和正负号CultureInfo.InvariantCulture明确使用点号作为小数点避免不同区域设置导致1,234被解释为数组或数字。out result在失败时会被赋为 0所以调用方一定要以返回值作为判断依据不要依赖result的值。5. 用ref和in改写C#变量传递避开值类型复制的最后一步很多优化都集中在大数组遍历或协议处理上但ref和in对结构体变量的影响同样明显。假设你要从一个巨大数组里找到满足条件的元素并直接修改struct EventItem { public long Id; public bool Handled; } SpanEventItem items stackalloc EventItem[64]; for (int i 0; i items.Length; i) { ref EventItem current ref items[i]; if (current.Id targetId) { current.Handled true; } }关键在于ref EventItem current ref items[i];这一行。current是items[i]的别名所有赋值都直接作用到数组元素上没有发生任何结构体复制。如果换成var current items[i];循环体内对Handled的修改只会改变临时副本遍历结束后数组内容不变而且还会引入一次结构体复制开销。这个技巧在解析 Modbus 报文、维护定时器槽位时非常常用。in参数则适合只读引用传递。它允许传入结构体而不复制但调用方不需要加ref关键字bool IsActive(in EventItem value) { return value.Handled value.Id 0; }in是只读引用不能对参数赋值或修改字段。不过要注意如果字段本身是引用类型in仍能读取并调用其内部方法等于无法阻止被调方修改对象状态。编译器为了校验in的语义有时会生成隐藏的防御性副本比如把字段传给in参数时。所以如果性能敏感还是建议把in用在局部变量或数组元素上避免在类的普通属性上滥用。本文还有配套的精品资源点击获取