为类提供类似元组的结构化绑定访问

Question

我试图支持类的类似元组的结构化绑定访问。为了简单起见，我将在本文的其余部分使用以下类：

struct Test
{
    int v = 42;
};

（我知道这个类支持开箱即用的结构化绑定，但假设它不支持。）

为了能够像元组一样访问Test的成员，我们必须专门化std:：tuple_size和std:：tuple_元素：

namespace std
{

template<>
struct tuple_size<Test>
{
    static const std::size_t value = 1;
};

template<std::size_t I>
struct tuple_element<I, Test>
{
    using type = int;
};

}

我们需要的最后一部分是测试::

template<std::size_t I>
int get(Test t)
{
    return t.v;
}

这是可行的。但是，我想返回对Test成员的引用，就像std::get（std::tuple）一样。因此，我实现get如下：

template<std::size_t I>
int& get(Test& t)
{
    return t.v;
}

template<std::size_t I>
const int& get(const Test& t)
{
    return t.v;
}

然而，在这个版本中，以下代码

auto test = Test{};
auto [v] = test;

产生错误（GCC 7.1）：

“std:：tuple_元素”类型的绑定引用

因此，似乎get

然而，根据这一点，行auto[v]=test；应该大致相当于

auto e = test;
std::tuple_element<0, Test>::type& v = get<0>(e)

因为它使用了get

关于我的get实现为什么不适用于结构化绑定，有什么想法吗？




Answer 1

问题是，auto[v]是一个非引用声明，因此test被复制，而test的副本作为x值传递给get。

因此，您需要添加一个右值限定get：

template<std::size_t I>
int&& get(Test&& t)
{
    return std::move(t.v);
}