Определение параметра в виде неопределенного типа шаблона

Question

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

У меня есть определенный интерфейс и класс парсера, который должен обрабатывать детали реализации для xerces (например, перекодирование и все эти служебные данные). Класс интерфейса был бы разработан для создания объектов из анализатора (SAX), но без необходимости иметь дело с библиотекой xerces.

В Java я знаю, что я мог бы использовать неопределенный общий аргумент типа, как это:

class Parser 
{ 
    public Parser(IGenericInterface<?> oImpl) {}; 
} 

И в основном я хотел бы знать, как это может быть сделано в C++. В приведенном ниже примере я получаю ошибку компилятора в строке, объявляющей переменную интерфейса, потому что ей не хватает типа. Но, конечно, в объявлении класса тип неизвестен и должен быть назначен во время выполнения, как показано в main.

#include <iostream> 
#include <string> 

template <class T> 
class IGenericInterface 
{ 
public: 
    IGenericInterface() {}; 
    virtual ~IGenericInterface() {}; 

    virtual T *createInstance(void) = 0; 
}; 

template <class T> 
class Implementation : public IGenericInterface<T> 
{ 
public: 
    Implementation() {}; 
    virtual ~Implementation() {}; 

    T *createInstance(void) 
    { 
     T * t = new T; 
     return t; 
    } 
}; 

class Parser 
{ 
public: 
    Parser(IGenericInterface *oImpl) { mImpl = oImpl; }; 
    virtual ~Parser() { delete mImpl; }; 

    void doSomething(void) { do whatrever is needed; t = createInstance(); }; 

private: 
    IGenericInterface *mImpl; 
}; 

int main() 
{ 
    Parser *p = new Parser(new Implementation<int>()); 
    sleep(3); 

    return 0; 
} 

Итак, как я должен определить Parser конструктор, чтобы сделать его передать произвольный интерфейс аргумент?

Answer 1

Поскольку, по-видимому, общий вид, как в Java, не может быть реализован на C++, я нашел другое решение, которое также позволяет мне детализировать детализированный синтаксический анализатор.

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

картина будет выглядеть так:

template <class T> 
class ISerialization 
{ 
public: 
    virtual ~ISerialization(void) {}; 

public: 
    virtual std::string serialize(void) = 0; 
    virtual bool deserialize(std::vector<T *> &oObjects, std::string const &oSerialized) = 0; 
}; 

class parser 
{ 
    void parsing(void) { abstract_function(); } 
    virtual void abstract_function() = 0; 
}; 


class implementation : public ISerialization<Task>, public parser 
{ 
    std::string serialize(void) {}; 
    bool deserialize(std::vector<T *> &oObjects, std::string const &oSerialized) {}; 
    void abstract_function() { specific implementation goes here}; 
}; 

Answer 2

Смешивание статический и динамический полиморфизм является не идти (исключения не могут применяться)

template <class T> 
class IGenericInterface 
{ 
public: 
    IGenericInterface() {}; 
    virtual ~IGenericInterface() {}; 

    virtual T *createInstance(void) = 0; 
}; 

И ваше использование указателей кошмар.

Answer 3

C++ - это статический язык, поэтому во время компиляции любые типы должны быть разрешены. Следовательно, то, что вы делаете в java, не может быть сделано аналогичным образом на C++. Вместо этого вы используете либо динамический полиморфизм (используя наследование), либо «статический полиморфизм», используя шаблоны (разрешенные во время компиляции) с помощью CRTP.