如何解决该C++模板循环依赖？是否有通用方案或无法实现？

首先，你的代码里的循环依赖是典型的类型别名循环引用：A_type需要作为D1和D2的模板参数，但A_type本身又依赖D1<A_type>和D2<A_type>来定义。直接定义A_type会因为它还未完全声明而无法完成，不过C++的模板规则允许我们通过间接层+不完全类型的技巧来解决这个问题。

具体解决方案 #

这里我们可以用一个包装模板来延迟A_type的定义，从而打破循环：

#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; };

// 前向声明一个包装模板，用来延迟A_type的定义
template<class> struct A_wrapper;

// 先将A_type声明为包装模板的type成员（此时它是一个不完全类型）
using A_type = typename A_wrapper<void>::type;

// 特化包装模板，此时A_type已经是已知的不完全类型，可以作为D1/D2的模板参数
template<> struct A_wrapper<void> {
    using type = A<D1<A_type>, D2<A_type>>;
};

int main() {
    A_type a;
    D1<A_type> d1{&a};
    D2<A_type> d2{&a};
}

原理说明 #

C++允许不完全类型作为模板参数，只要在后续使用该类型的上下文（比如访问成员、创建对象）时，类型已经完整。在这个例子中：

1. 我们先声明A_type为typename A_wrapper<void>::type，此时它是一个不完全类型，但编译器知道这是一个合法的类型名。
2. 当我们特化A_wrapper<void>时，D1<A_type>和D2<A_type>的实例化只需要A_type是不完全类型（因为它们只保存指针，不需要知道A_type的完整布局）。
3. 最终A_wrapper<void>::type定义为A<D1<A_type>, D2<A_type>>，此时A的实例化会使用已经实例化完成的D1<A_type>和D2<A_type>，而A_type也会因此成为完整类型。

通用解决方法 #

这类模板循环依赖并非无法解决，通用思路主要有以下几种：

• 引入间接层（包装模板/别名）：像上面的例子一样，用一个中间模板来延迟类型的定义，打破直接循环。这是最常用的方法，适用于大多数循环依赖场景。
• 利用指针/智能指针避免完整类型需求：如果你的模板类需要持有另一个类型的成员（而非指针），可以改用std::unique_ptr或std::shared_ptr，因为智能指针只需要不完全类型即可声明，后续在需要访问成员时再确保类型完整。
• 模板模板参数替代具体类型：如果循环涉及多个模板之间的依赖，可以让模板接受模板模板参数（比如template<template<class> class D>），而不是具体的实例化类型，从而在实例化时动态绑定自身类型。
• 前向声明+延迟实例化：对于类模板，可以先前向声明模板，然后在后续定义中使用不完全的模板实例，只要在最终使用时所有类型都已完整。

需要注意的是，如果循环依赖中要求某个类型必须是完整类型才能实例化（比如直接持有该类型的成员对象，而非指针/引用），那可能需要重新设计类型结构，避免这种强循环依赖。

内容的提问来源于stack exchange，提问作者Rinat Veliakhmedov