boostcoder
запросто.
группируем флаги в какую-нибудь группу
| Код |
template <bool b1, bool b2, bool b3>
struct params_pack
{
enum
{
b1_value = b1,
b2_value = b2,
b3_value = b3
};
};
|
дальше определяем группы
| Код |
typedef params_pack<true, true, false> parms_pack_one;
typedef params_pack<true, false, true> parms_pack_two;
|
реальную структуру type прячем под другим именем, например type_ и меняем три шаблонных переменных заменяем на группу
| Код |
template <typename ppack, unsigned, unsigned>
struct type_;
|
далее специализируем type_
| Код |
template<> struct type_<parms_pack_one, 0, 0> {};
template<> struct type_<parms_pack_two, 0, 0> {};
|
далее осталось перенаправить тип type<bool b1, bool b2, bool b3, unsigned e1, unsigned e2> на type_<params_pack<b1, b2, b3>, e1, e2>.
Тут небольшая загвоздка, шаблонный typedef пока вроде не поддерживается
| Код |
template<bool b1, bool b2, bool b3, unsigned e1, unsigned e2>
using type = type_<params_pack<b1, b2, b3>, e1, e2>;
|
потому придется как-то так
| Код |
template<bool b1, bool b2, bool b3, unsigned e1, unsigned e2>
struct type
{
typedef type_<params_pack<b1, b2, b3>, e1, e2> realtype;
};
|
В итоге получается что-то в этом роде
| Код |
template <typename ppack, unsigned, unsigned>
struct type_;
template <bool b1, bool b2, bool b3>
struct params_pack
{
enum
{
b1_value = b1,
b2_value = b2,
b3_value = b3
};
};
typedef params_pack<true, true, false> parms_pack_one;
typedef params_pack<true, false, true> parms_pack_two;
template<> struct type_<parms_pack_one, 0, 0> {};
template<> struct type_<parms_pack_two, 0, 0> {};
template<bool b1, bool b2, bool b3, unsigned e1, unsigned e2>
struct type
{
typedef type_<params_pack<b1, b2, b3>, e1, e2> realtype;
};
/* using */
type<true, true, false, 0, 0>::realtype t;
|
конечно, если это группа boolean типов, то лучше использовать битовые операции.
Цитата(boostcoder @ 8.8.2011, 20:22  ) | а еще, с операциями над битами я не дружу
|
http://forum.vingrad.ru/index.php?showtopic=334948&view=findpost&p=2381904
|
