. . . "and you have a pointer p to S, then you access S::m via p->m regardless of whether p is an S* or some pointer_class type." .