1. 项目概述为什么是Arch ECS如果你刚开始接触Unity游戏开发或者已经对传统的面向对象O-O模式感到束手束脚那么“ECS”这个词你一定不陌生。但面对Unity官方的ECS框架很多新手可能会被其庞杂的API、不断演进的版本以及“面向数据”这个抽象概念劝退。今天我想聊的是一个在社区中备受推崇的替代方案Arch。它不是一个游戏引擎而是一个纯粹、轻量、高性能的C# ECS框架。你可以把它想象成乐高积木的基础板不附带任何游戏引擎的“偏见”让你能更清晰地理解ECS的核心思想并构建出真正高效的游戏实体系统。为什么我要推荐新手从Arch开始原因很简单专注与清晰。Unity的ECS现在叫Entities与引擎深度绑定学习曲线陡峭你常常需要同时理解引擎的Job System、Burst Compiler以及ECS本身。而Arch剥离了这些只专注于实现ECS模式本身。它代码简洁API直观你写的每一个System、每一个Component其数据流向和执行逻辑都一目了然。这对于理解“数据驱动”和“组合优于继承”这两个ECS核心理念有着不可替代的作用。当你用Arch搭建起一个简单的游戏原型比如一个拥有成百上千个移动、碰撞、渲染实体的模拟场景后你就能切身感受到那种性能的线性增长和逻辑的清晰解耦所带来的愉悦感。这远比一开始就陷入复杂的引擎集成中要高效得多。2. 核心概念拆解Entity, Component, System到底是什么在深入代码之前我们必须把ECS的三个核心基石彻底掰开揉碎。很多教程一带而过导致后续的实践云里雾里。我会用最生活化的类比并结合Arch的具体实现来讲解。2.1 Entity它只是一个ID别想复杂了这是最容易误解的一点。在Arch中一个Entity本质上就是一个int类型的唯一标识符。它不是一个类不包含任何数据没有任何方法。你可以把它想象成酒店房间的房号。房号“301”本身没有任何意义它不包含床、电视或浴室。它的全部意义在于酒店管理系统可以通过这个房号查询到与之关联的所有信息客人信息组件A、房间状态组件B、消费记录组件C。在Arch里你通过World.Create()创建一个实体得到的就是一个Entity结构体里面主要就是个ID。所有游戏逻辑都不应该直接操作Entity而是通过这个ID去查询和操作它身上挂载的组件。2.2 Component纯粹的数据容器组件是数据的载体而且必须是纯数据。在Arch中一个组件就是一个普通的C#struct结构体。为什么是struct而不是class这是性能的关键。struct是值类型在内存中是连续存储的这对于CPU缓存友好能极大提升批量处理数据时的速度。例如我们要让实体移动就需要Position和Velocity组件public struct Position : IComponent { public float X; public float Y; } public struct Velocity : IComponent { public float X; public float Y; }注意它们只包含数据坐标、速度没有任何方法如Move()、Update()。IComponent是一个空接口用于标记这是一个组件类型。所有逻辑都被剥离到System中。2.3 System逻辑的处理器系统是行为的执行者。它不“拥有”任何实体只负责处理符合特定组件组合的实体集合。在Arch中系统通常是一个类并在其Update方法中通过Query来获取和操作实体。继续上面的例子一个移动系统MovementSystem会查找所有同时拥有Position和Velocity组件的实体然后更新它们的Positionpublic class MovementSystem : BaseSystemGameTime { // Query是一个描述符用于描述需要哪些组件 private QueryDescription _query new QueryDescription().WithAllPosition, Velocity(); public override void Update(in GameTime time) { // 1. 获取所有匹配的实体 var entities World.Query(in _query); // 2. 获取这些实体对应组件的“数组视图”以便高效访问 var positions entities.GetSpanPosition(); var velocities entities.GetSpanVelocity(); // 3. 进行数据并行处理这是ECS性能优势的核心体现 float deltaTime time.DeltaTime; for (int i 0; i entities.Length; i) { positions[i].X velocities[i].X * deltaTime; positions[i].Y velocities[i].Y * deltaTime; } } }这里的关键是GetSpanT()它返回的是一个组件数据的连续内存片段Span我们可以用简单的for循环高效地遍历和修改。这种模式完美契合现代CPU的缓存机制当实体数量巨大时性能优势是指数级增长的。注意很多新手会习惯性地在System里保存实体引用或状态这是大忌。System应该是无状态的每次Update都基于当前的世界状态重新查询和处理。这保证了逻辑的纯粹性和可预测性。3. 环境搭建与第一个Arch项目理论讲得再多不如动手跑一遍。我们从头开始创建一个控制台应用来演示Arch的核心工作流这能帮你避开Unity编辑器环境的干扰直击本质。3.1 创建项目与安装Arch新建项目打开你的IDE如Rider或VS创建一个新的.NET Core或.NET 6/8控制台应用程序命名为ArchDemo。安装NuGet包在项目上右键选择“管理NuGet程序包”。搜索Arch你会找到核心包Arch。点击安装。这是唯一必须的包它包含了框架的所有核心功能。3.2 定义你的第一个世界、实体与组件在Program.cs中我们开始编码。首先引入命名空间using Arch.Core; using Arch.Core.Extensions;接着我们定义组件。假设我们在做一个简单的太空射击游戏有飞船和子弹// 位置组件 public struct Transform : IComponent { public float X, Y; } // 速度组件 public struct Velocity : IComponent { public float Dx, Dy; } // 渲染组件这里用字符代表 public struct Renderable : IComponent { public char Symbol; } // 标签组件用于标记子弹 public struct Bullet : IComponent { }然后在Main方法中创建世界的实例。World是Arch的核心容器所有实体、组件和查询都在其中进行// 创建一个世界 var world World.Create(); // 创建一艘飞船实体并为其添加组件 Entity spaceship world.Create( new Transform { X 10, Y 20 }, new Velocity { Dx 0, Dy 0 }, new Renderable { Symbol A } ); Console.WriteLine($创建飞船实体ID: {spaceship.Id}); // 创建一颗子弹实体 Entity bullet world.Create( new Transform { X 10, Y 21 }, new Velocity { Dx 0, Dy -5 }, // 向上发射 new Renderable { Symbol | }, new Bullet() // 添加标签组件 ); Console.WriteLine($创建子弹实体ID: {bullet.Id});world.Create方法可以接受多个组件实例一次性附加到新创建的实体上非常方便。3.3 实现并运行你的第一个系统系统需要定期执行。我们在一个简单的游戏循环中调用它。首先定义系统public class MovementSystem { // 查询描述移动系统需要处理所有具有Transform和Velocity的实体 private static readonly QueryDescription _query new QueryDescription() .WithAllTransform, Velocity(); public void Update(World world, float deltaTime) { // 执行查询获取实体列表 var query world.Query(in _query); // 获取组件数组的Span进行批量操作 var transforms query.GetSpanTransform(); var velocities query.GetSpanVelocity(); // 遍历并更新位置 for (int i 0; i query.Length; i) { transforms[i].X velocities[i].Dx * deltaTime; transforms[i].Y velocities[i].Dy * deltaTime; } } } // 再定义一个渲染系统用于在控制台输出 public class RenderSystem { private static readonly QueryDescription _query new QueryDescription() .WithAllTransform, Renderable(); public void Update(World world) { Console.Clear(); // 清屏 Console.SetCursorPosition(0, 0); Console.WriteLine( 游戏画面 ); var query world.Query(in _query); var transforms query.GetSpanTransform(); var renderables query.GetSpanRenderable(); // 简单地将实体画在控制台网格上这里只是演示 for (int i 0; i query.Length; i) { Console.SetCursorPosition((int)transforms[i].X, (int)transforms[i].Y 2); // 2 避开标题行 Console.Write(renderables[i].Symbol); } } }最后在Main方法中实现游戏循环var movementSystem new MovementSystem(); var renderSystem new RenderSystem(); float deltaTime 0.1f; // 模拟每帧0.1秒 int totalFrames 50; for (int frame 0; frame totalFrames; frame) { Console.WriteLine($\n--- 帧 {frame 1} ---); // 1. 逻辑更新 movementSystem.Update(world, deltaTime); // 2. 渲染 renderSystem.Update(world); // 3. 简单碰撞检测演示查询的另一种用法删除飞出屏幕的子弹 var bulletQuery new QueryDescription().WithAllBullet, Transform(); world.Query(in bulletQuery, (ref Transform transform) { if (transform.Y 0) { // 在实际项目中这里应该标记实体为待删除而不是在迭代中直接操作 Console.WriteLine(子弹飞出屏幕应被销毁。); } }); Thread.Sleep(200); // 为了看清效果每帧暂停一下 } World.Destroy(world);运行这个程序你会看到字符‘A’飞船静止字符‘|’子弹不断向上移动。虽然画面简陋但你已经实现了一个完整的、数据驱动的ECS架构核心循环查询 - 处理数据 - 渲染。实操心得在这个简单的例子中我们直接在for循环中遍历Span。这是Arch性能的基石。但对于更复杂的逻辑Arch提供了更强大的Query重载和EntityBuilder等工具我们后面会谈到。一开始务必理解这种直接操作连续内存的模式这是与传统OOP模式最根本的区别。4. 深入Arch核心查询、批量操作与内存布局当你掌握了基础创建和更新流程后要构建高效系统就必须深入Arch提供的核心工具。这一部分是提升性能和理解深度的关键。4.1 高级查询精准定位实体集合基础的WithAll只是开始。Arch的QueryDescription提供了强大的组合查询能力让你能精确筛选出需要的实体。WithAny实体拥有任意一个所列组件即匹配。例如WithAnyHealth, Mana会匹配所有有Health组件或有Mana组件的实体。WithNone实体不能拥有所列组件。例如在移动系统中我们可能想排除被冻结的实体WithAllTransform, Velocity().WithNoneFrozen()。WithExclusive实体必须拥有且仅拥有所列举的组件用于特殊场景慎用。// 示例查找所有还活着有Health且不是玩家控制无PlayerTag的敌人有EnemyTag var enemyQuery new QueryDescription() .WithAllHealth, EnemyTag() .WithNonePlayerTag(); // 查找所有有渲染组件但处于隐身状态无Visible组件的实体 var invisibleQuery new QueryDescription() .WithAllRenderable() .WithNoneVisible();4.2 批量操作与命令缓冲器CommandBuffer在游戏开发中经常需要在系统执行过程中创建或销毁实体。但直接在系统Update循环中调用world.Create()或world.Destroy()是危险的尤其是在并行处理时可能会破坏数据一致性。Arch提供了CommandBuffer来解决这个问题。CommandBuffer允许你将创建、销毁、添加或删除组件的命令记录下来在系统更新结束后统一执行。这保证了当前帧查询结果的稳定性。public class SpawnerSystem : BaseSystemGameTime { private QueryDescription _query new QueryDescription().WithAllSpawner(); private CommandBuffer _commandBuffer; public override void Update(in GameTime time) { _commandBuffer new CommandBuffer(World); // 每帧创建新的命令缓冲器 var entities World.Query(in _query); var spawners entities.GetSpanSpawner(); for (int i 0; i entities.Length; i) { spawners[i].Timer - time.DeltaTime; if (spawners[i].Timer 0) { // 不直接World.Create而是记录到命令缓冲器 _commandBuffer.Create( new Transform { X spawners[i].X, Y spawners[i].Y }, new Velocity { Dx 0, Dy -2 }, new Renderable { Symbol * }, new Bullet() ); spawners[i].Timer spawners[i].Interval; // 重置计时器 } } _commandBuffer.Playback(); // 在此帧所有逻辑执行完后统一执行创建命令 _commandBuffer.Dispose(); } }对于销毁操作也同样如此。CommandBuffer是构建复杂、安全ECS应用的必备工具。4.3 理解Arch的内存布局与性能奥秘为什么ECS快核心在于数据局部性。传统OOP中一个Enemy对象在堆内存中可能分散存储其Transform、AI、Health数据被其他对象的数据隔开。CPU加载一个对象时无法有效利用缓存。而在Arch的ECS中所有同类型的组件被连续存储在同一个数组中。这就是所谓的“结构数组”Array of Structures, AoS vs ECS的“数组结构”Structure of Arrays, SoA思想。在Arch内部每个World里每个组件类型都对应一个紧密排列的数组。当你执行query.GetSpanTransform()时你拿到的是所有匹配实体的Transform组件数据在内存中的一段连续切片。CPU可以预加载一大块连续数据到高速缓存中后续的遍历计算几乎都在缓存中完成速度极快。这就是为什么在MovementSystem里那个简单的for循环能如此高效地处理成千上万个实体。注意事项为了保持这种内存布局组件必须是struct值类型。如果你错误地使用了class数据将分散在堆上ECS的性能优势将荡然无存。同时避免在组件中包含引用类型如string、List这也会破坏数据的连续性。如果必须存储动态数据考虑使用NativeArray或Span等。5. 构建复杂游戏系统实战案例设计现在我们把前面学到的所有知识串联起来设计一个稍微复杂点的场景一个简单的“太空防御”游戏。玩家飞船可以发射子弹敌人从屏幕上方生成并向下移动子弹击中敌人后双方消失。5.1 组件设计扩展我们需要更多的组件来丰富游戏逻辑// 原有组件 public struct Transform { public float X, Y; } public struct Velocity { public float Dx, Dy; } public struct Renderable { public char Symbol; public ConsoleColor Color; } // 新增组件 public struct Health : IComponent { public int Value; } // 生命值 public struct Damage : IComponent { public int Value; } // 伤害值 public struct Collider : IComponent { public float Radius; } // 圆形碰撞体 // 标签组件用于标识实体类型 public struct PlayerTag : IComponent { } public struct EnemyTag : IComponent { } public struct BulletTag : IComponent { } public struct ToBeDestroyed : IComponent { } // 标记待销毁5.2 系统设计与协作我们将游戏逻辑分解为多个独立的系统每个系统职责单一SpawnSystem生成系统定时在屏幕顶部随机位置生成敌人实体。使用CommandBuffer进行创建。PlayerInputSystem玩家输入系统监听键盘输入更新玩家实体的Velocity并在按下空格键时在玩家位置创建子弹实体使用CommandBuffer。MovementSystem移动系统更新所有具有Transform和Velocity的实体的位置。同时进行简单的边界检查标记飞出屏幕的子弹或敌人为ToBeDestroyed。CollisionSystem碰撞系统这是重点。我们需要检测所有带有Collider的实体之间的碰撞。一个经典的优化是使用空间划分如网格但为简化我们先实现一个朴素的O(n²)检测仅用于演示查询和组件操作。查询所有有Collider和Transform的实体。双重循环检测两两之间的距离。如果发生碰撞且一个是子弹一个是敌人则给双方都附加Damage组件或直接减少Health并标记为ToBeDestroyed。DamageSystem伤害系统处理所有带有Health和Damage的实体。将Damage值从Health中减去如果Health 0则标记实体为ToBeDestroyed。最后移除Damage组件避免持续伤害。DestroySystem销毁系统在所有逻辑系统执行完毕后统一处理所有标记了ToBeDestroyed的实体使用CommandBuffer安全地销毁它们。RenderSystem渲染系统最后根据Transform和Renderable组件在控制台绘制所有实体。5.3 碰撞系统实现详解让我们深入实现最复杂的CollisionSystem看看如何利用Arch的API高效地操作数据public class CollisionSystem : BaseSystemGameTime { private QueryDescription _collidableQuery new QueryDescription() .WithAllTransform, Collider() .WithNoneToBeDestroyed(); // 忽略已标记销毁的实体 public override void Update(in GameTime time) { var entities World.Query(in _collidableQuery); if (entities.Length 2) return; var transforms entities.GetSpanTransform(); var colliders entities.GetSpanCollider(); var entityIds entities.GetEntityIds(); // 获取实体ID数组 // 朴素的双重循环碰撞检测 for (int i 0; i entities.Length; i) { ref var transformA ref transforms[i]; ref var colliderA ref colliders[i]; Entity entityA entityIds[i]; for (int j i 1; j entities.Length; j) // j从i1开始避免重复检测 { ref var transformB ref transforms[j]; ref var colliderB ref colliders[j]; Entity entityB entityIds[j]; float dx transformA.X - transformB.X; float dy transformA.Y - transformB.Y; float distanceSquared dx * dx dy * dy; float radiusSum colliderA.Radius colliderB.Radius; if (distanceSquared radiusSum * radiusSum) { // 发生碰撞 HandleCollision(entityA, entityB); } } } } private void HandleCollision(Entity a, Entity b) { // 判断碰撞双方类型通过检查标签组件 bool aIsBullet World.HasBulletTag(a); bool bIsBullet World.HasBulletTag(b); bool aIsEnemy World.HasEnemyTag(a); bool bIsEnemy World.HasEnemyTag(b); // 子弹与敌人碰撞 if ((aIsBullet bIsEnemy) || (aIsEnemy bIsBullet)) { // 给双方附加Damage组件。这里假设子弹有Damage组件敌人有Health组件。 // 更精细的设计可以为子弹定义Damage值为敌人定义Health值。 if (!World.HasDamage(a)) World.AddDamage(a, new Damage { Value 10 }); if (!World.HasDamage(b)) World.AddDamage(b, new Damage { Value 10 }); // 或者更直接地标记为待销毁 if (!World.HasToBeDestroyed(a)) World.AddToBeDestroyed(a); if (!World.HasToBeDestroyed(b)) World.AddToBeDestroyed(b); } // 可以在这里添加其他碰撞类型如玩家与敌人碰撞等 } }这个实现虽然简单但清晰地展示了如何在System中通过Query获取实体集合。通过GetSpan高效访问组件数据。通过GetEntityIds获取对应的实体ID用于后续的World操作。使用World.HasT和World.AddT来检查和修改实体的组件构成。实操心得在真实的游戏中O(n²)的碰撞检测是不可接受的。下一步优化是引入空间划分如将世界划分为网格。你可以为每个实体添加一个GridCell组件记录它所在的网格坐标。CollisionSystem可以先查询每个网格内的实体只对同一网格或相邻网格内的实体进行碰撞检测。这能极大减少检测次数。Arch的查询能力可以轻松配合这种设计例如先查询出所有在某个特定网格内的实体。6. 性能调优与高级特性指南当你构建的系统越来越复杂实体数量上万时性能优化就成为必须考虑的问题。Arch提供了一些特性和模式来帮助你。6.1 使用ForEach简化查询迭代对于简单的遍历操作Arch提供了更简洁的Query重载方法使用ForEach委托。上面的CollisionSystem中的双重循环部分可以改写尽管碰撞检测不太适合但移动系统很适合// MovementSystem 的另一种写法 World.Query(in _movementQuery, (ref Transform transform, ref Velocity velocity) { transform.X velocity.Dx * deltaTime; transform.Y velocity.Dy * deltaTime; });这种方式代码更简洁但要注意它内部仍然是循环并且对于需要访问多个相同组件数组进行复杂操作如碰撞检测的情况直接使用GetSpan进行手动循环控制力更强、更高效。6.2 并行处理Parallel Query这是Arch性能的杀手锏。当你的系统处理逻辑相互独立时可以利用多核CPU进行并行计算。Arch通过ParallelQuery支持这一点。public class ParallelMovementSystem { private QueryDescription _query new QueryDescription().WithAllTransform, Velocity(); public void Update(World world, float deltaTime) { world.ParallelQuery(in _query, (ref Transform transform, ref Velocity velocity) { transform.X velocity.Dx * deltaTime; transform.Y velocity.Dy * deltaTime; }); } }只需将World.Query替换为World.ParallelQuery框架会自动将工作负载分配到多个线程。但必须注意并行查询要求回调函数中的操作是线程安全的且不能修改共享状态。例如在并行循环内不能通过World参数添加/删除组件或创建实体否则会导致数据竞争。像移动、伤害计算这类纯数据变换的操作非常适合并行。6.3 原型Archetype与查询缓存这是Arch底层高效的关键理解它有助于你写出更高效的查询。在Arch中实体根据其拥有的组件组合被分组到不同的“原型”中。例如所有拥有Transform Velocity Renderable的实体属于一个原型所有拥有Transform Velocity Health的属于另一个原型。当你执行一个查询时Arch会检查哪些原型匹配你的查询条件例如WithAllTransform, Velocity。然后它会遍历所有匹配的原型并依次处理每个原型内的实体数组。由于同一原型内的实体组件内存布局完全相同所以遍历效率极高。查询缓存频繁创建QueryDescription对象会产生微小开销。对于在每帧都执行的系统最好将QueryDescription声明为静态只读字段就像我们之前做的那样Arch内部会缓存查询结果提升效率。6.4 避免常见的性能陷阱在热循环中频繁创建QueryDescription如上所述将其缓存。在System中持有实体引用实体ID是稳定的但实体的组件构成可能改变。持有引用可能导致访问到已不存在的组件。正确的做法是每帧通过查询重新获取。使用大型或嵌套的struct作为组件虽然组件是struct但如果它非常大例如包含一个大型数组复制开销会变大。考虑将其拆分为多个小组件或使用NativeArray等引用类型但需自行管理内存。忽略命令缓冲器CommandBuffer在系统更新中直接修改实体结构增删组件、创建销毁实体是危险的尤其是在考虑并行系统时。务必养成使用CommandBuffer的习惯。7. 从Arch到Unity思路迁移与整合虽然Arch是一个独立的框架但它的思想与Unity的EntitiesDOTS完全一致。学习Arch让你透彻理解了ECS的数据驱动、查询、原型等核心概念。当你再回到Unity ECS时你会发现概念都是相通的Entity-Entity(同样是一个ID)Component-IComponentData(也必须是struct)System-SystemBase或ISystemQuery-EntityQueryWorld-EntityManager/WorldCommandBuffer-EntityCommandBufferUnity ECS提供了更强大的与引擎集成的能力如通过Baker从GameObject转换与Physics、Rendering系统交互但核心循环依然是在OnUpdate中通过EntityQuery获取实体然后使用IJobEntity或Entities.ForEach进行并行处理。你甚至可以在Unity项目中使用Arch来处理纯粹的游戏逻辑模拟而用Unity ECS来处理渲染和物理等引擎相关的部分两者通过共享数据组件进行通信。这种架构分离能让逻辑层保持高度可测试性和清晰度。学习Arch的最大价值在于它强迫你从“对象思维”转向“数据思维”。你不再思考“这个敌人对象该如何更新”而是思考“所有具有位置和速度的数据该如何批量处理”。这种思维模式的转变是解锁高性能游戏开发的关键。