Ну, ваш код не работает. Но это делает:
template<class F>
struct ycombinator {
F f;
template<class...Args>
auto operator()(Args&&...args){
return f(f, std::forward<Args>(args)...);
}
};
template<class F>
ycombinator(F) -> ycombinator<F>;
Тестовый код:
ycombinator bob = {[x=0](auto&& self)mutable{
std::cout << ++x << "\n";
ycombinator ret = {self};
return ret;
}};
bob()()(); // prints 1 2 3
Ваш код UB и плохо сформирован. Диагностика не требуется. Что смешно; но оба могут быть исправлены независимо.
Во-первых, UB:
auto it = [&](auto self) { // outer
return [&](auto b) { // inner
std::cout << (a + b) << std::endl;
return self(self);
};
};
it(it)(4)(5)(6);
это UB, потому что external принимает self по значению, затем внутренний захватывает self по ссылке, а затем возвращает его после того, как outer завершит работу. Так что segfaulting определенно в порядке.
Исправление:
[&](auto self) {
return [self,&a](auto b) {
std::cout << (a + b) << std::endl;
return self(self);
};
};
Код остается некорректным. Чтобы увидеть это, мы можем расширить лямбды:
struct __outer_lambda__ {
template<class T>
auto operator()(T self) const {
struct __inner_lambda__ {
template<class B>
auto operator()(B b) const {
std::cout << (a + b) << std::endl;
return self(self);
}
int& a;
T self;
};
return __inner_lambda__{a, self};
}
int& a;
};
__outer_lambda__ it{a};
it(it);
это создает __outer_lambda__::operator()<__outer_lambda__>:
template<>
auto __outer_lambda__::operator()(__outer_lambda__ self) const {
struct __inner_lambda__ {
template<class B>
auto operator()(B b) const {
std::cout << (a + b) << std::endl;
return self(self);
}
int& a;
__outer_lambda__ self;
};
return __inner_lambda__{a, self};
}
int& a;
};
Итак, теперь мы должны определить тип возвращаемого значения __outer_lambda__::operator().
Мы проходим это строка за строкой. Сначала мы создаем __inner_lambda__ тип:
struct __inner_lambda__ {
template<class B>
auto operator()(B b) const {
std::cout << (a + b) << std::endl;
return self(self);
}
int& a;
__outer_lambda__ self;
};
Теперь посмотрите - тип возвращаемого значения self(self) или __outer_lambda__(__outer_lambda__ const&). Но мы пытаемся определить тип возвращаемого значения __outer_lambda__::operator()(__outer_lambda__).
Вам не разрешено это делать.
Хотя на самом деле тип возвращаемого значения __outer_lambda__::operator()(__outer_lambda__) фактически не зависит от типа возвращаемого значения __inner_lambda__::operator()(int), C ++ не заботится при выводе возвращаемых типов; он просто проверяет код построчно.
И self(self) используется до того, как мы вывели его. Плохо сформированная программа.
Мы можем исправить это, скрыв self(self) до следующего:
template<class A, class B>
struct second_type_helper { using result=B; };
template<class A, class B>
using second_type = typename second_type_helper<A,B>::result;
int main(int argc, char* argv[]) {
int a = 5;
auto it = [&](auto self) {
return [self,&a](auto b) {
std::cout << (a + b) << std::endl;
return self(second_type<decltype(b), decltype(self)&>(self) );
};
};
it(it)(4)(6)(42)(77)(999);
}
и теперь код правильный и компилируется. Но я думаю, что это немного взломать; просто используйте ycombinator.