Leer solo el cuerpo de una función puede dejar fuera instrucciones que la rodean. Cuando la función usa un modifier, el lugar del símbolo especial de guion bajo merece una lectura propia.
Según la documentación de modifiers de Solidity, la sentencia _; señala dónde se inserta la ejecución del cuerpo de la función. Puede haber instrucciones antes y después; no es simplemente un adorno del nombre.
Para un ejercicio de lectura, imagina un modifier que registra una marca A, ejecuta _; y después registra una marca B. La función coloca una marca X. En el recorrido ordinario de ese ejemplo, la secuencia conceptual es A, X, B.
Dibuja el recorrido completo
Escribe cada paso en una línea y marca las condiciones que pueden interrumpirlo. Si hay varios modifiers, consulta su orden y evita reducir el conjunto a una sola etiqueta como «protegida». El nombre elegido por quien programa no prueba que la comprobación sea adecuada.
Este esquema sirve para formular preguntas: qué se verifica antes, qué cambia después y qué sucede si aparece un error. No constituye una auditoría ni demuestra seguridad frente a reentradas u otros riesgos.
Conserva junto al diagrama la versión del código que has leído. Una modificación en el modifier puede cambiar el recorrido aunque el cuerpo de la función permanezca idéntico.
Ilustración editorial de la biblioteca del sitio; no documenta el ejemplo ni un ensayo real.