Esta es una pregunta de seguimiento de¿La búsqueda dependiente del argumento solo busca espacios de nombres o clases también? , En el que @David Rodríguez dijo "ADL buscará en el espacio de nombres del tipo que se incluye, y tambiéndentro el tipo en sí ". Puede que le haya entendido mal lo que trató de decir, pero estaba probando este ejemplo:

struct foo{
    static void bar(foo* z){}    
};

int main(){
    foo* z;
    bar(z);
}

No se compila, lo que produce el error "no se declaró" barra "en este ámbito". ¿Es el caso que ADL no considera la función miembro estática? Quiero decir en el ejemplo de clase asociada esfoo ¿Entonces no miraría ADL dentro de la clase? . ¿Alguien puede por favor simplificar las reglas aquí?