std::tuple::get 返回 const Type&&

Question

我刚刚在 cppreference http://en.cppreference.com/w/cpp/utility/tuple/get 上为 std::tuple::get 阅读了 C++17 的更新接口，新的重载从 get<>() 函数返回 const Type&&。为什么要返回 const Type&& 而不是普通的 const Type&？你不能从任何一种类型的实例中移动..

这些是我所指的函数声明供参考

template< class T, class... Types >
constexpr const T&& get(const tuple<Types...>&& t);

和

template< std::size_t I, class... Types >
constexpr std::tuple_element_t<I, tuple<Types...> >const&&
get( const tuple<Types...>&& t );

Answer 1

谷歌搜索出现了Issue 2485，它指出了这样一个缺陷：

#include <functional>
#include <string>
#include <tuple>

using namespace std; 

string str1() { return "one"; }
const string str2() { return "two"; }
tuple<string> tup3() { return make_tuple("three"); }
const tuple<string> tup4() { return make_tuple("four"); }

int main() {
  // cref(str1()); // BAD, properly rejected
  // cref(str2()); // BAD, properly rejected
  // cref(get<0>(tup3())); // BAD, properly rejected
  cref(get<0>(tup4())); // BAD, but improperly accepted!
}

在这种特殊情况下，cref 删除了 const T&& 的重载，但通过 get 传递它会掩盖元组及其成员是临时的。

Answer 2

您可以从const&& 中移出可变数据。比较晦涩。