C++ Language/Templates/TemplateParameters/DefaultTemplateParameters

A template-parameter may have a default. That default may be defined in terms of a previous template-parameter: template<typename T0, typename T1 = CRA<T0> > class CRB {...};.

Additional information about default template-parameters