c++ - 可变参数模板和 Alexandrescu 元组实现

Question

我试着学习一点关于模板元编程和 目前我在玩可变参数模板。

在他的演讲“Variadic Templates are Funadic”中，Alexandrescu 介绍了一个 小元组实现，我尝试构建并可能扩展一个 一点。 (我知道这是一个玩具示例，我只是尝试学习一点 关于 c++ 的更多信息)。但是，我对他的代码有一个小问题。

这里是:

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

template<size_t, 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.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);
}

template <typename T, typename... Ts>
class tuple<T,Ts...> : private tuple<Ts...> 
{
private:
   T head_;

};

int main(int argc, char *argv[])
{   
     tuple<int,std::string> t;
     get<0>(t) = 10;
     get<1>(t) = std::string("test");
     std::cout<<get<0>(t)<<std::endl;
}

为了正确工作，get 函数必须是 元组类(本幻灯片中也提到了它，请参见第 32 页)。但是如何 friend 声明看起来像吗？我尝试了不同的方法 但无法让它工作。当我将代码从私有(private)继承更改为公共(public)继承时 并将 head_ 的访问规则更改为 public 它有效。

谢谢你的帮助

凯文

Answer 1

这对我有用:

template <typename T, typename... Ts>
class tuple<T,Ts...> : private tuple<Ts...> 
{
private:
   T head_;

   template<size_t k, typename T1, typename... T1s>
   friend typename std::enable_if<k != 0,
                        typename tuple_element<k,tuple<T1,T1s...>>::type&>::type
   get(tuple<T1,T1s...>& t);

   template<size_t k, typename... T1s>
   friend typename std::enable_if<k == 0, 
                        typename tuple_element<0,tuple<T1s...>>::type&>::type
   get(tuple<T1s...>& t);

};

Demo .