C ++ - скрытие параметров шаблона от клиентского кода

Недавно я читал о специализированных распределителях памяти для c++ и натолкнулся на концепцию intressting, в которой вместо использования указателей используются "дескрипторы", которые эффективно указывают на указатели, это позволяет распределителю переупорядочить свою память, чтобы избежать фрагментации, избегая при этом проблема недействительности всех указателей на выделенную память.

Однако разные распределители, возможно, захотят использовать ручки по-разному, например, распределитель пулов не будет необходимости переупорядочивать свою память, как это делают другие распределители. Те, кому нужно переупорядочить свою память, могут нуждаться в обработке ручек в качестве указателей на указатели, индексы на массив указателей и т.д., Тогда как распределители, которые не переупорядочивают свою память, будут обрабатывать ручки как простой указатель. В идеале каждый распределитель мог бы использовать другой тип дескриптора, чтобы он мог достичь оптимальной производительности, имея класс базового дескриптора с виртуальными методами, который мог бы нанести много накладных расходов, поскольку дескрипторы будут использоваться каждый раз, когда вам понадобится доступ к любой функции/члену класса, распределенного динамически.

Мое решение состояло в том, чтобы использовать частичную специализацию шаблонов, чтобы тип дескриптора был разработан во время компиляции, устраняя накладные расходы времени выполнения виртуальных машин и позволяя компилятору выполнять другие оптимизации (например: inlining)

/////////////////////////////////////////////////
/// \brief The basic handle class, acts as simple pointer
/// Single layer of indirection
/////////////////////////////////////////////////
template <typename T>
class Handle{
public:
    T* operator->(){return obj;}
    //other methods...
private:
    T* obj;
};

/////////////////////////////////////////////////
/// \brief Pointer specialization of the handle class, acts as a pointer to pointer
/// allowing allocators to rearrange their data
/////////////////////////////////////////////////
template <typename T>
class Handle<T *>{
public:
    T* operator->(){return *obj;};
    //other methods...
private:
    T** obj;
};

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

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

Либо мне нужно, чтобы все дескрипторы, указывающие на экземпляр "TypeA", имели тип Handle<TypeA> а затем использовали другой метод для специализирования шаблонов для предоставления различных функций или как-то скрыть параметр шаблона из любого кода, используя ручками. Как это можно достичь?

(Этот метод скрытия параметров шаблона также был бы полезен в других случаях, например, в системе ведения журнала на основе политик, где класс может захотеть ссылаться на любой тип регистратора, не будучи тем самым затененным. Очевидно, что в случае ведения журнала виртуального наследования может использоваться, поскольку доминирующим фактором в скорости будет использование ввода-вывода, а не служебных вызовов функции)