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>，您必须传递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);

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

1 个答案: