Question

这是一个递归类定义：

linkedin

我想实施以下内容：

template<class... T>
class Mgr2
{

};

template<class T, class... args>
class Mgr2<T, args...>
{
  Container<T> _container;
  Mgr2<args...> _tail;
public:
  Mgr2() { };
};

我怎么能这样做？我尝试做了几件事但是失败了....一个自由函数也很好，如果在类定义中有2个“int”，我不在乎行为是否未定义

谢谢！

Answer 1

以下是重组Mgr2：

的一种方法草图

template<class T>
struct Leaf {
    Container<T> container;
};

template<class... Ts>
struct Mgr2 : Leaf<Ts>... {    
    template<class T>
    Container<T> &get() {
        return static_cast<Leaf<T>&>(*this).container;
    }
};

只要Mgr2被实例化，重复类型就会导致编译时错误。

如果我们想要允许重复，或者除了按类型索引之外还要按整数索引，我们可以将索引参数添加到Leaf：

template<std::size_t I, class T>
struct Leaf {
    Container<T> container;
};

并调整Mgr2：

template<class Seq, class...> struct Mgr2_Impl;

template<std::size_t... Is, class... Ts>
struct Mgr2_Impl<std::index_sequence<Is...>, Ts...>
     : Leaf<Is, Ts>... { };

template<class... Ts>
struct Mgr2 : Mgr2_Impl<std::index_sequence_for<Ts...>, Ts...> {
private:
    template<class T, std::size_t I>
    Leaf<I, T>& do_get(Leaf<I, T>& leaf) { return leaf; }
    template<std::size_t I, class T>
    Leaf<I, T>& do_get(Leaf<I, T>& leaf) { return leaf; }

public:
    template<class T>
    decltype(auto) get() { return do_get<T>(*this).container; }
    template<std::size_t I>
    decltype(auto) get() { return do_get<I>(*this).container; }
};

如果您想保留原始设计，可以使用SFINAE或标签发送。展示前者：

template<class U>
std::enable_if_t<std::is_same<U, T>{}, Container<U>&> get(){
    return _container;
}
template<class U>
std::enable_if_t<!std::is_same<U, T>{}, Container<U>&> get(){
    return _tail.template get<U>();
}

Answer 2

来自C ++ 14的std::tuple和std::get：

template<typename... Ts>
class Mgr2
{
private:
    std::tuple<Container<Ts>...> _containers;
public:
    Mgr2() {};

   template <typename T>
   const Container<T>& get() const { return std::get<Container<T>>(_containers); }

   template <typename T>
   Container<T>& get() { return std::get<Container<T>>(_containers); }
};

Demo

如果您坚持使用C ++ 11，您可以在C ++ 11中编写自己的get<T>。

Answer 3

我发现它可以很容易地完成：

template<class... T>
class CptMgr
{
};

template<class T, class... args>
class CptMgr<T, args...>
{
    CptContainer<T> _container;
    CptMgr<args...> _tail;

public:
    template<class U>
    CptContainer<U>& get() { return _tail.get<U>(); };

    template<>
    CptContainer<T>& get() { return _container; };
}

按类型检索可变类的给定成员

3 个答案: