C++ Language/Templates/TemplateParameters/DefaultTemplateParameters
Appearance
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 {...};
.