•A class template's formal argument list may include other template classes. This means that the type dependency is based on an instantiation of another abstraction. When this is the case, the identifier representing the type dependency is preceded by the keyword template, the specific type dependencies to be substituted supplied in angle brackets, and the keyword class:
•
template <template <actual_args> class_id>
•
•When making use of this features, the template classes being used as formal arguments must be defined before the first use that causes an instantiation of the class template.