访问 getter 的真正底层类型？

Question

我知道 getter 通常不好，但在这里，我只是用一个来说明一个更普遍的问题。

考虑以下类：

template <class... T>
class my_tuple final
{
    private: 
        std::tuple<T...> _data;
    public: 
        template <class... U> 
        my_tuple(U&&... u) 
        : _data(std::forward<U>(u)...) {} 
    public:
        template <std::size_t I>
        auto get() -> decltype(std::get<I>(_data)) 
        {return std::get<I>(_data);}
};

考虑到我不能修改这个类。

有没有办法编写一个 external 元函数my_tuple_type（外部我的意思是不属于该类的元函数）来实际获取底层元组的类型？ （我倾向于认为如果 T... 之一是引用是不可能的，因为仅在 get 返回的类型上应用 std::decay 或 std::remove_reference 也会删除原始引用。

编辑：我添加了一个构造函数来帮助测试。

EDIT2：为澄清起见，我无法对 T... 进行操作：我正在搜索仅基于 getter 的元函数。

EDIT3：从类的外部，我不知道底层元组成员的名称（这里它被命名为_data，但它可能是_tuple 或其他）

EDIT4：作为说明，如果我们假设所有类型都不是引用/指针，则可以通过以下方式实现：

1) 创建一个元函数，它将递归执行 getter 直到它失败（因此元组大小 N 将是已知的）

2) 对std::get 从0 到N 返回的每个类型执行std::decay 并将它们放在一起。

但如果元组元素之一是引用或指针，它将失败......

EDIT5：我将很快发布 EDIT4 的实现（我正在努力）

EDIT6：这不是 XY 问题。我试图回答的基本问题是：

考虑一个名为Tuple_like 的概念，其唯一条件是拥有像这里这样的模板化 get 成员。问题是：从这个唯一的函数get<I>()，是否可以提取底层元组的所有信息？

Answer 1

不，std::get<I>(some_tuple&) 是有损的。它为引用和值类型返回相同的类型。如果有办法对get 进行右值限定调用，您可以这样做。

嗯，my_tuple 类型本身有模式匹配。如果您知道std::tuple 字段的名称（或者甚至有所有可能名称的列表），那么有一些方法可以侵犯隐私，这可能在这里奏效。但我怀疑这些都被排除在外了。