Repository files navigation

This project is currently in the progress of being rewritten for C++17. Check outthis issue if you have any suggestions/know a good way to transition!

EntityPlus is an Entity Component System library written in C++14, offering fast compilation and runtime speeds. The library is header only, saving you the trouble of fidgeting with build systems and there are no external dependencies.

The ECS framework is an attempt to decouple data from mechanics. In doing so, it lets you create objects out of building blocks that mesh together to create a whole. It models a has-a relationship, letting you expand without worrying about dependency trees and inheritance. The three main aspects of an ECS framework are of course Entities, Components, and Systems.

EntityPlus requires C++14 conformance, and was mainly developed on MSVC. It has been tested to work on

• MSVC 2015 update 3
• Clang 3.5.0
• GCC 5.3.0

Since EntityPlus is header only, there is no need to build the library to use it. Just#include <entityplus/entity.h>! However, there are tests and examples you can build with cmake.

To build the tests, you need to specify thecatch directory. An in tree build could look like this:

cmake -D Catch_dir=dir/to/catch ..make test

Components contain information. This can be anything, such as health, a piece of armor, or a status effect. An example component could be the identity of a person, which could be modeled like this:

structidentity {    std::string name_;int age_;identity(std::string name,int age) : name_(name), age_(age) {}};

Components don't have to be aggregate types, they can be as complicated as they need to be. For example, if we wanted a health component that would only let you heal to a maximum health, we could do it like this:

classhealth {int health_, maxHealth_;public:health(int health,int maxHealth) :health_(health), maxHealth_(maxHealth){}intaddHealth(int health) {return health_ =std::max(health+health_, maxHealth);    }}

As you may have noticed, these are just free classes. Usually, to use them with other ECSs you'd have to make them inherit from some common base, probably along with CRTP. However, EntityPlus takes advantage of the type system to eliminate these needs. To use these classes we have to simply specify them later.

Components must have a constructor, so aggregates are not allowed. This restriction is the same as allemplace() methods in the standard library. There are no other requirements.

Entities model something. You can think of them as containers for components. If you want to model a player character, you might want a name, a measurement of their health, and an inventory. To use an entity, we must first create it. However, you can't just create a standaloneentity, it needs context on where it exists. We use anentity_manager to manage all ourentitys for us.

using CompList = component_list<identity, health>;using TagList = tag_list<structTA,structTB>;entity_manager<CompList, TagList> entityManager;usingentity_t =typename entity_manager<CompList, TagList>::entity_t;

Don't be scared by the syntax. Since we don't rely on inheritance or CRTP, we must give theentity_manager the list of components we will use with it, as well as a list oftags. To create a list of components, we simply use acomponent_list.component_lists andtag_lists have to be unique, and thecomponent_list andtag_list can't have overlapping types. If you mess up, you'll be told via compiler error.

error C2338: component_list must be unique

Not so bad, right? EntityPlus is designed with the end user in mind, attempting to achieve as little template error bloat as possible. Almost all template errors will be reported in a simple and concise manner, with minimal errors as the end goal. WithC++17 most code will switch over to usingconstexpr if for errors, which will reduce the error call stack even further.

Now that we have a manager, we can create an actual entity.

entity_t entity = entityManager.create_entity();

You probably want to add those components to the entity.

auto retId = entity.add_component<identity>("John",25);retId.first.name_ ="Smith";entity.add_component(health{100,100});

If we supply a component that wasn't part of the original component list, we will be told this at compile time. In fact, any sort of type mismatch will be presented as a user friendly error when you compile. Adding a component is quite similar to usingmap::emplace(), because the function forwards its args to the constructor and has a similar return semantic. Apair<component&, bool> is returned, indicating error or success and the component. The function can fail if a component of that type already exists, in which case the returnedcomponent& is a reference to the already existing component. Otherwise, the function succeeded and the new component is returned.

