Следуя методам "Modern С++ Design", я реализую библиотеку персистентности с различными оптимизациями во время компиляции. Я хотел бы, чтобы возможность отправлять функцию в шаблонную переменную-член, если эта переменная получена из данного класса:
template<class T, template <class> class Manager = DefaultManager> class Data
{
private:
T *data_;
public:
void Dispatch()
{
if(SUPERSUBCLASS(Container, T))
{
data_->IKnowThisIsHere();
}
else
{
Manager<T>::SomeGenericFunction(data_);
}
}
}
Где SUPERSUBCLASS - это макрос времени компиляции для определения наследования объектов. Конечно, это не удается во всех случаях, когда T наследует от Container (или T является внутренним типом и т.д.), Потому что компилятор справедливо жалуется, что IKnowThisIsHere() не является членом данных, хотя этот путь кода никогда не будет соблюден, как показано здесь после предварительной обработки с помощью T = int:
private:
int *data_;
public:
void Dispatch()
{
if(false)
{
data_->IKnowThisIsHere();
Компилятор явно жалуется на этот код, хотя он никогда не будет выполнен. Предложение об использовании dynamic_cast также не работает, поскольку повторное преобразование типа выполняется во время компиляции, что невозможно (например, с T = double, std::string):
void Dispatch()
{
if(false)
{
dynamic_cast<Container*>(data_)->IKnowThisIsHere();
error: cannot dynamic_cast '((const Data<double, DefaultManager>*)this)->Data<double, DefaultManager>::data_' (of type 'double* const') to type 'class Container*' (source is not a pointer to class)
error: cannot dynamic_cast '((const Data<std::string, DefaultManager>*)this)->Da<sttad::string, DefaultManager>::data_' (of type 'struct std::string* const') to type 'class Container*' (source type is not polymorphic)
Мне действительно нужно подражать (или действительно убеждать!), когда компилятор испускает один набор кода, если T наследует от Container, а другой, если он этого не делает.
Любые предложения?