先来总结下,上篇文章讲些什么内容:
- 组件表示一个游戏对象可以拥有的数据部分
- 实体用来代表一个游戏对象,它是多个组件的聚合
- 系统提供了在这些组件上进行的操作
这篇文章将会讲述如何实现一个ECS系统,并且会解决一些存在的问题。所有的实例代码,我都是使用C语言来编写。
实现
组件
在上篇文章中,我曾说过,组件实际上就是一个C结构体,只拥有简单普通的数据而已,所以我也就会使用结构体来实现组件。下面的组件,从名字上看就能够很好的明白它的作用到底是什么。在下面我会实现三种组件:
- Displacement(x,y)
- Velocity(x,y)
- Appearance(name)
下面的代码,演示了如何定义Displacement组件。它只是拥有两个分量的简单结构体而已:
- typedef struct
- {
- float x ;
- float y ;
- } Displacement ;
typedef struct
{
float x ;
float y ;
} Displacement ;
Velocity组件也是同样的进行定义了,显示中只是含有一个string成员而已。
除了上面定义的具体的组件类型,我们还需要一个组件标示符,用来对组件进行标示。每一个组件和系统都会拥有一个组件标示符,如何使用将会在下面详细的解释。
- typedef enum
- {
- COMPONENT_NONE = 0 ,
- COMPONENT_DISPLACEMENT = 1 << 0 ,
- COMPONENT_VELOCITY = 1 << 1 ,
- COMPONENT_APPEARANCE = 1 << 2
- } Component ;
typedef enum
{
COMPONENT_NONE = 0 ,
COMPONENT_DISPLACEMENT = 1 << 0 ,
COMPONENT_VELOCITY = 1 << 1 ,
COMPONENT_APPEARANCE = 1 << 2
} Component ;
定义组件标示符是很简单的事情。在实体的上下文中,我们使用组件标示符来表示这个实体拥有哪些组件。如果这个实体,拥有Displacement和Appearance组件,那么这个实体的组件标示符将会是 COMPONENT_DISPLACEMENT | COMPONENT_APPEARANCE 。
实体
实体本身不会被明确的定义为一个具体的数据类型。我们并不会使用面向对象的方法来对实体进行一个类的定义,然后让它拥有一系列的成员属性。因此,我们将会将组件加入到内存中去,创建一个结构数组。这样会提高缓冲效率,并且会有助于迭代。所以,为了实现这个,我们使用这些结构数组的下标来表示实体。这个下标,就表示是实体的一个组件。
我称这个结构数组为World。这个结构,不仅仅保留了所有的组件,而且还保存了每一个实体的组件标示符。
- typedef struct
- {
- int mask[ENTITY_COUNT];
- Displacement displacement[ENTITY_COUNT];
- Velocity velocity[ENTITY_COUNT];
- Appearance appearance[ENTITY_COUNT];
- } World;
typedef struct
{
int mask[ENTITY_COUNT];
Displacement displacement[ENTITY_COUNT];
Velocity velocity[ENTITY_COUNT];
Appearance appearance[ENTITY_COUNT];
} World;
ENTITY_COUNT在我的测试程序中,被定义为100,但是在一个真实的游戏中,这个值应该更加的大。在这个实现中,最大数值就被限制在100.实际上,我更加喜欢在栈中实现这个结构数组,而不是在堆中实现,但是考虑到读者可能会使用C++来实现这个World,它也是可以使用vector来保存的。
除了上面的结构体之外,我还定义了一些函数,来对这些实体进行创建和销毁。
- unsigned int createEntity(World *world)
- {
- unsigned int entity;
- for(entity = 0; entity < ENTITY_COUNT; ++entity)
- {
- if(world->mask[entity] == COMPONENT_NONE)
- {
- return(entity);
- }
- }
- printf("Error! No more entities left!\n");
- return(ENTITY_COUNT);
- }
- void destroyEntity(World *world, unsigned int entity)
- {
- world->mask[entity] = COMPONENT_NONE;
- }
unsigned int createEntity(World *world)
{
unsigned int entity;
for(entity = 0; entity < ENTITY_COUNT; ++entity)
{
if(world->mask[entity] == COMPONENT_NONE)
{
return(entity);
}
}
printf("Error! No more entities left!\n");
return(ENTITY_COUNT);
}
void destroyEntity(World *world, unsigned int entity)
{
world->mask[entity] = COMPONENT_NONE;
}
实际上,create方法并不是创建一个实体,而是返回World中第一个为空的实体下标。第二个方法,只是简单的将实体的组件表示符设置为COMPONENT_NONE而已。把一个实体设置为空的组件是很直观的表示方法,因为它为空的话,就表示没有任何的系统将会在这个实体上进行操作了。
我还编写了一些用来创建完整实体的代码,比如下面的代码将会创建一个Tree,这个Tree只拥有Displacement和Appearance。
- unsigned int createTree(World *world, float x, float y)
- {
- unsigned int entity = createEntity(world);
- world->mask[entity] = COMPONENT_DISPLACEMENT | COMPONENT_APPEARANCE;
- world->displacement[entity].x = x;
- world->displacement[entity].y = y;
- world->appearance[entity].name = "Tree";
- return(entity);
- }
unsigned int createTree(World *world, float x, float y)
{
unsigned int entity = createEntity(world);
world->mask[entity] = COMPONENT_DISPLACEMENT | COMPONENT_APPEARANCE;
world->displacement[entity].x = x;
world->displacement[entity].y = y;
world->appearance[entity].name = "Tree";
return(entity);
}
在一个真实的游戏引擎中,你的实体可能需要额外的数据来进行创建,但是这个已经不再我介绍的范围内了。尽管如此,读者还是可以看见,这样的系统将会具有多么高的灵活性。
系统
在这个实现中,系统是最复杂的部分了。每一个系统,都是对某一个组件进行操作的函数方法。这是第二次使用组件标示符了,通过组件标示符,我们来定义系统将会对什么组件进行操作。
- #define MOVEMENT_MASK (COMPONENT_DISPLACEMENT | COMPONENT_VELOCITY)
- void movementFunction(World *world)
- {
- unsigned int entity;
- Displacement *d;
- Velocity *v;
- for(entity = 0; entity < ENTITY_COUNT; ++entity)
- {
- if((world->mask[entity] & MOVEMENT_MASK) == MOVEMENT_MASK)
- {
- d = &(world->displacement[entity]);
- v = &(world->velocity[entity]);
- v->y -= 0.98f;
- d->x += v->x;
- d->y += v->y;
- }
- }
- }
#define MOVEMENT_MASK (COMPONENT_DISPLACEMENT | COMPONENT_VELOCITY)
void movementFunction(World *world)
{
unsigned int entity;
Displacement *d;
Velocity *v;
for(entity = 0; entity < ENTITY_COUNT; ++entity)
{
if((world->mask[entity] & MOVEMENT_MASK) == MOVEMENT_MASK)
{
d = &(world->displacement[entity]);
v = &(world->velocity[entity]);
v->y -= 0.98f;
d->x += v->x;
d->y += v->y;
}
}
}
这里就显示出了组件标示符的威力了。通过组件标示符,我们能够在函数中确定这个实体是否具有这样的属性,并且速度很快。如果将每一个实体定义为一个结构体的话,那么确定它是否有这些组件,这样的操作将会非常耗时。
这个系统,会自动的添加重力,然后对Displacement和Velocity进行操作。如果所有的实体都是正确的进行了初始化,那么每一个进行这样操作的实体,都会有一个有效的Displacement和Velocity组件。
对于这个组件标示符的一个缺点就是,这样的组合是有限的。在我们这里的实现中,它最多只能是32位的,也就是说最多只能够拥有32个组件类型。C++提供了一个名为std::bitset<n>的类,这个类可以拥有N位的类型,而且我确信,如果你使用的是其他的编程语言的话,也会有这样的类型提供。在C中,可以使用一个数组来进行扩展,像下面这样:
- (EntityMask[0] & SystemMask[0]) == SystemMask[0] && (EntityMask[1] & SystemMask[1]) == SystemMask[1] // && ...
(EntityMask[0] & SystemMask[0]) == SystemMask[0] && (EntityMask[1] & SystemMask[1]) == SystemMask[1] // && ...
问题
这样的系统在我的一些程序中能够很好的进行工作,并且这样的系统能够很容易的进行扩展。它也能够很容易的在一个主循环中进行工作,并且只要添加少量的代码就能够从外部读取文件来创建实体对象。
这一小节,将会讲述在游戏机制中可能出现的一些问题,还会讲述一些这个系统所具有的高级特性。
升级和碰撞过滤
这个问题是在上篇文章中,网友Krohm提出来得。他想知道,在这样的系统中,如何实现游戏特殊行为了。他提出,如果在升级的时候,想要避免和某种类型的物体进行碰撞,该如何进行。
解决这样的问题,我们使用一个叫做动态组件的东西。我们来创建一个组件,叫做GhostBehavior,这个组件拥有一个限定符列表,我们通过这个列表来判断,哪些实体可以让物体穿越过去。比如说,一个组件标示符的列表,或者是材质下标的列表。任何的组件,都可以在任何时候,任何地方被移除出去。当玩家,拾取到了一个升级包,GhostBehavior组件将会增加到玩家实体的列表中去。我们还可以为这个组件创建一个内置的定时器,一旦时间到了,就自动的将自己从列表中移除出去。
为了不进行某些碰撞,我们可以使用物理引擎中的一个经典的碰撞回应。在大部分的物理引擎中,第一步都是先进行碰撞检测,然后产生接触,在然后,为某一个物体添加一个接触力。我们假设,这些工作都是在一个系统中实现的,但是有一个组件能够对每一个实体的碰撞接触进行跟踪记录,这个组件叫做Collidable。
我们创建一个新的系统,同时对GhostBehavior和Collidable进行处理。在上面介绍的两个步骤之间,我们将实体之间的接触删除掉,这样他们就不会产生力,也就不会产生碰撞,让物体穿越过去了。这样的效果,就会产生一个无效的碰撞。同样的系统也能够用来将GhostBehavior进行移除。
同样的策略,也能够用来处理,当发生了碰撞时,我们希望进行某种特定的操作的情况。对于每一个特定的行为,我们都可以创建一个系统,或者同一个系统可以同时处理多个特定的动作。不管怎么样,系统都要先判断两个物体是否发生了碰撞,然后才能够进行特定的行为。
消灭所有怪物
另外一个问题,就是如何通过一个指令,来秒杀所有的怪物。
解决这个问题的关键地方是实现一个系统,这个系统将会在主循环的外面进行。任何一个实体,如果它是怪物的话,那么它就应该有一个同样的组件标示符。比如说,同时拥有AI和血量的实体,就是怪物,这样的判断可以简单的使用组件标示符来进行判断。
还记得我们在上面说过的,每一个系统实际上就是对某个组件标示符进行操作的函数。我们将秒杀技能定义为一个系统。这个系统将会用一个函数来实现。在这个函数中,,最核心的操作就是调用destroyMonster函数了,但是同时可能也会创建一个粒子特效,或者播放一段音乐等。这个系统的组件标示符可能是这样的COMPONENT_HEALTH COMPONENT_AI。
在前面一篇文章中,我讲述过了每一个实体都能够拥有一个或者多个输入组件,这些输入组件将会包括一个boolean值,或者真实的值,用来表示不同的输入。我们创建一个MagicInputComponet组件,这个组件只有一个bool值,一旦将这个组件加入到实体中去,每一个实体都会对这个组件进行处理,从而消灭所有的怪物。
每一个秒杀技能都有一个独特的ID,这个ID将会用来对查找表进行查找。一旦在查找表中,找到了这个ID,那么就调用这个ID对应的函数,让这个函数,来运行这个系统消灭所有的怪物。
结论
记住,这里的实现只是一个非常简单的方法。它仅仅对我们这里的测试程序有效而已,对于一个完整的游戏来说,它并没有那个能力来驱动它。然后,我希望,通过这个例子,你已经明白了设计ECS系统的主要原则,并且能够独立的使用你自己的熟练的语言来实现它。
原文链接: