Частичная специализация шаблона С++ - специализируется только одна функция-член
Включение в другую проблему с шаблонами:
Проблема: я хочу частично специализировать контейнер-класс (foo) для случая, когда объекты являются указателями, и я хочу специализировать только метод delete. Должно выглядеть так:
Код lib
template <typename T>
class foo
{
public:
void addSome (T o) { printf ("adding that object..."); }
void deleteSome (T o) { printf ("deleting that object..."); }
};
template <typename T>
class foo <T *>
{
public:
void deleteSome (T* o) { printf ("deleting that PTR to an object..."); }
};
Код пользователя
foo<myclass> myclasses;
foo<myclass*> myptrs;
myptrs.addSome (new myclass());
Это приводит к тому, что компилятор говорит мне, что у myptrs нет метода под названием addSome.
Почему?
Thanx.
Решение
на основе ответа tony здесь полностью компилируемый материал
Lib
template <typename T>
class foobase
{
public:
void addSome (T o) { printf ("adding that object..."); }
void deleteSome (T o) { printf ("deleting that object..."); }
};
template <typename T>
class foo : public foobase<T>
{ };
template <typename T>
class foo<T *> : public foobase<T *>
{
public:
void deleteSome (T* o) { printf ("deleting that ptr to an object..."); }
};
пользователь
foo<int> fi;
foo<int*> fpi;
int i = 13;
fi.addSome (12);
fpi.addSome (&i);
fpi.deleteSome (12); // compiler-error: doesnt work
fi.deleteSome (&i); // compiler-error: doesnt work
fi.deleteSome (12); // foobase::deleteSome called
fpi.deleteSome (&i); // foo<T*>::deleteSome called
Ответы
Ответ 1
Второе решение (исправить)
template <typename T>
class foo
{
public:
void addSome (T o) { printf ("adding that object..."); }
void deleteSome(T o) { deleteSomeHelper<T>()(o); }
protected:
template<typename TX>
struct deleteSomeHelper { void operator()(TX& o) { printf ("deleting that object..."); } };
template<typename TX>
struct deleteSomeHelper<TX*> { void operator()(TX*& o) { printf ("deleting that PTR to an object..."); } };
};
Это решение действует в соответствии с Core Issue # 727.
Первое (неправильное) решение: (хранит это как комментарии к нему)
Вы не можете специализироваться только на части класса. В вашем случае лучший способ - перегрузить функцию deleteSome
следующим образом:
template <typename T>
class foo
{
public:
void addSome (T o) { printf ("adding that object..."); }
void deleteSome (T o) { printf ("deleting that object..."); }
void deleteSome (T* o) { printf ("deleting that object..."); }
};
Ответ 2
Другое решение. Используйте вспомогательную функцию deleteSomeHelp
.
template <typename T>
class foo {
public:
void addSome (T o) { printf ("adding that object...");
template<class R>
void deleteSomeHelp (R o) { printf ("deleting that object..."); }};
template<class R>
void deleteSomeHelp (R * o) { printf ("deleting that PTR to an object..."); }};
void deleteSome (T o) { deleteSomeHelp(o); }
}
Ответ 3
Я еще не видел это решение, используя boost enable_if
, is_same
и remove_pointer
, чтобы получить две функции в классе, без какого-либо наследования или другого прорыва.
См. ниже версию, используя только remove_pointer
.
#include <boost\utility\enable_if.hpp>
#include <boost\type_traits\is_same.hpp>
#include <boost\type_traits\remove_pointer.hpp>
template <typename T>
class foo
{
public:
typedef typename boost::remove_pointer<T>::type T_noptr;
void addSome (T o) { printf ("adding that object..."); }
template<typename U>
void deleteSome (U o, typename boost::enable_if<boost::is_same<T_noptr, U>>::type* dummy = 0) {
printf ("deleting that object...");
}
template<typename U>
void deleteSome (U* o, typename boost::enable_if<boost::is_same<T_noptr, U>>::type* dummy = 0) {
printf ("deleting that PTR to that object...");
}
};
Упрощенная версия:
#include <cstdio>
#include <boost\type_traits\remove_pointer.hpp>
template <typename T>
class foo
{
public:
typedef typename boost::remove_pointer<T>::type T_value;
void addSome (T o) { printf ("adding that object..."); }
void deleteSome (T_value& o) { // need ref to avoid auto-conv of double->int
printf ("deleting that object...");
}
void deleteSome (T_value* o) {
printf ("deleting that PTR to that object...");
}
};
И он работает на MSVC 9: (прокомментировал строки, которые дают ошибки, поскольку они неверны, но хороши для тестирования)
void main()
{
foo<int> x;
foo<int*> y;
int a;
float b;
x.deleteSome(a);
x.deleteSome(&a);
//x.deleteSome(b); // doesn't compile, as it shouldn't
//x.deleteSome(&b);
y.deleteSome(a);
y.deleteSome(&a);
//y.deleteSome(b);
//y.deleteSome(&b);
}
Ответ 4
Создайте базовый класс для одиночной функции deleteSome
template<class T>
class base {
public:
void deleteSome (T o) { printf ("deleting that object..."); }
}
Сделать частичную специализацию
template<class T>
class base<T*> {
public:
void deleteSome (T * o) { printf ("deleting that PTR to an object..."); }
}
Используйте базовый класс
template <typename T>
class foo : public base<T> {
public:
void addSome (T o) { printf ("adding that object...");
}
Ответ 5
Вы можете использовать наследование, чтобы заставить это работать:
template <typename T>
class foobase
{
public:
void addSome (T o) { printf ("adding that object..."); }
void deleteSome (T o) { printf ("deleting that object..."); }
};
template <typename T>
class foo : public foobase<T>
{ };
template <typename T>
class foo <T *> : public foobase<T>
{
public:
void deleteSome (T* o) { printf ("deleting that PTR to an object..."); }
};