C++ 11别名和模板的模板

Question

我有以下类

struct Abis 
{ 
    void foo() { // does something } 
}; 

struct A 
{ 
    typedef Abis bis_type; 
    bis_type create() { // instanciates Abis object }; 

}; 

template<class Tbis> // typically Tbis would be Abis 
struct Bbis 
{ 
    // something 
}; 

template<class T> // typically T would be A 
struct B 
{ 
    typedef Bbis<typename T::bis_type> bis_type; 
    bis_type create() { // instanciates Bbis object }; 
}; 

现在我想添加其他层：

template<class Tbis, template<class> class Ubis> 
struct Cbis : public Ubis<Tbis> 
{ 
    void additional_method() { // does something calling Tbis and Ubis methods} 
}; 

和具有C类实例化对象CBIS所以我可以写这样的事情：

C<A,B> c(); 
Cbis<Abis,Bbis> cbis = c.create(); 
cbis.additional_method(); 

这需要能够参考的typedef bis_types所以我想这

template<class T, template<class> class U> 
struct C 
{ 
    template<class S> 
    using Ubis_type = U<S>::bis_type // PROBLEM! 
    typedef Cbis<typename T::bis_type,Ubis_type> bis_type; 

    bis_type create(); 
} 

这似乎并没有工作，而且也不

template<class T, template<class> class U> 
struct C 
{ 
    template<class S> 
    using Ubis_type = typename U<S>::bis_type // PROBLEM! 
    typedef Cbis<typename T::bis_type,Ubis_type> bis_type; 

    bis_type create(); 
} 

作为一个临时的解决办法，我可以通过B型作为模板参数CBIS但是这并没有真正尊重设计，我想了解问题是什么。

我的语法正确吗？ （我用的XCode 7.3）

感谢

Answer 1

的主要问题是与你的typedef Bbis bis_type线 - Bbis是一个类模板，而不是一类。我认为最有可能的是你的意思是typedef Bbis<T> bis_type（鉴于你在这种情况下有一个类型T）。在这之后，你的代码主要工作（我不得不纠正了几个错别字得到它来编译），这里是最后的版本：

（UPDATE：的struct C改变定义，以适应与C<A, B>要求的使用情况）

struct Abis 
{ 
    void foo() { // does something 
    } 
}; 

struct A 
{ 
    typedef Abis bis_type; 
    bis_type create() { // instanciates Abis object 
    return Abis(); 
    } 

}; 

template<class Tbis> // typically Tbis would be Abis 
struct Bbis 
{ 
    // something 
}; 

template<class T> // typically T would be A 
struct B 
{ 
    typedef Bbis<T> bis_type; 
    bis_type create() { // instanciates Bbis object 
    }; 
}; 

template<class Tbis, template<class> class Ubis> 
struct Cbis : public Ubis<Tbis> 
{ 
    void additional_method() { // does something calling Tbis and Ubis methods 
    } 
}; 

template<class T, template<class> class U> 
struct C 
{ 
    template<class S> 
    using Ubis_type = typename U<S>::bis_type; // PROBLEM! 

    typedef Cbis<typename U<T>::bis_type,Ubis_type> bis_type; 

    bis_type create() 
    { 
     return bis_type();  
    } 
}; 

然后，你可以用你的最终struct C这样的：

int main(int argc, char**args) 
{ 
    C<A, B> c; 
    auto d = c.create(); 

    d.additional_method(); 

    return 0; 
}