Я сейчас работаю над одной проблемой, которая вызывает некоторые затруднения, вот ее упрощенный аналог:
есть такая структура
| Код |
struct VALUE
{
union {
double dbl;
long i64;
};
byte type;
};
|
.
она должна обрабатываться методом
| Код |
template<Format, Packer>
void Pack(VALUE & v)
{
Format::Process(v);
Packer::Pack(v);
}
|
шаблонные параметры: Format - преобразует число содержащееся в структуре по некоторому правилу, реализации Format исходят из того что в структуре содержится число определенного типа (поле type не проверяется)
| Код |
class DoubleFormat1
{
public:
static void Process(VALUE& v)
{ сделать что то с v.dbl %)
}
};
|
| Код |
class IntFormat1
{
public:
static void Process(VALUE& v)
{ сделать что то с v.i64
}
};
|
в общем эти классы нужны для преобразования значения VALUE? и их может быть много
Packer - класс обеспечивающий сжатие данных, он то-же работает с VALUE как со значением определенного типа (предварительно структура должна быть обработана соответствующим методом Format)
| Код |
class IntPacker1
{
public:
static void Pack(VALUE& v)
{ сделать что то с v.i64
}
};
|
в общем я этим хочу добится 2х вещей, что-бы не проверять каждый раз тип структуры VALUE, так как он известен на этапе компиляции, и комбинировать разные методы обработки VALUE
короче я хочу делать так:
| Код |
Pack<IntFormat1, IntPacker1>(v);
Pack<IntFormat2, IntPacker3>(v);
Pack<DoubleFormat4, DoublePacker1>(v);
|
.....
проблема в том что теперь возможен и такой вариант
| Код |
Pack<IntFormat1, DoublePacker1>(v);
|
и тд
что в моем случае недопустимо
можно в принципе использовать STATIC_ASSERT что-бы на стадии компиляции запрещать невозможные комбинации, но я не могу отделаться от одной мысли:
если у меня возникла такая ситуация, значит декомпозиция задачи выполнена не верно, я где-то допустил ошибку в проектировании, что вы думаете по этому поводу? |
)
.
.