C++0x：如何在没有参考的情况下获取可变参数模板参数？

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，删除引用并将数组和函数类型分别转换为元素和函数指针。这似乎就是您要寻找的东西。

Answer 2

你试过std::tuple<std::remove_reference<Args>...>吗？