Вложенные возможности шаблона

Question

Является действительным следующее ?:

template<typename T> class C { C1<C2<T>> someMember; }; 

Answer 1

Ну, вы должны были бы сделать что-то с типом, либо сделать его ЬурейеЕ или член, но да:

template <typename T> 
struct C1 {}; 

template <typename T> 
struct C2 {}; 

template <typename T> 
struct C 
{ 
    typedef C1<C2T> > type; // note the space! 
}; 

>> на самом деле является оператором сдвига справа, поэтому вам нужно место для правильной работы. В C++ 0x, однако, вы можете просто ввести >>; он разбирается просто отлично. *

_{* Некоторые компиляторы в настоящее время принимают его.}

Answer 2

Erm, нет, по крайней мере, не в изоляции, поскольку у вас нет определения для C1 и C2. Предполагая, что они определены как классы шаблонов с одним аргументом, то нет, он по-прежнему недействителен по той же причине, что int; недействителен - это не полный оператор, его просто имя.

Теперь, если вы спрашиваете о синтаксисе с помощью угловых скобок, а затем игнорируете все другие проблемы, которые действительны только в C++ 0x. В текущем стандарте C++ синтаксический разбор неоднозначен, и вам нужно будет сформировать его как C1<C2<T> >.

Answer 3

Конечно, я использовал:

vector< pair<int, int> > blah; 

раньше.