C#/.NET、Go 与 Rust按相同语义比较内存模型与数据结构系列C# 与常用数据结构源码剖析 · 演进与对比篇固定基线C# 12/.NET 8、Go 1.23、Rust 1.80 stable2024-07 发布边界语言规则、标准库 API、编译器/runtime 实现分层讨论版本变化须重新核验一、先统一问题而不是给语言排榜“向动态数组加入一百万项”仍不是可比较需求是否预设容量元素是值还是引用结果是否消费是否包含构建/释放是否允许 GC线程数和 allocator 都会改变答案。ConcurrentQueueT、Go channel 和 Rust 第三方 channel 语义也不等价不能放进一行选“赢家”。跨语言比较至少固定相同业务语义、输入数据和正确性校验冷启动还是稳态、单线程还是并发、延迟还是吞吐容器容量、键分布、命中率、更新/删除比例和遍历顺序编译优化、目标架构、GC/allocator 与运行参数是否计入数据转换、FFI、销毁和峰值内存原始基准源码、工具版本、完整结果与统计方法。本文不写脱离报告的固定毫秒、暂停或内存数字。三种语言都能写出高效或低效程序选择取决于团队、生态、延迟预算、互操作、部署和安全边界。二、三层“内存模型”不能混为一谈“内存模型”至少有三种含义对象/值如何布局和分配栈、托管堆、原生堆、内联字段生命周期如何管理追踪 GC、所有权/Drop、手动资源协议并发内存模型线程间读取/写入在原子、锁和 happens-before 下如何可见。C#/.NET 使用追踪式 GC 管理托管对象值类型可内联在局部、对象或数组中Dispose 管理文件句柄等非托管资源不由 GC 自动及时释放。Go 也有追踪 GC编译器逃逸分析决定许多值位于 goroutine 栈还是堆语言级new/make不等于“必定某一种物理分配”。Rust 以所有权、借用和 Drop 管理普通资源标准 Rust 没有追踪 GC但Rc/Arc是引用计数循环仍需 Weak 或显式设计。“C# class 都在堆、struct 都在栈”“Go 取地址就逃逸”“Rust 数据都在栈”都是错误口号。物理位置由使用方式和编译器决定Vec 的控制块可在局部元素缓冲仍在 allocator 管理的堆上C# struct 作为 class 字段会内联在托管对象内。下图是后续跨语言对比的坐标系每列是一种生态每行回答一个不同问题。横向只能比较同一行的等价任务不能从“使用 GC”或“使用所有权”直接推导运行速度。例如SpanT、Go slice 与 Rust slice 都能表示一段连续数据但它们的所有权、逃逸、空值、可变性和跨异步边界并不相同。先确定图中要比较的行再进入具体 API 和基准才能避免用一个标签代替完整成本模型。三、对象、值与布局保证3.1 C#/.NET 8class 变量通常持有托管引用对象布局包含 runtime 管理信息GC 可移动对象。struct 具有值复制语义并可内联但默认布局不等于稳定 C ABI互操作需[StructLayout]、字段类型与打包约定。数组连续保存同类型元素引用类型数组保存引用值类型数组内联值。nullable、装箱和接口会改变形态。值类型转 object/非受约束接口可能装箱泛型ListMyStruct通常内联元素而不逐项装箱。大型 struct 的复制成本和包含引用字段的 GC 扫描都需测量。3.2 Go 1.23Go struct 是值赋值复制。指针*T提供可修改别名但没有 Rust 编译期独占借用。编译器逃逸分析结合内联等优化决定存储位置可用go build -gcflags-m观察诊断但诊断文本是工具实现不是业务契约。Go 类型的内存布局包含对齐和 padding跨版本/架构互操作不能直接把任意 Go struct 当 C struct。string 是只读字节串描述符语义slice 是指向底层数组的描述符map/channel 是 runtime 管理类型。复制描述符不复制底层数据。3.3 Rust 1.80赋值默认执行 move实现 Copy 的类型按位值复制并让原变量仍可用。借用T/mut T不转移所有权编译器检查生命周期和别名。Drop 在所有权离开作用域时运行但mem::forget、进程终止、引用循环或泄漏会改变“必定释放”的口语结论。普通 Rustrepr(Rust)布局可由编译器优化不能当稳定 FFI。跨语言 struct 使用#[repr(C)]仍需核对字段类型、对齐、枚举表示和 panic 边界。四、数组、切片与动态数组同名视图不同所有权需求C#/.NET 8Go 1.23Rust 1.80固定长度拥有存储T[][N]T[T; N]临时连续视图SpanT/ReadOnlySpanT[]Tslice 描述符mut [T]/[T]动态数组ListTslice appendVecT4.1 C# Span 是受限视图Span 是 ref struct可指向数组、stackalloc 或其他连续内存不能普通装箱或跨 C# 12 await/yield 挂起。它不是“只在栈上保存的数据”span 描述符受限所指数据可能在托管堆、栈或原生内存。ReadOnlySpan 只限制通过该视图写其他别名仍可能修改底层数据。4.2 Go slice 共享底层数组slice 可抽象为指针、len、cap 描述符。切片复制共享底层数组子 slice 可能让大数组长期可达append 在容量足够时原地写共享数组容量不足时分配新数组并返回新 slice。必须接收 append 返回值func add(xs []int, value int) []int { return append(xs, value) }Go 没有类型级只读 sliceAPI 约定“不修改”无法被类型系统完全强制。并发读写共享底层数组还会 data race。4.3 Rust slice 借用Vec 拥有VecT拥有缓冲[T]共享只读借用mut [T]是独占可写借用。借用存在时通常不能让 Vec 扩容并使引用失效编译器在安全代码中阻止这类用法。Vec move 通常移动控制块所有权不逐项复制缓冲clone 才按 T: Clone 复制元素。fn sum(values: [i32]) - i32 { values.iter().copied().sum() }三者子切片通常 O(1)但生命周期/可变性保证不同。C# Span 由 ref safety 限制Go 靠 GC 保证底层数组存活却允许共享写Rust 借用检查同时约束存活和别名。五、List、slice 与 Vec 的增长成本ListT.Add、Goappend、RustVec::push在容量足够时常见为摊销 O(1)扩容当次需分配并复制/移动元素。具体增长倍数和最大容量是版本实现细节不应依赖。预设容量分别可通过 List 构造/容量 API、Gomake([]T, 0, n)、RustVec::with_capacity(n)表达。它们减少扩容不改变 len/Count也可能因高估增加驻留内存。Go 一个常见语义差异是 len 与 capmake([]T, n)已创建 n 个零值元素随后 append 会把新项放在其后想只预分配应使用长度 0、容量 n。Rustwith_capacity的 len 仍为 0C# List(capacity) Count 仍为 0。删除中部项都可能移动后缀若不要求顺序可用 swap-remove 思路。Rust Vec 提供相关 APIC#/Go 可手写但会改变顺序契约。引用清理也不同.NET/Go 容器移除后需避免槽位继续让 GC 对象可达Rust drop 被移除元素并管理移动后的初始化状态。六、哈希映射三者都不承诺你想象的顺序C#DictionaryK,V、Gomap[K]V、Ruststd::collections::HashMapK,V都提供平均常数级查找的哈希映射语义最坏情况、内存布局和防御策略随实现与输入变化。不要依赖枚举顺序需要稳定输出应显式排序或选有序结构。键契约C# comparer 的 Equals/GetHashCode 必须一致且键入表后不可改变相等状态Go key 类型必须 comparableinterface key 的动态值也必须可比较否则操作可能 panicRust key 需满足 Eq Hash二者语义必须一致使用 interior mutability 改变键的哈希/相等同样是逻辑错误。Go map 索引返回值通常不可取可稳定地址map 扩容/搬迁由 runtime 管理并发写或读写不安全。Rust HashMap 的get_mut借用受所有权检查扩容时也不能保留指向条目的借用。C#CollectionsMarshal等低层 ref API 可绕过常规安全外壳字典结构变化后 ref 可能失效仅在固定 .NET API 与严格生命周期下使用。Go 标准库没有直接等价于 SortedDictionary 的通用有序 mapRust 有 BTreeMap.NET 有 SortedDictionary/SortedList。跨语言算法若要求范围查询和稳定 key 顺序应把该语义纳入数据结构而不是用哈希 map 偶然枚举顺序比较。七、泛型reified、dictionary passing 与 monomorphization 边界7.1 .NET.NET 泛型在运行时保留类型信息。JIT 通常为值类型实例生成特化机器码多个引用类型实例可能共享代码并通过运行时上下文解析类型操作Native AOT 又会有不同策略。不能简化成“所有 T 都单态化”或“全部擦除”。typeof(T)、反射和泛型约束是运行时模型的一部分。7.2 Go 1.23Go 泛型通过 type parameter 和 constraints 表达。编译器实现可使用形状GC shape共享代码并传字典也可做优化语言规范不承诺每个类型实例都生成完全独立机器码。any/interface 值仍携带动态类型信息接口转换可能有装箱式存储与分派成本但“泛型等于接口装箱”同样错误。7.3 RustRust 泛型通常在编译期 monomorphize为具体类型生成代码利于内联并可能增加二进制尺寸。trait objectdyn Trait则使用动态分派和胖指针与impl Trait/泛型静态分派不同。关联类型、生命周期通常不产生运行时对象。性能比较要让抽象相同C# interface、Go interface、Rust dyn trait 是动态分派族C# constrained generic、Go type parameter、Rust generic 是静态/可优化族但编译器策略仍不同。不能用 Rust 泛型对比 C# object API 后归因于语言。八、GC 与所有权延迟、吞吐和确定释放的权衡.NET 8 分代 GC 可移动托管对象提供 Workstation/Server、后台 GC 等模式暂停由分配率、存活图、堆规模、配置和机器决定。Go 1.23 使用并发追踪 GC并通过写屏障和短暂停顿协调频繁分配、指针密度和 GOGC/memory limit 会影响 CPU/内存/延迟。两者都不能写固定“暂停上限”。Rust 普通对象在所有权终止时运行 Drop没有 tracing GC 的全堆暂停但释放大型对象图也会在某个线程花时间allocator 锁、引用计数原子操作、析构链和碎片仍影响延迟。Arc 循环会泄漏Drop 中阻塞也会产生尖峰。“无 GC”不等于“无内存管理成本或完全可预测”。非内存资源方面C# 用 using/await using 调 DisposeGo 用 defer CloseRust 用 RAII/Drop。Go defer 到函数返回才执行长函数循环内 defer 可能延长资源持有C# finalizer 和 Go finalizer 都不应替代及时 Close/DisposeRust Drop 也不保证进程异常终止时完成外部事务。九、并发内存模型与 data race三种语言都要求用同步建立线程/goroutine间可见性。普通容器不是因为 GC/借用就自动并发安全。9.1 C#/.NETlock/Monitor、Interlocked、Volatile、Task/Channel 和 concurrent collections提供不同保证。Dictionary 并发写不安全volatile 不能让复合操作原子。C# 规范与 CLI/.NET 内存模型细节需结合目标 runtime 文档避免自行实现双重检查等低层协议。9.2 GoGo 内存模型以 happens-before 描述 goroutine 可见性channel send/receive、Mutex、Once 和 atomic 包建立同步。存在 data race 的程序不具备可靠业务语义即使偶尔运行。用go test -race检测执行覆盖到的竞态但无报告不等于无竞态。普通 map 并发读在没有写时可行任何并发写需外部同步或合适结构。channel 是通信/同步抽象不是 ConcurrentQueue 的等价替代它可有容量、阻塞、关闭和 select 语义。9.3 RustSend/Sync 与借用规则阻止许多跨线程不安全共享共享可变状态通常经 Mutex/RwLock/atomics/channel。类型系统不能消除死锁、逻辑竞态、错误原子内存序或 unsafe 中的数据竞态。Arc 只提供线程安全引用计数不使内部 T 自动可变或无锁。比较并发队列时必须统一阻塞/非阻塞、容量、背压、顺序、关闭和多生产/消费语义。否则结果在测不同系统。十、移动、固定与 FFI.NET GC 可移动托管对象。向原生函数传指针时在调用所需期间 pin/fixed或复制到原生内存长期 pin 可能影响堆管理。P/Invoke marshalling 可能转换字符串/数组并分配需纳入基准。Native AOT/Unity IL2CPP 的互操作实现又不同。Go GC 对指向 Go 内存的 C 指针有严格 cgo rulesC 不得长期保存包含 Go 指针的内存调用边界、回调和 pinning API 需按 Go 1.23 文档核验。cgo 还会增加调度/转换边界不能忽略。Rust 值也可在内存中 move因此“无 GC 就地址永远稳定”是错的。需要自引用/稳定地址用 Pin 及满足其不变量的类型FFI 使用 repr(C)、原始指针和明确所有权函数。不要让 panic unwinding 穿越不支持的 C ABI 边界也不要在两侧用不同 allocator 释放同一内存。共同清单ABI、调用约定、对齐、字符串编码、数组长度、谁分配谁释放、错误返回、线程回调、对象寿命、异常/panic 边界。跨 FFI 的数据结构通常用扁平缓冲/handle 比直接暴露私有容器布局可靠。十一、边界检查、错误和失败语义C# 数组/List/Span 越界抛异常Go 越界 panicRust 安全索引slice[i]越界 panicget(i)返回 Option。优化编译器可在证明安全时消除检查不能从源码循环形态保证。Rust unsafeget_unchecked、C# unsafe 指针会把证明责任交给调用者Go 也有 unsafe 包。只有 profile 证明边界检查是热点且有完整测试时才考虑低层路径。Map 缺失语义不同C# Dictionary 索引器抛异常、TryGetValue 返回 boolGov, ok : m[k]区分缺失与零值单值读取只给零值Rustget返回 Option索引可能 panic。迁移时不能把这些 API 机械翻译否则会把“缺失”误作零值或改变异常策略。内存不足、整数溢出、取消与 panic/exception 也应统一。C# checked 上下文、Go 整数按类型规则、Rust debug/release 溢出行为和 checked_* API 不同基准若因溢出计算了不同结果就不再同语义。十二、Unity 边界Unity 游戏脚本主要是 C#但运行时可能是 Unity Mono 或 IL2CPP不等于桌面 .NET 8。可用 API、GC、JIT/AOT、Span、线程和 P/Invoke 行为需按 Unity 版本、API Compatibility Level、目标平台核验。本文 .NET 8 Dictionary/JIT 结论不能直接套到 IL2CPP。Go 或 Rust 可作为原生插件/服务。插件边界应暴露 C ABIC# P/Invoke 调用 Go c-shared/Rust cdylib 时避免跨边界共享语言私有容器、GC 引用或 Rust借用。Unity 主线程 API 仍只能在允许线程调用原生线程回调必须 marshal 到主线程并管理域/对象销毁。Rust 在 Unity Native Plugin 中适合性能内核和安全封装但 unsafe FFI 层仍需审计。Go runtime 会带自己的调度器和 GC嵌入移动端/主机受平台工具链、线程、二进制大小和商店限制影响。选择前做目标设备构建和 profiler不只跑桌面命令行基准。若目标是 Unity Jobs/Burst/NativeArray应把它视为第四套受限数据/安全模型与普通托管 C# List 不同不能用 Go slice/Rust slice 表格直接推导。十三、可复现实验同语义动态数组构建实验定义生成 0..N-1保留偶数乘二返回 64 位校验和预设相同有效容量单线程不含输出 I/O。分别同时测“只构建”和“构建遍历销毁/GC观察”避免生命周期边界不一致。C#static long Build(int n) { var values new Listint((n 1) / 2); for (int i 0; i n; i) if ((i 1) 0) values.Add(i * 2); long sum 0; foreach (int value in values) sum value; return sum; }Gofunc build(n int) int64 { values : make([]int, 0, (n1)/2) for i : 0; i n; i { if i1 0 { values append(values, i*2) } } var sum int64 for _, value : range values { sum int64(value) } return sum }Rustfn build(n: i32) - i64 { let mut values Vec::with_capacity(((n as usize) 1) / 2); for i in 0..n { if i 1 0 { values.push(i * 2); } } values.iter().map(|x| i64::from(x)).sum() }这只是最小机制实验不代表真实服务/游戏。C# 用 BenchmarkDotNetGo 用testing.B并ReportAllocsRust 用 Criterion 或固定 harness都要防止死代码消除、固定 CPU、暖机/多次进程、保存原始分布。记录.NET --info、Go 1.23 patch、rustc 1.80.x、编译 flags、OS/CPU、allocator、GC 设置、N 与校验和。内存比较要定义 allocated bytes、峰值 RSS 还是 live heapGC语言的释放时机与 Rust Drop 不同不能在单次函数末尾直接读 RSS 排名。并发实验另建统一 channel/queue 的容量、阻塞和关闭语义不与本实验混合。十四、迁移清单语义值复制、引用共享、move/borrow 是否逐类型明确nil/null/Option 和零值差异已处理map 缺失、重复键和枚举顺序保持业务语义slice/Span 借用期间谁可写append/扩容后旧视图是否有效错误、panic/exception、取消和部分提交策略一致。生命周期与资源GC、Drop、Close/Dispose/defer 的作用域明确对象池/缓存有容量和清理规则Rust Arc/Rc 循环、C#/Go事件/闭包引用已审查大对象和峰值版本共存已在目标 runtime 测量。并发所有共享写都有 happens-beforeC#并发压力、Go race detector、Rust Send/Sync/unsafe审计均按需执行queue/channel 的阻塞、容量、公平、关闭和背压语义未被偷换锁和原子内存序有测试逻辑竞态没有被类型安全掩盖。FFI与部署使用稳定 C ABI 和显式 repr/StructLayout编码、对齐、长度、allocator、释放方和回调线程成文GC pin/cgo pointer/Pin 生命周期符合各自规则exception/panic 不越过不支持的边界Unity IL2CPP/目标设备、服务容器和交叉编译全部验证。性能证据三端输入、结果、容量和优化级别一致正确性校验和通过报告延迟分布、吞吐、分配和峰值内存的明确定义微基准结论已由端到端目标负载复测没有使用无原始报告的语言排行榜数字。十五、结论C#/.NET 8 与 Go 1.23 依赖追踪 GC却在值类型、逃逸、泛型实现和并发抽象上不同Rust 1.80 以所有权/借用/Drop把许多生命周期证明前移到编译期也仍承担 allocator、引用计数、析构和 unsafe 边界成本。Span、Go slice 与 Rust slice 都是视图但可变别名和生命周期保证完全不同。数据结构选择应按语义比较动态数组是否允许移动map 是否需要有序并发通道是否阻塞缺失值如何表达资源何时释放。泛型也要让静态分派对静态分派、动态接口对动态 trait/interface而不是故意选择不对等抽象。没有语言能自动消除数据竞争、逻辑错误、FFI所有权或错误基准。固定版本、同义实现、正确性校验、完整工具输出和目标环境回放才能把对比从偏好争论变成工程决策。下一篇Unity 与 Unreal 的数据结构和运行时边界
