c++ - 对 C++ 11 可变模板参数进行操作，存储到元组中

Question

我正在尝试使用可变模板参数学习一些 C++ 11。

我想将浮点输入参数列表传递给 convertTest()，然后返回一个 std::int 元组。我尝试在 g++ 中编译以下内容:

template<typename ...ArgsIn, typename ...ArgsOut>
static inline std::tuple<ArgsOut...> convertTest(float nextArg, ArgsIn... remainingArgs)
{
    auto a = convertTest(remainingArgs...);
    auto b = std::make_tuple(int(nextArg));
    auto c = std::tuple_cat(a, b);

    return c;
}

static inline std::tuple<int> convertTest(float lastArgIn)
{
    return std::make_tuple((int)lastArgIn);
}

int main()
{
    auto res = convertTest(0.5f, 10.11f);
    return 0;
}

我收到以下错误:

 error: conversion from 'std::tuple<int, int>' to non-scalar type 'std::tuple<>' requested

我不确定为什么返回类型 std::tuple<ArgsOut...>将解析为 std::tuple<> .有什么想法吗？

我试过使返回类型为 auto ，但在这种情况下，我收到有关缺少尾随返回类型的投诉。

有什么想法吗？

Answer 1

Argout不可推导，因此成为空列表。 因此，您必须改为按该顺序编写函数

template<typename ... ArgsOut, typename ...ArgsIn>
static std::tuple<ArgsOut...> convertTest(float nextArg, ArgsIn... remainingArgs);

然后调用它

convertTest<int, int>(0.5f, 10.11f);

顺便说一句，你可以简单地写成这样(删除你独占float的事实)

template<typename ...Args>
auto convertTest(Args... args)
-> decltype(std::make_tuple(static_cast<int>(args)...))
{
    return std::make_tuple(static_cast<int>(args)...)
}