Question

我找到了interesting article，并在MSVS 2017中尝试了其代码：

#include <utility>
#include <tuple>

template <typename... Args, typename Func, std::size_t... Idx>
void for_each(const std::tuple<Args...>& t, Func&& f, std::index_sequence<Idx...>) {
    f(std::get<Idx>(t))...;
}

template <typename... Args, typename Func>
void for_each(const std::tuple<Args...>& t, Func&& f) {
    for_each(t, f, std::index_sequence_for<Args...>{});
}

template <typename T>
void Write(std::wostream & out, const T & t)
{
    out << t;
}

template<typename ...Args>
void WriteV(std::wostream & out, Args&... args)
{
    for_each(std::tuple<Args&...>(args...), [&out](auto& a) { Write(out, a); });
}

struct A
{
    int n;
    std::wstring s;
    double d;
};

    void main()
    {
        std::wostringstream out;

        A a{ 1, std::wstring(L"2"), 3.0 };
        WriteV(a.n, a.s, a.d);
    }

，但是代码没有编译错误：

error C2760: syntax error: unexpected token '...', expected ';'
error C3520: 'Idx': parameter pack must be expanded in this context

这是否意味着VS2017不完全支持折叠表达式？

Answer 1

此代码仅需要进行一些语法修复：

(f(std::get<Idx>(t)), ...);

和

WriteV(out, a.n, a.s, a.d);

请注意，出于某些原因，此代码很长。可以替换为

 template<typename ... Args>
 void WriteV(std::wostream & out, Args const & ... args)
 {
     (out << ... << args);
 }

Answer 2

这种方式是错误的

f(std::get<Idx>(t))...;

您必须选择。

（1）是否要仅使用所有参数一次调用f()？在这种情况下，您必须将省略号（“ ...”放在呼叫内部

f(std::get<Idx>(t)...);

（2）还是要（在您的示例中，我想是这样）对每个参数（f()，N个调用）调用N？在这种情况下，您可以（从C ++ 17开始）结合使用模板折叠和逗号运算符并添加几个括号

    (f(std::get<Idx>(t) , ...);
// .^...................^....^   <- comma and parentheses

第二种方法（C ++ 17之前的版本）可以在（通常未使用的）数组的初始化中进行模拟。如下

using unused = int[];

(void) unused { 0, ((void)f(std::get<Idx>(t)), 0)... };

VS2017是否完全支持折叠表达式？

2 个答案: