(programming) A form of restricted template expansion in C++, characterized by an in-class friend function definition appearing in the base class template component of the curiously recurring template pattern.