對於具有兩個模板變量的模板類，可以使一個var引用另一個var？

Question

我正在尋找一種方式來從實際的B型和C內參考的T IN的代碼下面你看到的是我的第一個傾向是嘗試並對其進行初始化。我嘗試過的其他嘗試是使用完美的轉發，繼承和向B和C添加更多模板參數。有人可以提出一條前進的道路嗎？有沒有新的構想可能會有所幫助？我接近或者這是不可能的？

struct D {}; 
struct E {}; 

template< typename U1 > 
struct B 
{ 
    B() : u1(???) 
    U1& u1; // how to reference A's t variable? 
}; 

template< typename U2 > 
struct C 
{ 
    C() : u2(???) 
    U2& u2; // how to reference A's t variable? 
}; 

template< typename T, typename U > 
struct A 
{ 
    T t; 
    U u; 
}; 

int main() 
{ 
    A< D, B<D> > a1; 

    A< E, C<E> > a2; 

    return 0; 
} 

Answer 1

我想OP想要的是模板模板參數。
這裏是他的一次代碼審查：

#include<memory> 

struct D {}; 
struct E {}; 

template< typename U > 
struct B 
{ 
    B(std::shared_ptr<U> v) : u{v} {} 
    std::shared_ptr<U> u; 
}; 

template< typename U > 
struct C 
{ 
    C(std::shared_ptr<U> v) : u{v} {} 
    std::shared_ptr<U> u; 
}; 

template< typename T, template<typename> typename U > 
struct A 
{ 
    A(): t{std::make_shared<T>()}, u{t} {} 
    std::shared_ptr<T> t; 
    U<T> u; 
}; 

int main() 
{ 
    A< D, B > a1; 
    A< E, C > a2; 
    return 0; 
}