Question

我一直在尝试将std::tuple与参考文献结合使用：

#include <iostream>
#include <tuple>

int main() {
  int a,b;
  std::tuple<int&,int&> test(a,b);
  std::get<0>(test) = 1;
  std::get<1>(test) = 2;
  std::cout << a << ":" << b << std::endl;

  // doesn't make ref, not expected
  auto test2 = std::make_tuple(a,b);
  std::get<0>(test2) = -1;
  std::get<1>(test2) = -2;
  std::cout << a << ":" << b << std::endl;

  int &ar=a;
  int &br=b;
  // why does this not make a tuple of int& references? can we force it to notice?
  auto test3 = std::make_tuple(ar,br);
  std::get<0>(test3) = -1;
  std::get<1>(test3) = -2;
  std::cout << a << ":" << b << std::endl;
}

在这三个例子中，前两个按预期工作。然而，第三个没有。我希望auto类型（test3）与test的类型（即std::tuple<int&,int&>）相同。

似乎std::make_tuple无法自动生成引用元组。为什么不？除了明确地自己构建那种类型的东西之外，我能做些什么呢？

（编译器是g ++ 4.4.5，using 4.5 doesn't change it）

Answer 1

std::tie会进行非const引用。

auto ref_tuple = std::tie(a,b); // decltype(ref_tuple) == std::tuple<int&, int&>

对于const引用，您要么需要std::cref包装函数：

auto cref_tuple = std::make_tuple(std::cref(a), std::cref(b));

或者使用简单的as_const助手来限定变量，然后再将其传递给std::tie：

template<class T>
T const& as_const(T& v){ return v; }

auto cref_tuple = std::tie(as_const(a), as_const(b));

或者，如果您想获得幻想，请编写自己的ctie（重复使用std::tie和as_const）：

template<class... Ts>
std::tuple<Ts const&...> ctie(Ts&... vs){
  return std::tie(as_const(vs)...);
}

auto cref_tuple = ctie(a, b);

Answer 2

尝试forward_as_tuple：

auto test3 = std::forward_as_tuple(ar,br);

Answer 3

怎么样：

auto test3 = std::make_tuple(std::ref(a),std::ref(b));

Answer 4

为什么：make_tuple参数由const引用（const T&）传递，因此如果您传递int&，T匹配int。如果它将T推导为int&，则参数将为const T&&，并且您将收到编译错误。

Answer 5

在C ++ 14中，您可以这样继续：

template<typename ...T, size_t... I>
auto make_rtuple_helper(std::tuple<T...>& t ,  std::index_sequence<I...>)
-> std::tuple<T&...>
{ return std::tie(std::get<I>(t)...) ;}

template<typename ...T>
std::tuple<T&...> make_rtuple( std::tuple<T...>& t )
{
    return make_rtuple_helper( t, std::make_index_sequence<sizeof...(T)>{});
}

请参阅coliru中的工作原理：http://coliru.stacked-crooked.com/a/a665130e17fd8bcc

干杯 A.A。

Answer 6

std::make_tuple<int&, int&>(a, b);

怎么样？

不可否认，它有点挫败了目的，但对于像make_shared这样的功能，你仍然可以获益。

警告，我没有尝试编译它，但我相信它会起作用。

std :: make_tuple不会引用

6 个答案: