使用 std::apply 应用可变参数函数

Question

是否可以将可变参数函数应用于具有 std::apply 的元组？

例如，以下代码适用于 GCC 6.2.1：

void print_t(std::string i, std::string j) {
    std::cout << i << " " << j << std::endl;
}

int main() {
        std::tuple<std::string, std::string> t{"ab", "cd"};
        std::experimental::apply(print_t, t);
        return 0;
}

但是如果我尝试应用可变参数函数：

template<typename T>
void vprint(T && t) {
    std::cout << std::forward<T>(t) << std::endl;
}

template<typename T, typename ... Ts>
void vprint(T && t, Ts ... ts) {
    std::cout << std::forward<T>(t) << " ";
    vprint<Ts...>(std::forward<Ts>(ts)...);
}

int main() {
        std::tuple<std::string, std::string> t{"fd", "ab"};
        std::experimental::apply(vprint, t);
        return 0;
}

编译器抱怨它无法推导出 vprint 的模板参数。好的，让我们明确地写出来：

std::experimental::apply(vprint<std::string, std::string>, t);

现在编译器以一些隐蔽的错误告终，这些错误暴露了标准库的内部结构。

我在 C++11 中编写了自己的 std::apply 实现，我明白为什么它不能推导可变参数函数模板的参数。但是，理论上，std::apply 拥有推论所需的所有信息。

那么可变参数函数的应用是GCC6中尚未实现的功能吗？ C++17兼容的编译器会允许这样的应用吗？如果没有，他们会允许应用实例化的可变参数模板函数，比如 vprint<std::string, std::string>?

Answer 1

使用vprint<std::string, std::string>，你必须传递右值引用，所以

std::experimental::apply(vprint<std::string, std::string>, std::move(t));

更好的方法是使用仿函数（感谢通用 lambda）：

std::experimental::apply([](auto&&... args) {
                             vprint(std::forward<decltype(args)>(args)...);
                         },
                         t);

使用 std::apply 应用可变参数函数

Applying a variadic function with std::apply

c++

apply

c++14

c++17

stdapply