自定义Test类型结构化绑定编译失败的原因问询

以下是一段为支持结构化绑定定义自定义Test类型的C++代码：

struct Test {
    int member;
};

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

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

template <size_t Index>
const int& get(const Test& test)
{
    // 为简化省略Index判断
    return test.member;
}

int main() {
    Test test = Test{1234};
    auto [member] = test;
    return 0;
}

这段代码编译失败，报错信息如下：

error: binding reference of type ‘std::tuple_element<0, Test>::type&’{aka ‘int&’} to ‘const int’ discards qualifiers

根据cppreference对结构化绑定的说明：

在这些初始化表达式中，如果实体e的类型是左值引用（仅当引用限定符为&，或者引用限定符为&&且初始化表达式是左值时才会发生），则e是左值；否则是xvalue（这实际上实现了一种完美转发）。i是std::size_t类型的纯右值，<>始终被解释为模板参数列表。

我认为该结构化绑定应展开为如下可正常编译的代码：

Test test = Test{1234};
Test hidden = Test(test);
const int& member = get<0UL>(static_cast<Test &&>(hidden));

但实际编译时似乎丢失了const限定符，member类型变为int&从而导致报错，请问这是什么原因？

问题原因分析 #

问题核心在于结构化绑定的类型推导规则：

1. 结构化绑定会优先以std::tuple_element<N, T>::type的定义来推导绑定变量的类型，而非直接使用get函数的返回类型。你的std::tuple_element定义的type是int，而非const int。
2. 当执行auto [member] = test;时，编译器会尝试将get<0>(hidden)的结果绑定到std::tuple_element<0, Test>::type&（即int&）类型的引用上。但你的get函数返回的是const int&，非const引用无法绑定到const对象，这就触发了"丢弃const限定符"的编译错误。

你手动展开的代码存在逻辑误区，实际的结构化绑定展开逻辑更接近如下代码：

Test test = Test{1234};
Test hidden = test; // 执行拷贝构造，生成临时隐藏对象
using ElemType = std::tuple_element<0, Test>::type; // 类型为int
ElemType& member = get<0>(std::move(hidden)); // 尝试将const int&绑定到int&，触发错误

解决方法 #

有两种可行的修复方式：

方式一：修改std::tuple_element的type为const int #

调整std::tuple_element的定义，让推导的引用类型与get的返回类型匹配：

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

方式二：为get函数提供非const版本 #

如果需要支持对member的修改，可以同时提供const和非const版本的get函数，覆盖不同场景的结构化绑定需求：

template <size_t Index>
int& get(Test& test)
{
    return test.member;
}

template <size_t Index>
const int& get(const Test& test)
{
    return test.member;
}

内容的提问来源于stack exchange，提问作者Mati