Я вам покушать принес

https://ideone.com/LJnZpJ

Что именно тебе не нравится? Int и set<int> — это разные типы.

Возможно он хотел вернуть из функции ‘std::set< T >‘ и зациклить компилятор?

и сам же подавился

Как уже ответили. Это разные типы. Поэтому инстанцируется два разных экземпляра шаблона. Т.е. получается две разных функции. И рекурсии нет.

Другой вопрос в том, зацикливается компилятор.

Там есть настраиваемый лимит на глубину рекурсии в шаблонах :)

Только в голове веб-макаки int === set<int>. Обколюцца своими динамическими типизациями и…

Можешь подробнее?

Ну компилятор на самом деле не зациклится конечно, но текст ошибки тебе понравится. Там будет что-то типа не могу скастовать set<set<set…[глубина рекурсии] в set<set<set…[глубина рекурсии минус один]. На дефолтной настройке это займет несколько десятков страниц.

// $ cat recursion.cc 
#include <cstdio>

template <int N> struct Number {
    enum { value = 1 + Number<N - 1>::value };
};

template <> struct Number<0>
{
    enum { value = 0 };
};

int main()
{
    int n = Number<2048>::value;

    printf("Number: %d\n", n);

    return 0;
}

$ g++ recursion.cc -o rec                      
recursion.cc: In instantiation of ‘struct Number<1149>’:
recursion.cc:4:22:   recursively required from ‘struct Number<2047>’
recursion.cc:4:22:   required from ‘struct Number<2048>’
recursion.cc:14:25:   required from here
recursion.cc:4:22: fatal error: template instantiation depth exceeds maximum of 900 (use -ftemplate-depth= to increase the maximum)
     enum { value = 1 + Number<N - 1>::value };
                    ~~^~~~~~~~~~~~~~~
compilation terminated.

$ g++ recursion.cc -o rec -ftemplate-depth=2049
$ ./rec 
Number: 2048

К слову, шланг во втором вызове валится в сегфолт ¯\_(ツ)_/¯

Ну компилятор на самом деле не зациклится конечно, но текст ошибки тебе понравится.

Текст ошибки весьма короток и лаконичен. Если не считать шланга, которому оторвало днище сегфолтом.

Попробуй скомпилируй такой код:

#include <set>

template<typename T>
std::set<T> foo() {
    return foo<std::set<T>>();
}

int main() {
    foo<std::set<int>>();
    return 0;
}

Мой clang срет кирпичами.

Ну ты -ftemplate-depth=10 напиши, будет гораздо короче.

А как по твоему переписать код ТС-а, чтобы не было рекурсии?

котлин-макака смотрит на вас со снисходительным умилением

А как по твоему переписать код ТС-а, чтобы не было рекурсии?

А что код ТС-а должен делать? Кроме как выдавать ошибку при компиляции.

В Котлине компилятор выполняет бесконечный цикл за конечное время? Или просто типы не проверяет?

С 10 да, а по дефолту жопа.

По дефолту то же, только у шланга template-depth=1024, поэтому так много срани. Тащемта, это первый параметр который я ставлю в минимум если при компиляции вылезает что-то больше 20 строк.

мы на котлине рекурсии делаем куда более простыми и читаемыми способами. ведь все знают насколько лаконичен код на котлине!

Здесь тоже всё просто. Только в коде ошибка.

Древние сказания говорят, что темплейты в плюсах – отдельный язык, на котором можно всё.

Котлин классный язык, это да.

Основная особенность которого - любая опечатка компилируется.

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