Can't we just synthesize std::tuple_element from get?

《Can't we just synthesize std::tuple_element from get?》Jonathan Müller在CppCon 2024会议上探讨了为自定义tuple-like类型实现结构化绑定支持的问题，重点关注`std::tuple_element`如何从`get`函数中合成。 主要内容如下： 1. **问题**： - `std::tuple_element`不尊重值类别（value category），导致类型推导不准确。例如： ```cpp std::tuple tpl; static_assert(std::same_as(tpl)), int&>); // 正确 static_assert(std::same_as(std::move(tpl))), int&&>); // 正确 static_assert(std::same_as, int>); // 正确 ``` 但`std::tuple_element`会直接推导为`int`，而非`int&`或`int&&`。 2. **解决思路**： - 通过检测引用和值类别，合成`std::tuple_element`。 - 提出了多种尝试： - **Attempt 1**：直接检测`get`函数的返回类型。 - **Attempt 2**：区分`lvalue`和`rvalue`。 - **Attempt 3**：通过`decltype`和`std::declval`判断类型。 - **Attempt 4**：引入`tc::temporary`辅助类，检测临时对象。 3. **最终解决方案**： - 使用`tc::temporary`辅助类，通过检测`get`函数的返回类型是否为临时对象，来判断是否保留引用。最终实现了正确合成`std::tuple_element`。 4. **关键信息**： - 问题在于`std::tuple_element`无法正确反映值类别。 - 通过检测`get`函数的返回类型，结合`tc::temporary`辅助类，可以正确合成`std::tuple_element`。 总结：Jonathan Müller通过多次尝试，最终提出了使用`tc::temporary`辅助类的方法，成功解决了`std::tuple_element`在值类别上的问题，为自定义tuple-like类型提供了更准确的类型推导支持。