If we can form a reference to t_TYPE, then we can also form a pointer to it. In particular, we know that it is not void (which should still work) or an "abominable" function type with a trailing cv‐qualifier. Note that this partial specialization is necessary to avoid falling into degenerate (non‐compiling) cases in the implementation meta‐program.
Synopsis
Declared in <bslmf_addpointer.h>
template<class t_TYPE>
struct add_pointer<t_TYPE&>;