Sometimes you know all the tags and components you want from the get go. You can create an entity with all these parts just as easily:

entity_t ent = entityManager.create_entity<TA>(A{3}, health{100,200});

The arguments are fully formed components you wish to add to the entity and the template arguments are the tags the entity should have once it's created.

What happens if we create a copy of an entity? Well, since entities are just handles, this copy doesn't represent a new entity but instead refers to the same underlying data that you copied.

auto entityCopy = entity;assert(entityCopy.get_component<health>() == entity.get_component<health>();

What happens if we modify one copy of the entity? Well, the modified entity is the freshest, and so it is fine, but the old entity is stale. Using a stale entity will give you an error at best, but it can go unnoticed under certain circumstances (if using a release build). You can query the state of an entity withget_status(). The 4 statuses are OK, stale, deleted, and uninitialized. To make sure you have the newest version of an entity, you can usesync(), which will update your entity to the latest version. If the entity has been deleted,sync() will return false.

The last thing we want to do is manipulate our entities. Unlike some ECS frameworks, EntityPlus doesn't have a system manager or similar device. You can work with the entities in one of two ways. The first is querying for a list of them by type

auto ents = entityManager.get_entities<identity>();for (constauto &ent : ents) {    std::cout << ent.get_component<identity>().name_ <<"\n";}

get_entities() will return avector of all the entities that contain the given components and tags.

The second, and faster way, of manipulating entities is by using lambdas (or anyCallable really).

entityManager.for_each<identity>([](auto ent,auto &id) {    std::cout << id.name_ <<"\n";}

You can supply as many tags/components as you want to both methods, so if you need all entities withtag1 andtag2 you can simply doget_entities<tag1, tag2>() orfor_each<tag1, tag2>(...). In addition,for_each has an optional control parameter, which you can modify to break out of the for loop early.

entity_t secretAgent;entityManager.for_each<tag1, identity>([&](auto ent,auto &id,control_block_t &control) {if (id.name_ =="Secret Agent") {secretAgent = ent;control.breakout =true;}}

That's about it! You can obviously wrap these methods in your own system classes, but having specific support for systems felt artificial and didn't add any impactful or useful changes to the flow of usage.

Tags are like components that have no data. They are simply a typename (and don't even have to be complete types) that is attached to an entity. An example could be a player tag for the entity that is controlled by a player. Tags can be used in any way a component is, but since there is no value associated with it except if it exists or not, it can only be toggled.

ent.set_tag<player_tag>(true);assert(ent.get_tag<player_tag>() ==true);

Events are orthogonal to ECS, but when used in conjunction they create better decoupled code. Because of this, events are fully integrated into the entity manager. The first two template arguments of theevent_manager must be the samecomponent_list andtag_list as the ones used for theentity_manager. Additional events can be used by supplying their type after the components/tags.

structMyCustomEvent {std::string msg;};event_manager<CompList, TagList, MyCustomEvent> eventManager;subscriber_handle<entity_created> handle;handle = eventManager.subscribe<MyCustomEvent>([](constauto &ev) {    std::cout << ev.msg;});eventManager.broadcast(MyCustomEvent{"surprise!"});handle.unsubscribe();

Subscriber handles are ways of keeping track of a subscribers. They do not rely on the type of event manager, unlike entities, and can be stored just like any other object. They do not get invalidated either.

There are also special events that are generated by the entity manager, which is why we need the components/tags to be the same. To use an event manager with an entity manager, you must set it.

entityManager.set_event_manager(eventManager);

By doing this, you can now be notified to a wide variety of state changes. For example, if you want to know whenever a component of typehealth is added to an entity, you can simply subscribe to that event.

eventManager.subscribe<component_added<entity_t, health>>([](constauto &event) {event.ent.get_component<health>() == event.component;}

Here is a full list of predefined events.

entity_created<entity_t>entity_destroyed<entity_t>component_added<entity_t, Component>component_removed<entity_t, Component>tag_added<entity_t, Tag>tag_remved<entity_t, Tag>

Note that a destructive event is issued at the earliest possible point while a constructive event is issued at the latest. This is so that you can use as much information inside the event handler as possible. It is rarely useful to know if an entity was destroyed if you can't access any of its components, and it is likewise useless to know that a component was added to an entity before the component exists. Component/tag removal events are also issued when an entity is being destroyed, however they are issued after an entity destroyed event for the aforementioned reason.

EntityPlus can be configured to use either exceptions or error codes. The two types of exceptions areinvalid_component andbad_entity, with corresponding error codes. The former is thrown whenget_component() is called for an entity that does not own a component of that type. The latter is thrown when an entity is stale, belongs to another entity manager, or when the entity has already been deleted. These states can be queried byget_status() which returns a correspondingentity_status.

To enable error codes, you must#define ENTITYPLUS_NO_EXCEPTIONS andset_error_callback(), which takes astd::function<void(error_code_t code, const char *msg)> as an argument.

EntityPlus was designed with performance in mind. Almost all information is stored contiguously (throughflat_maps andflat_sets) and the code has been optimized for iteration (over insertion/deletion) as that is the most common operation when using ECS.

There is currently little tuning available, but additional enhancements are planned. Entity manager provides aset_max_linear_dist option. When iterating usingfor_each, the relative occurrence of a component is calculated against the maximum possible amounts of iterated entities. If this number is small, then a linear search is used to find consecutive entities. Otherwise, a binary search is used instead.

For example, say there are 1000 entities. 500 of these entities have component A, but only 10 have component B. We callfor_each<A,B>. Since we know the maximum amount of entities we will iterate is 10, we calculate the relative occurrence of these entities inA. 500/10 = 50, which means we are likely to iterate over 50 entities in a linear search before we find an entity that has bothA andB. If we hadset_max_linear_dist(55) then we would do a linear search through the entities that containA. If instead we hadset_max_linear_dist(25), we would do a binary search. The default value is 64, and can be queried withget_max_linear_dist().

If you know you will be querying some set of components/tags often, you can register an entity group. This means that under the hood, the entity manager will keep all entities with the components/tags together in a container so that when you need to iterate over the grouping it won't have to generate it on the fly. For example, if you know you will use componentsA andB together in a system, you can do this:

entity_grouping groupAB = entityManager.create_grouping<A, B>();for_each<A,B>(...);// latergroupAB.destroy()

Now whenever you do afor_each<A,B>() or aget_entities<A,B>() the iterated entities will not have to be built dynamically but are already cached. Additionally, whenever you do a query likefor_each<A,B,C>() the manager will only iterate through the smallest subset of tags/components it can find, which in this case would be the groupAB, so you will get performance gains through that as well.

There are already pre-generated groupings for each component and tag, so you cannot create a grouping with an 0 or 1 items (since 0 is just every entity and 1 is just a single component/tag).

I've benchmarked EntityPlus against EntityX, another ECS library for C++11 on my Lenovo Y-40 which has an i7-4510U @ 2.00 GHz. Compiled using MSVC 2015 update 3 with hotfix on x64. The source for the benchmarks can be viewedhere. The time to add the components was very negligible and unlikely to impact performance much in the long run unless you're adding/removing components more than you are iterating over them.

Entity Count | Iterations | Probability | EntityPlus | EntityX----------------------------------------------------------------    1 000    | 1 000 000  |    1 in 3   |   1706 ms  |  20959 ms   10 000    | 1 000 000  |    1 in 3   |  16541 ms  | 208156 ms   30 000    |   100 000  |    1 in 3   |   5308 ms  |  63012 ms  100 000    |   100 000  |    1 in 5   |  14780 ms  | 133365 ms   10 000    | 1 000 000  |  1 in 1000  |    396 ms  |  16883 ms  100 000    | 1 000 000  |  1 in 1000  |   4610 ms  | 170271 ms

n = amount of entitiesEntity:has_(component/tag) = O(1)(add/remove)_component = O(n)set_tag = O(n)get_component = O(log n)get_status = O(log n)sync = O(log n)destroy = O(n)Entity Manager:create_entity = O(n)get_entities = O(n)for_each = O(n)create_grouping = O(n)

entity_statusget_status()const

Returns: Status ofentity, one ofOK,UNINITIALIZED,DELETED, orSTALE.

template<typename Component>boolhas_component()const

Returns:bool indicating whether theentity has theComponent.

Prerequisites:entity isOK.

template<typename Component,typename... Args>std::pair<Component&,bool>add_component(Args&&... args)template <typename Component>std::pair<std::decay_t<Component>&, bool> add_component(Component&& comp)

Returns:bool indicating if theComponent was added. If it was, a reference to the newComponent. Otherwise, the oldComponent. Does not overwrite oldComponent.

Prerequisites:entity isOK.

Throws:bad_entity if theentity is notOK.

Can invalidate references to all components of typeComponent, as well as afor_each involvingComponent.

Can turn entity copiesSTALE.

template<typename Component>boolremove_component()

Returns:bool indicating if theComponent was removed.

Prerequisites:entity isOK.

Can invalidate references to all components of typeComponent, as well as afor_each involvingComponent.

Can turn entity copiesSTALE.

template<typename Component>(const) Component&get_component() (const)

Returns: TheComponent requested.

Prerequisites:entity isOK.

Throws:bad_entity if theentity is notOK.invalid_component if theentity does not own aComponent.

template<typename Tag>boolhas_tag()const

Returns:bool indicating if theentity hasTag.

Prerequisites:entity isOK.

template<typename Tag>boolset_tag(bool set)

Returns:bool indicating if theentity hadTag before the call. The old value ofhas_tag().

Prerequisites:entity isOK.

Throws:bad_entity if theentity is notOK.

Can invalidate afor_each involvingTag, only ifset != set_tag<Tag>(set).

Can turn entity copiesSTALE.

boolsync()

Returns:true if the entity is still alive, false otherwise.

Prerequisites:entity is notUNINITIALIZED.

voiddestroy()

Prerequisites:entity isOK.

Throws:bad_entity if theentity is notOK.

Can invalidate afor_each.

Turns entity copies 'DELETED'.

entity is the template class whileentity_t is the template class with the same template arguments as theentity_manager. That is,entity_t = entity<component_list, tag_list>.

template<typename... Tags,typename... Components>entity_tcreate_entity(Components&&... comps)

Returns:entity_t that was created with the givenTags andComponents.

Can invalidate references to all components of typesComponents, as well as afor_each involvingTags orComponents.

template<typename... Ts>return_containerget_entities()

Returns:return_container of all the entities that have all the components/tags inTs....

template<typename... Ts,typename Func>voidfor_each(Func && func)

Callsfunc for each entity that has all the components/tags inTs.... The arguments supplied tofunc are the entity, as well as all the components inTs....

std::size_tget_max_linear_dist()const

voidset_max_linear_dist(std::size_t)

voidset_event_manager(const event_manager &)

voidclear_event_manager()

template<typename... Ts>entity_groupingcreate_grouping()

Returns:entity_grouping of the grouping created.

boolis_valid()

Returns:true if the entity grouping exists,false otherwise.

booldestroy()

Returns:true if the grouping was destroyed,false if the grouping doesn't exist.

template<typename Event,typename Func>subscriber_handle<Event>subscribe(Func && func);

Returns: Asubscriber_handle for thefunc.

template<typename Event>voidbroadcast(const Event &event)const

boolisValid()const

Returns:true if the handle holds onto a subscribed function,false otherwise.

boolunsubscribe()

Returns:true if the subscribed function was unsubscribed,false if there is no subscribed function.