Невозможно вызвать конструктор (параметр шаблона шаблона)

Question

Как-то я не могу создать экземпляр D. Я не знаю почему. Проблема шаблона-шаблона (Allocator_class) представляется проблемой.

#include <vector> 

template <template<typename T> class Allocator_class> 
class T_b { 
public: 
    template<typename T> using A = Allocator_class<T>; 
}; 

template< template <typename T> class A> 
class C { 
public: 
    C() { } 
}; 

template<typename Ttb> 
class D { 
public: 
    template<typename T> using A = typename Ttb::template A<T>; 
    typedef C<A> Data; 

    D(C<A> &data) : _data(data) {} 
private: 
    Data &_data; 
}; 

int main() { 
    typedef T_b<std::allocator> Ttb;  
    C<std::allocator> b; 
    D<Ttb>c(b); 
} 

Ошибка с Clang:

test5.cpp:29:8: error: no matching constructor for initialization of 'D<Ttb>' 
     (aka 'D<T_b<std::allocator> >') 
     D<Ttb>c(b); 
      ^~ 
test5.cpp:16:7: note: candidate constructor (the implicit copy constructor) not viable: no known 
     conversion from 'C<std::allocator>' to 'const D<T_b<std::allocator> >' for 1st argument 
class D { 
    ^
test5.cpp:16:7: note: candidate constructor (the implicit move constructor) not viable: no known 
     conversion from 'C<std::allocator>' to 'D<T_b<std::allocator> >' for 1st argument 
class D { 
    ^
test5.cpp:21:5: note: candidate constructor not viable: no known conversion from 'C<std::allocator>' 
     to 'C<A> &' for 1st argument 
    D(C<A> &data) : _data(data) {} 
    ^

Answer 1

Я не могу объяснить, почему ваш код выдает ошибку.

Но если вы хотите, решение ... используя класс специализации и параметр шаблона шаблон шаблон ....

#include <vector> 

template <template<typename T> class Allocator_class> 
class T_b 
{ 
    public: 
     template<typename T> using A = Allocator_class<T>; 
}; 

template <template <typename T> class A> 
class C 
{ 
    public: 
     C() { } 
}; 

template <typename> 
class D; 

template <template <template <typename> class> class X, 
      template <typename> class A> 
class D<X<A>> 
{ 
    public: 
     using Data = C<A>; 

     D (Data & data) : _data(data) {} 

    private: 
     Data & _data; 
}; 

int main() 
{ 
    typedef T_b<std::allocator> Ttb;  

    C<std::allocator> b; 

    D<Ttb> c(b); 
}