Короутіни підходять на роль потенційно безкінечної функції, виконання якої можна призупиняти, а потім відновлювати.
Coroutines

Функція iota з прикладу безкінечно повертає наступний int. На co_yield виконання зупиняється і повертається значення n, а при наступному виклику iota виконання відновлюється.

generator<int> iota(int n = 0) {
  while(true)
    co_yield n++;
}

Як мінімум в python і java, короутіни давно імплементовані, а в С++ вони тільки-тільки з'являються, можливо ще й не затверджені в стандарті.

Та й узагалі - стискання пам'яті (це те, що ви, фактично, намагаєтеся робити гешем) це окрема цікава тема. В Linux це вміє робити прямо ядро (zswap).

Цікаво, чи можливий у C або C++ перехід (goto) на довільно задану адресу пам'яті (аналог асемблерного jmp зі змінною) та отримання такої адреси з імені мітки? Десь колись у якійсь книжці бачив сішний код з такими діями, але не впевнений, чи це був реальний код, а не псевдокод для пояснення внутрішньої механіки якихось алгоритмічних конструкцій.
Якщо така можливість є, з нею можна заімплементити будь-які варіації на тему переходів/повернень/викликів, не вдаючись до асемблерних вставок. Втім, якщо, наприклад, нам потрібен аналог ON змінна GOTO список_міток, для його реалізації достатньо й switch-case з переходами звідти.

Ідея ось у чому: якщо точок рекурсивного виклику функції існує всього декілька, і місце повернення завжди можна визначити зі значень змінних, то без стеку адрес переходів можна обійтися. Як і без стеку змінних, якщо їхні попередні значення можна відновити не зі стеку, а з їхніх поточних значень. Подібним чином, наприклад, можливо розкласти класичну задачу про ханойські вежі (попри те, що звести її до хвостової рекурсії неможливо, інформацію про місце рекурсивного виклику можна вкласти в один біт (звівши, таким чином, стек переходів до однієї цілої змінної), а збереження змінних у стеку замінити простими обмінами значень). На жаль, не для всіх задач така оптимізація можлива: якщо з ханойськими вежами це працює, то тільки тому, що дію для будь-якого довільно заданого кроку тут можна знайти, не здійснюючи всіх попередніх кроків взагалі. Ну і оскільки роль стеку, в випадку такої реалізації ханойських веж, виконує ціле число, розмір якого обмежений, це робить таку псевдорекурсію незовсім нескінченною.