Шаблон, динамическое значения параметра шаблона, параметр не является типом Опции

[ViGOur]

Я создаю динамически объекты некоторых произвольных классов, родитель у них один, тип только разный.
Для вопроизведения ошибки набросал следующий код:

class CEnumClass
{
public:
    enum eEnum{
        P1,
        P2,
        P3
    };
};

template <class T, int TYPE>
class CClass
{
// ...
};

int main(int argc, char *argv[])
{
    CEnumClass::eEnum tmpEnum = CEnumClass::P1;
    const int n0 = 10;
    const int n1 = tmpEnum;

    CClass<int, 0> mc0;                // OK
    CClass<int, n0> mc1;              // OK
    CClass<int, CEnumClass::P1> mc2; // OK
    //CClass<int, n1> mc3;            // error: 'n1' cannot appear in a constant-expression
    //CClass<int, tmpEnum> mc4;  // error: 'tmpEnum' cannot appear in a constant-expression
}

В конструкции template <class T, int TYPE>, TYPE сделан для того, чтобы при инстанцировании различались типы объектов данного класса с задумкой на будущее... И данный тип передается динамически, во время выполнения программы. Тоесть, у меня из вне приходит некий tmpEnum, что в примере и я на основе него должен создать-получить объект mc4, но возникает ошибка указанная в коментарии при создании объекта mc4 .

Как я понимаю это из-за того, что у меня переменная создается динамически (во время выполнения), а шаблон должен быть инстанцирован статически (во время компиляции). Поправьте меня если я ошибаюсь.


И собственно вопрос, как сделать так, чтобы это работало и возможно ли это?
Если это не возможно, то буду думать как сделать по другому...

[ssoft]

Как я понимаю это из-за того, что у меня переменная создается динамически (во время выполнения), а шаблон должен быть инстанцирован статически (во время компиляции). Поправьте меня если я ошибаюсь.

И собственно вопрос, как сделать так, чтобы это работало и возможно ли это?
Если это не возможно, то буду думать как сделать по другому...

Имено так, шаблоны конкретизируются во время компиляции и нет возможности использовать динамически изменяющиеся параметры шаблона.
В данном случае, я подозреваю, что необходимо использовать паттерн "Фабрика".

[ViGOur]

Боюсь паттерн Фабричный метод здесь не поможет, дело в том, что шаблонный класс реализован как синглтон, которому в качестве параметров передаются:
1. класс, объект которого нужно создать-получить.
2. некий внутренний тип, который явно идентифицирует объект, так как класс для некоего множества объектов может быть один, а тип у них разный...

Например:

class CAnimal{};
class CCat: CAnimal{};
class CDog: CAnimal{};

CAnimal *p1 = CSingleton<CCat, eMurka>::init
...
CAnimal *p2 = CSingleton<CDog, eVolk>::init();
CAnimal *p3 = CSingleton<CDog, ePudel>::init();
CAnimal *p4 = CSingleton<CDog, eTaksa>::init();

Пока вижу только не очень хороший выход в использовании ручной типизации, но это геморно и чревато ошибками...

Или я что-то не додумываю-недопонию?

[Iron Bug]

если это связано с типами, то тожно тупо в конструкторе передавать std::type_info. ну или вообще что угодно.

[ViGOur]

Неа, в моем случае объекты p3 и p4 (ePudel и eTaksa) это разные типы, и так как они по разному инстанцируются, то и разные объекты.
Простая передача параметра в конструкторе не даст того же результата...

Например,

CAnimal *p3 = CSingleton<CDog, ePudel>::init();
CAnimal *p4 = CSingleton<CDog, eTaksa>::init();
CAnimal *p5 = CSingleton<CDog, ePudel>::init();
CAnimal *p6 = CSingleton<CDog, eTaksa>::init();

p5 == p3, а p6 == p4, но p5 != p6.

[Алексей1153]

имхо, виртуальное наследование спасёт )

class CDog
{
protected:
    virtual init()=0;
};


class CPudel:CDog
{
   init()
   {
   }
};

...

[ViGOur]

имхо, виртуальное наследование спасёт )

Это как я понимаю и есть фабричный метод!

Боюсь паттерн Фабричный метод здесь не поможет, дело в том, что шаблонный класс реализован как синглтон, которому в качестве параметров передаются:

И если это реализовывать, то в моем случае класс CPudel, будет заботится о создании самого себя, в место шаблонного класса (который, как я писал уже выше, является синглтоном), а вместе с этим в нем нужно будет закрывать: конструктор, деструктор, конструктор копирования и оператор присваивания... А так же, если в моем зоопарке будет за 100500 зверей, то всем им нужно будет делать то же самое и описывать своё рождение!

Как-то не комильфо...

Звери тут в качестве примера и не более!

з.ы. или я все же не правильно понял идею вашей реализации.

[Алексей1153]

Это как я понимаю и есть фабричный метод!

нет, это возможности языка. Фабрика - это отдельный класс/процедура, которая порождает объекты по маркеру их типа и возвращает указатель типа "родитель"

синглтон можно сделать статическим методом родительского класса (синглтон Майерса)

а описывать разницу в поведении типов всё равно где-то придётся

можно все классы поместить в один namespace , тогда путаться ничего не будет

[ViGOur]

Пока я вижу выход, как я уже говорил:

Пока вижу только не очень хороший выход в использовании ручной типизации, но это геморно и чревато ошибками...

в использовании switch, например так:

switch(type)
{
 case P1: CClass<int, CEnumClass::P1> mc1;break;
 case P2: CClass<int, CEnumClass::P2> mc2;break;
 case P3: CClass<int, CEnumClass::P3> mc3;break;
}

[Алексей1153]

и ещё - при отладке с шаблонами можно запариться, так как отладчик не сможет показать, какой именно сейчас тип у владельца процедуры

в использовании switch,

этот код и будет находится в методе-фабрике

Сообщение отредактировал Алексей1153 - 15.2.2013, 11:47