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