friend get returns 类型的函数，它通过可变参数模板递归计算

Question

我正在尝试通过具有递归继承和外部 get 函数的可变参数模板来实现 std::tuple。只要元组具有 public 继承和 public 值字段，我就可以正常工作。但是我需要将它们设为私有并实现它我需要在元组中编写一个 friend "get" 函数。但问题是 "get" 的返回类型是通过其他可变参数模板计算的。所以我不知道该写什么作为那个友元函数的返回值。

#include <iostream>
#include <type_traits>

template <typename... Ts>
class Tuple{};


template <typename T, typename... Ts>
class Tuple<T, Ts...> : public Tuple<Ts...>
{
//    template<size_t k, typename T1, typename... T1s>
//    friend typename tuple_element<k, tuple<T1, T1s...>>::type&
//    get(Tuple<T1, T1s...>& t);
public:
    T m_head;
};

template<size_t index, typename>
struct tuple_element;

template<typename T, typename... Ts>
struct tuple_element<0, Tuple<T, Ts...>>
{
    typedef T type;
};

template<size_t k, typename T, typename... Ts>
struct tuple_element<k, Tuple<T, Ts...>>
{
    typedef typename tuple_element<k-1, Tuple<Ts...>>::type type;
};

template<size_t k, typename... Ts>
typename std::enable_if<k==0,
    typename tuple_element<0, Tuple<Ts...>>::type&>::type
get(Tuple<Ts...>& t)
{
    return t.m_head;
}

template<size_t k, typename T, typename... Ts>
typename std::enable_if<k!=0,
    typename tuple_element<k, Tuple<T, Ts...>>::type&>::type
get(Tuple<T, Ts...>& t)
{
    Tuple<Ts...>& super = t;
    return get<k-1>(super);
}

int main(int argc, char* argv[])
{
    Tuple<int, int, std::string> t;
    get<2>(t) = "3.14";
    std::cout << get<2>(t) << std::endl;
}

注释代码是我尝试编写这样的函数，但它不起作用。

Answer 1

前向声明tuple_element然后从两个重载的get函数交朋友：

template <size_t index, typename>
struct tuple_element;

template <typename T, typename... Ts>
class Tuple<T, Ts...> : Tuple<Ts...>
{
    template <size_t k, typename... Us>
    friend typename std::enable_if<k==0, typename tuple_element<0, Tuple<Us...>>::type&>::type get(Tuple<Us...>& t);

    template <size_t k, typename U, typename... Us>
    friend typename std::enable_if<k!=0, typename tuple_element<k, Tuple<U, Us...>>::type&>::type get(Tuple<U, Us...>& t);

private:
    T m_head;
};

DEMO

friend get returns 类型的函数，它通过可变参数模板递归计算

friend get function that returns type which calculates recursively through variadic template

c++

tuples

friend

variadic-templates

c++11