使用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);

现在,编译器最终会出现一些模糊的错误,这些错误暴露了标准的库内部.

我std::apply在C++ 11中编写了自己的实现,我理解为什么它不能推断出可变参数函数模板的参数.但是,从理论上讲,std::apply具有扣除所需的所有信息.

可变功能的应用是否也是GCC6中尚未实现的功能？C++ 17兼容的编译器是否允许这样的应用程序？如果没有,它们是否允许应用实例化的可变参数模板函数,如vprint<std::string, std::string>？

Answer 1

有了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);