Я пытаюсь рекурсивно разыменовать указатель в C ++.
Если передан объект, который не указатель (включая интеллектуальные указатели), я просто хочу вернуть сам объект, по ссылке, если это возможно.
У меня есть этот код:
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;
}