Как рекурсивно разыменовать указатель (С++ 03)?

Я пытаюсь рекурсивно разыменовать указатель на С++.

Если объект передан, который не является указателем (включая интеллектуальные указатели), я просто хочу вернуть сам объект по ссылке, если это возможно.

У меня есть этот код:

template<typename T> static T &dereference(T &v) { return v; }
template<typename T> static const T &dereference(const T &v) { return v; }
template<typename T> static T &dereference(T *v) { return dereference(*v); }

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

Итак, как я могу "остановить" процесс разыменования, когда тип разыменования имеет тот же тип, что и исходный объект?

Примечание:

Я вижу, что мой вопрос был отмечен как дубликат аналогичного вопроса, который использует Boost; однако мне нужно решение без Boost (или любых других библиотек).

Пример:

template<typename T> T &dereference(T &v) { return v; }
template<typename T> const T &dereference(const T &v) { return v; }
template<typename T> T &dereference(T *v) { return dereference(*v); }

template<typename TCallback /* void(int) */>
void invoke(TCallback callback) { dereference(callback)(); }

void callback() { }

struct Callback {
     static void callback() { }
     void operator()() { }
};

int main() {
    Callback obj;
    invoke(Callback());          // Should work (and does)
    invoke(obj);                 // Should also work (and does)
    invoke(&obj);                // Should also work (and does)
    invoke(Callback::callback);  // Should also work (but doesn't)
    invoke(&Callback::callback); // Should also work (but doesn't)
    invoke(callback);            // Should also work (but doesn't)
    invoke(&callback);           // Should also work (but doesn't)
    return 0;
}

Примечание:

Ответ 1