Шаблон, динамическое значения параметра шаблона, параметр не является типом Опции Подписка на тему Сообщить другу Версия для печати Скачать тему Подписка на этот форум Режимы отображения Переключить на: Древовидный Переключить на: Стандартный Линейный

[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 .

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


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

[ViGOur]

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

Ну это можно и без фабрики изобразить, по крайней мере в моей структуре кода!

[Алексей1153]

ViGOur, я - за инкапсуляцию )))

[ViGOur]

да есть она там, но именно в данном случае она не нужна!

[Алексей1153]

it's enough of encapsulation! No more! ))

[ViGOur]

ssoft, ты был прав, паттерн Фабричный метод самое то,единственное к нему понадобился плюс, в виде рекурсивного аргумента шаблона (это подсказал мне Flex_Ferrum) и все заработало!

Вот окончательный вариант с учетом моего примера:

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

template <class T, int I>
class CClass
{
public:
    static T *init(){ return new T; }
};

template<class T, int I>
class MyFactoryImpl;

template<class T, int I>
class MyFactoryImpl : public MyFactoryImpl<T, I - 1>
{
public:
   static T* create(int idx) { return idx == I ? CClass<T, I>::init() : MyFactoryImpl<T, I - 1>::create(idx); }
};

template<class T>
class MyFactoryImpl<T, 0>
{
public:
   static T* create(int idx) { return idx == 0 ? CClass<T, 0>::init() : 0; }
};

template<class T, int MaxI>
class MyFactory : MyFactoryImpl<T, MaxI - 1>
{
public:
   static T* create(int idx) { return MyFactoryImpl<T, MaxI - 1>::create(idx); }
};

int main(int argc, char *argv[])
{
    CEnumClass::eEnum tmpEnum = CEnumClass::P1;
    MyFactory<int, CEnumClass::P_END>::create(tmpEnum);

    return 0;
}

Сообщение отредактировал ViGOur - 19.2.2013, 16:53

Причина редактирования: Поправил, был старый вставил старый тест...

[ViGOur]

Изменил код, так как по невнимательности вставил код немного другого теста...

[Алексей1153]

занимательно вышло, кстати, с точки зрения брейнфака )

с точки зрения практики- хм... Потом расскажешь

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

[lanz]

template <typename T>
CAnimal *class_creator () {
    return new T;
};

typedef CAnimal *CAnimalPtr;
typedef CAnimalPtr (*CreatorFunc) ();
const CreatorFunc creators = {class_creator<CMurka>, class_creator<CVolk>};

class CAnimal {
    static CAnimal *Instance (CEnumClass::eEnum type) {
        static std::map<CEnumClass::eEnum, CAnimal*> here_be_singletons;
        
        if (here_be_singletons.find (type) == here_be_singletons.end ()) {
            here_be_singletons[type] = creators[type] ();
            here_be_singletons[type]->init ();
        };
        
        return here_be_singletons[type];
    };
};

Какие подводные камни?

[ViGOur]

1. Данный код только для класса CAnimal и производных от него классов. ( я понимаю, что можно поправить, но все же! )
2. При добавлении типа в CEnumClass::eEnum, тебе так же нужно будет добавлять прототип функции в массив creators. (если забыл добавить, то ... )
3. Ты должен будешь соблюдать порядок типов в CEnumClass::eEnum и прототипов функций в массиве creators. (если порядок другой, то ...)

[lanz]

Все верно, но это из-за ограничения на то что должно быть соответствие между классами и enum.
Если его снять, то получится либо rtti, либо чистые шаблоны.

Чего то я не очень догоняю зачем их смешивать.
Как я понял, задача состоит в том чтобы сделать N различных типов.
А зачем? Все равно они будут использоваться через один и тот же интерфейс (CAnimal*).
А если это для того чтобы сделать статическую проверку типов, то все равно ничего не выйдет (та же проблема что и в первом посте).

Можно какой нибудь пример использования?