如何在C++中使用模板中定義的類型？

Question

給定一個模板類：

template<class T, class U> 
    struct myList { 
    typedef T head; 
    typedef U next; 
    }; 

class nullList {}; 

這有可能使類的列表，例如

myList<int, myList<string, myList<short, nullList> > >; 

我想使用上面的列表來創建一個模板類，它只處理列表中的類。在上面的例子中，我的課程將處理整數，字符串和短褲（例如，將它們打印到控制檯）。

我一直在爲此苦苦掙扎，而且我還不確定從哪裏開始。與

template<class T, class U> 
class myClass { 
    ... 
}; 

開頭的代碼失敗，因爲MyClass的只需要一個模板參數，那就是myList中即

myClass<myList> 

但是，如果我嘗試使用

template<typename l> 
class myClass { 
    l.head foo;// cannot refer to type member 'head' in 'myList<int, nullList>' with '.' 
} 

技術上myList.head應該是一個班級吧？我怎樣才能使用這些信息？

Answer 1

.運營商訪問對象的成員。 l不是一個對象 - 它是一個類。要訪問類的靜態成員，請使用::運算符。當你正在訪問的成員是一個類型，並且你訪問它的類是一個模板參數時，出於語法原因，你還需要關鍵字typename。所以，你就變成了：

template<typename l> 
class myClass { 
    typename l::head foo; 
} 

如果你想要的是打印出給定類型的值，你是不是有意與該類型的成員創建對象，你可以只定義一個靜態函數，它的類型它的參數：

template<typename l> 
class myClass { 
    public: 
    static void print(typename l::head foo) { 
     std::cout << foo << std::endl; 
    } 
}; 

其實在這種情況下，如果只考慮名單的頭，你不都需要一類，可能只是做：

template<typename l> 
void print(typename l::head foo) { 
    std::cout << foo << std::endl; 
} 

但是你」 （probab當你開始考慮列表尾部時，你需要這門課。