Я использую шаблон проектирования стирания типа, чтобы предоставить независимый от шаблона интерфейс для одного из моих классов шаблонов. Однако я столкнулся с проблемой, что один из методов, которые я хочу раскрыть, который объединяет два экземпляра шаблона в третий экземпляр с другим аргументом параметра константы шаблона, по-видимому, требует виртуальных методов шаблона, которые являются незаконными.
Это мой код:
#include <stdlib.h>
template<size_t N>
class bar
{
template<size_t M>
bar<M+N> fuse(const bar<M>& rhs) { return bar<M+N>(); }
};
class bar_any_N
{
private:
class abstract_base
{
virtual bar_any_N fuse(const abstract_base* rhs) = 0;
template<size_t M>
virtual bar_any_N fuse_accept(const bar<M>& lhs) = 0;
};
template<size_t N>
class wrapper : public abstract_base
{
private:
bar<N> m_bar;
public:
wrapper(const bar<N>& the_bar) : m_bar(the_bar) { }
bar_any_N fuse(const abstract_base* rhs) { return rhs->fuse_accept(*this); }
template<size_t M>
bar_any_N fuse_accept(const bar<M>& lhs) { return lhs.m_bar.fuse(this->m_bar) }
};
abstract_base* m_ptr;
public:
template<size_t N>
bar_any_N(const bar<N>& the_bar) { m_ptr = new wrapper<N>(the_bar); }
};
int main()
{
bar<1> b1;
bar<2> b2;
bar_any_N b1_erased(b1);
bar_any_N b2_erased(b2);
bar_any_N b3 = b1_erased.fuse(b2_erased);
return 0;
}
Есть ли у кого-нибудь другой способ реализовать это, не требующий члена виртуального шаблона?
РЕДАКТИРОВАТЬ: Целью этого «независимого от шаблона интерфейса» является передача векторов экземпляров панели с различными параметрами шаблона в функции:
std::vector< bar_any_N > vec;
vec.push_back(bar<2>());
vec.push_back(bar<5>());
foo_func(vec);
РЕДАКТИРОВАТЬ:
Вот более простой рабочий пример с методом печати вместо описанного выше метода предохранителя, который показывает, как я ХОЧУ, чтобы это работало:
fuse_accept
проблема? Если да, то почему бы вам не реализовать это не виртуально вabstract_base
? - person Jonas Bötel   schedule 04.11.2013M
? Если нет, проблема. Во время стирания типа должны быть реализованы все методы, которые могут быть созданы. Без верхнего пределаM
это невозможно (ну, максимумsize_t
— это верхний предел, так что просто непрактично). ПочемуN
должен быть параметром времени компиляции? - person Yakk - Adam Nevraumont   schedule 04.11.2013N
является константой времени компиляции только для удобства отладки? - person Yakk - Adam Nevraumont   schedule 04.11.2013