5

是否可以使用 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>？

4

1 回答 1

9

使用vprint<std::string, std::string>，您必须传递 r 值引用，因此

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

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

std::experimental::apply([](auto&&... args) {
                             vprint(std::forward<decltype(args)>(args)...);
                         },
                         t);
于 2016-11-10T08:57:09.477 回答