C++0x : how to get variadic template parameters without reference?

Question

给出以下人为的(是的，很糟糕的)示例:

template<typename... Args>
void something(Args... args)
{
    std::tuple<Args...> tuple; // not initializing for sake of example
    std::get<0>(tuple) = 5;
}

如果你这样调用它，它会起作用:

int x = 10;
something<int>(x);

但是，如果你这样调用它是行不通的:

int x = 10;
something<int&>(x);

由于对 5 的赋值。假设无论出于何种原因，我都无法在定义元组时对其进行初始化，那么在将类型指定为引用时，我如何才能使其正常工作？

具体来说，我希望元组为 std::tuple<int>即使Args...是int& .

实际用例涉及将字符串反序列化为元组，其中 Args...是函数的参数类型，然后通过解包元组调用该函数。这一切都很好，除非函数通过引用获取参数。

我正在使用 gcc 4.5.2，但会接受一个尚未在此编译器中实现的答案。

Answer 1

我不明白你的问题。这段代码在 GCC 上运行良好，我看不出它为什么不能运行。

#include <tuple>

template<typename... Args>
void something(Args... args)
{
  std::tuple<Args...> tuple{args...};
  std::get<0>(tuple) = 5;
}

int main() {
  int x = 10;
  something<int&>(x);
}

[js@HOST2 cpp]$ g++ -std=c++0x main1.cpp
[js@HOST2 cpp]$

我不知道你所说的“初始化模板”是什么意思。

---

既然你现在已经更新了问题，我可以更新我的答案了

template<typename... Args>
void something(Args... args)
{
  std::tuple<typename std::decay<Args>::type...> tuple;
  std::get<0>(tuple) = 5;
}

decay 移除 const/volatile，移除引用并将数组和函数类型分别转换为元素和函数指针。这就是您要寻找的东西。