c++ - C++14 中这个 C++17 折叠表达式的一个很好的替代方案是什么？

Question

这是 C++17 中基于 lambda 的简洁折叠表达式:

#include <cstdint>

using ::std::uint64_t;

constexpr auto sumsquares = [](auto... n) { return ((n * n) + ...); };

// I want this to work.
uint64_t foo(uint64_t x, uint64_t y, uint64_t z)
{
    return sumsquares(x, y, z);
}
// And this too
double bar(uint64_t x, double y)
{
    return sumsquares(x, y);
}

我写了这段代码来在 C++14 中做类似的事情，但它似乎比它应该的更冗长和困惑。我正在寻找一种以相对清晰简洁的方式在 C++14 中表达上述 C++17 代码的方法。准确地说，我希望能够编写代码，使用函数调用之类的语法为某个已知维数的 vector 计算 vector 大小的平方。但是维度的数量可以任意变化。并且坐标系的各个分量的精确数值类型也可以是任意的并且可能是异构的。但在 C++14 中处理 C++17 折叠表达式的通用方法将是理想的。

#include <cstdint>
#include <utility> 

using ::std::uint64_t;

namespace {
    static constexpr struct {
        template <typename T>
        auto operator()(T && n) const
        {
           return n*n;
        }
        template <typename T, typename... S>
        auto operator()(T && n, S && ... s) const
        {
            return (n * n) + (*this)(::std::forward<S>(s)...);
        }
    } sumsquares;
}

// I want this to work.
uint64_t foo(uint64_t x, uint64_t y, uint64_t z)
{
    return sumsquares(x, y, z);
}
// And this too
double bar(uint64_t x, double y)
{
    return sumsquares(x, y);
}

Answer 1

#include <utility>
#include <functional>

template<class F, class A0>
auto fold(F&&, A0&& a0) {
    return std::forward<A0>(a0);
}

template<class F, class A0, class...As>
auto fold(F&& f, A0&&a0, As&&...as) {
    return f(std::forward<A0>(a0), fold(f, std::forward<As>(as)...));
}

auto sum_squares=[](auto&&...args) {
    return fold(std::plus<>{}, (args * args)... );
};