Как сделать вектор абстрактного класса шаблона

Question

После не работает:

std::vector<IRule*> vec; 
RuleRangeDouble *rule = new RuleRangeDouble(0, 100); 
vec.push_back(rule); 

Теперь как можно сделать вектор различных правил? Я знаю, я должен использовать указатели ... Но что еще мне нужно сделать, чтобы заставить это работать? Как я могу изменить свою базовую структуру, чтобы получить эту работу?

Я использую интерфейс как следующие:

// Interface 
    template <typename T> 
    class IRule 
    { 
     public: 
      virtual bool isValid(T value) = 0; 
    }; 

И мой пример класса выглядит следующим образом:

class RuleRangeDouble : public IRule<double> 
    { 
     private: 
      double min; 
      double max; 
     public: 

      bool isValid(double value) 
      { 
.... 
      }; 
    }; 

Answer 1

Вы можете осуществить что-то вроде getBestValidValue() несколько способов. Одним из них является определение специального общее (но не шаблон) тип возвращаемого значения, которые будут использоваться для getBestValidValue(), а также в качестве аргумента типа для isValid(value) (ответ juanchopanza был неисправен здесь):

class ValueType 
{ 
    enum { is_int, is_double } my_type; // add more if you want 
    union { my_int; my_double; };  // union only works for simple types 
public: 
    // implicit construction from allowed types 
    ValueType(int x) : my_type(is_int), my_int(x) {} 
    ValueType(double x) : my_type(is_double), my_double(x) {} 
    // use SFINAE for is<type>() function 
    template<typename T> 
    typename std::enable_if<std::is_same<T,int>::value,bool>::type 
    is() const { return my_type==is_int; } 
    template<typename T> 
    typename std::enable_if<std::is_same<T,double>::value,bool>::type 
    is() const { return my_type==is_double; } 
    // implicit type conversion to allowed types 
    // note: does not assert(is<T>()) 
    operator int() { return my_int; } 
    operator double() { return my_double; } 
}; 

class IRule 
{ 
public: 
    virtual bool isValid(ValueType const&) const = 0; // fixed bug in juanchopanza's answer 
    virtual ValueType getBestValidValue() const = 0; // return any type of value 
    virtual ~IRule() {} 
}; 

template<typename T> 
class Rule : public IRule 
{ 
protected: 
    virtual bool valid(T) const = 0; 
    virtual T bestValidValue() const = 0; 
public: 
    bool isValid(ValueType const&value) const 
    { 
    return value.is<T>() 
     && valid(value);   // implicit type conversion to T 
    } 
    ValueType getBestValidValue() const 
    { 
    return bestValidValue();  // implicit construction of ValueType 
    } 
    .... 
} 

Answer 2

вектор должен быть вектором действительного типа, например std::vector<IRule<double>*>. Irule сам по себе не является типом, это шаблон класса. Таким образом, вам понадобится

std::vector<IRule<double>*> vec; 
RuleRangeDouble *rule = new RuleRangeDouble(0, 100); 
vec.push_back(rule); 

Если параметр шаблона не является частью интерфейса, вы можете ввести общий базовый класс. Не забудьте дать ему virtual деструктора:

class IRule 
{ 
    public: 
     virtual bool isValid(T value) = 0; 
     virtual ~IRule() {} 
}; 

template <typename T> 
class Rule : public IRule 
{ 
    ..... 
}; 

class RuleRangeDouble : public Rule<double> 
{ 
    .... 
}; 

Тогда ваш оригинальный случай использования образец будет работать:

std::vector<IRule*> vec; // IRule really is a type now 
RuleRangeDouble *rule = new RuleRangeDouble(0, 100); 
vec.push_back(rule);