有没有办法解决这个模板循环依赖

Question

是否有一种通用方法可以在模板中解决这种类型的循环依赖关系，或者是否无法开展工作？

#include <tuple>

template<class... T>
struct A {
    std::tuple<T...> t;
};

template<class type_of_A>
struct D1 {
    type_of_A* p;
};
template<class type_of_A>
struct D2 {
    type_of_A* p;
};

using A_type = A<D1<???>, D2<???>>;  // <------

int main() { }

Answer 1

像往常一样，在混合中插入一个命名的间接来打破无限递归：

template<class... T>
struct A {
    std::tuple<T...> t;
};

template<class type_of_A>
struct D1 {
    typename type_of_A::type* p; // Indirection
};

template<class type_of_A>
struct D2 {
    typename type_of_A::type* p; // Indirection
};

// Type factory while we're at it
template <template <class> class... Ds>
struct MakeA {
    using type = A<Ds<MakeA>...>; // Hey, that's me!
};

using A_type = typename MakeA<D1, D2>::type;

MakeA注入类名的行为是奖励，但我们可以将其拼写为MakeA<Ds...>。

See it live on Coliru