Повышение. MPL и поколение списка типов
Фон
Это для диспетчера памяти в игровом механизме. У меня есть a freelist реализованный, и хотел бы иметь список времени компиляции если они. (MPL или вектор Fusion, например). freelistсоответствуйте размерам выделения, и при выделении/освобождении объектов размера меньше, чем константа, они перейдут к соответствию freelist.
В конце это означает, что маленькие объекты глобально амортизировали постоянное выделение времени и постоянное освобождение времени. (Yay).
Проблема
Проблема генерирует типы, в которых я нуждаюсь, таким образом, я могу в конечном счете использовать Fusion для инстанцирования тех типов. Используемые типы (сокращены, и т.д.):
template <size_t N>
struct data_block
{
size_t mSize; // = N
char mData[N];
};
template <typename T, size_t ElementsPerPage,
template <typename> class Allocator = std::allocator >
class freelist { /* ... */ };
template <typename T>
class callocator; // allocator that uses malloc/free
freelistсправится data_blockиз power-2 размеров, начинающих с минимума, идущего в максимум. Таким образом, то, что я хочу:
static const size_t MinimumSmallSize = 4; // anything smaller gets rounded up
static const size_t MaximumSmallSize = 512; // anything bigger goes to the large allocator
static const size_t ElementsPerPage = 4096;
// mpl magic
Генерировать это:
typedef boost::mpl::vector<
freelist<data_block<4>, ElementsPerPage, callocator>,
freelist<data_block<8>, ElementsPerPage, callocator>
// ...
freelist<data_block<256>, ElementsPerPage, callocator>
freelist<data_block<512>, ElementsPerPage, callocator>
> free_list_collection;
Очевидно, я мог сделать это вручную, но я скорее избегу этого для более общего и tweakable интерфейса. Используя вектор Fusion в коде должно быть более простым, чем трудно кодированные участники, также.
Вопрос
Я не уверен лучший способ пойти об этом; я никогда не использовал MPL экстенсивно прежде. Какие-либо идеи? У меня было несколько плохих идей, таких как создание диапазона, затем remove_if это не питание 2, и т.д., но конечно это не является лучшим. Возможно, что-то рекурсивное вместо этого, которое удваивается каждый раз, продвигающий в мой итоговый вектор? Я не уверен, как пойти об этом.
1 ответ
Это - лучшее решение, которое я предложил, и это довольно просто. Это требует регистрация и голова меташаблон, который я включал для тех, кто хочет играть или попробовать его:
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/range_c.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/vector.hpp>
#include <iostream>
namespace bmpl = boost::mpl;
//// helpers
template <size_t N, size_t Base>
struct log
{
static const size_t value = 1 + log<N / Base, Base>::value;
};
template <size_t Base>
struct log<1, Base>
{
static const size_t value = 0;
};
template <size_t Base>
struct log<0, Base>
{
static const size_t value = 0;
};
template <size_t N, size_t Power>
struct pow
{
static const size_t value = N * pow<N, Power - 1>::value;
};
template <size_t N>
struct pow<N, 0>
{
static const size_t value = 1;
};
//// types and constants
template <size_t N>
struct data_block
{
size_t mSize; // = N
char mData[N];
};
template <typename T, size_t ElementsPerPage,
template <typename> class Allocator = std::allocator >
class freelist { /* ... */ };
template <typename T>
class callocator; // allocator that uses malloc/free
static const size_t MinimumSmallSize = 4;
static const size_t MaximumSmallSize = 512;
static const size_t ElementsPerPage = 4096;
//// type generation
// turn a power into a freelist
template <typename T>
struct make_freelist
{
static const size_t DataSize = pow<2, T::value>::value;
typedef data_block<DataSize> data_type;
typedef freelist<data_type, ElementsPerPage, callocator> type;
};
// list of powers
typedef bmpl::range_c<size_t, log<MinimumSmallSize, 2>::value,
log<MaximumSmallSize, 2>::value + 1> size_range_powers;
// transform that list into freelists, into a vector
typedef bmpl::transform<size_range_powers, make_freelist<bmpl::_1>,
bmpl::back_inserter<bmpl::vector<> > >::type size_range;
//// testing
struct print_type
{
template <typename T>
void operator()(const T&) const
{
std::cout << typeid(T).name() << "\n";
}
};
int main(void)
{
bmpl::for_each<size_range>(print_type());
std::cout << std::endl;
}
ядро его просто структура и два определение типа . регистрация прием уменьшил размер диапазона значительно, и голова , конечно, просто отмены регистрация . Работы точно, как я хотел бы, и я не вижу способа сделать это более простым.
Тем не менее я решил пойти с Повышением. Пул, таким образом, мне не будет нужно мое решение (потому что их размеры пула являются динамичными, не время компиляции.), Но это было хорошим развлечением.