如何在可变函数中模拟fold表达式?

时间:2017-02-13 20:07:37

标签: c++ visual-c++ variadic-templates

似乎微软支持Fold Expressions的速度很慢,我很难找到模仿它的方法。我有以下缩减示例。由于不支持Fold Expressions,因此无法在Visual Studio 2017上进行编译。 知道如何模仿它吗?

template<typename... Args>
void get(weak_ptr<sqlite::database> awdb_, Args&&... args) {
    (*awdb_.lock() << ... << args);
}

1 个答案:

答案 0 :(得分:7)

在折叠表达式之前,有expander trick

template <class... Args>
void get(weak_ptr<sqlite::database> awdb_, Args&&... args) {
    if (auto db = awdb_.lock()) {
        using expander = int[];
        (void)expander{0,
            (void(*db << std::forward<Args>(args)), 0)...
        };
    }
}

作为T.C.指出,如果<<除了返回*this以外的其他事情,这并不一定严格等同,所以我们可以写:

template <class F, class Arg>
decltype(auto) fold(F&& , Arg&& arg) {
    return std::forward<Arg>(arg);
}

template <class F, class A0, class A1, class... Args>
decltype(auto) fold(F&& f, A0&& a0, A1&& a1, Args&&... args) {
    return fold(f, f(a0, a1), std::forward<Args>(args)...);
}

template <class... Args>
void get(weak_ptr<sqlite::database> awdb_, Args&&... args) {
    if (auto db = awdb_.lock()) {
        auto lshift = [](auto&& a, auto&& b) -> decltype(auto) { return a << std::forward<decltype(b)>(b); };
        fold(lshift, *db, std::forward<Args>(args)...);
    }
}