什么是C 14中这种C 17倍表达的良好替代品？

这是一个很好的,简洁的折叠表达式基于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代码.确切地说,我希望能够编写一个代码,该代码使用函数调用语法来计算某些已知维数的向量的向量大小的平方.但是,尺寸的数量可以任意变化.并且坐标系的各个组件的精确数字类型也可以是任意的并且可能是异构的.但是在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);
}

解决方法:

#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)... );
};

标签：fold-expression,c,templates,c14,variadic-templates
来源： https://codeday.me/bug/20190910/1801227.html