Other/LambdaRecursion.cpp

View this file on GitHub
Last update: 2021-11-16 21:56:45+09:00

Code

template<typename F>
struct FixPoint : F {
    template<typename G>
    FixPoint(G&& g) : F{std::forward<G>(g)} {}

    template<typename... Args>
    decltype(auto) operator()(Args&&... args) const {
        return F::operator()(*this,std::forward<Args>(args)...);
    }
};

#if defined(__cpp_deduction_guides)
template<typename F>
FixPoint(F&&) -> FixPoint<std::decay_t<F>>;
#endif

template<typename F>
inline FixPoint<std::decay_t<F>> fix(F&& f) {
    return std::forward<std::decay_t<F>>(f);
}

#line 1 "Other/LambdaRecursion.cpp"
template<typename F>
struct FixPoint : F {
    template<typename G>
    FixPoint(G&& g) : F{std::forward<G>(g)} {}

    template<typename... Args>
    decltype(auto) operator()(Args&&... args) const {
        return F::operator()(*this,std::forward<Args>(args)...);
    }
};

#if defined(__cpp_deduction_guides)
template<typename F>
FixPoint(F&&) -> FixPoint<std::decay_t<F>>;
#endif

template<typename F>
inline FixPoint<std::decay_t<F>> fix(F&& f) {
    return std::forward<std::decay_t<F>>(f);
}