Hola a todos ! Respecto del Código que pondré a Continuación, yo sí entiendo que el Ciclo se cumple mientras se cumpla la condición impuesta por el WHILE, y cuando no se cumpla el Código continúa con lo que uno escriba - y NO necesariamente vinculado al Ciclo DO WHILE ya finalizado .... Pero no entiendo porqué " n " tiene ingerencia fuera del Ciclo : SÍ puedo entenderlo porque fue declarada antes del DO  .... pero lo que no entiendo realmente es que la línea ( cout << "Valor: " << n << endl; ) sea válida, pues este cout<< está DEPENDIENDO del cin>> que está dentro del Ciclo, que ya finalizó.
Aquí, el Código =


#include <iostream>

using namespace std;

int main()
{
   int n = 0;
   do
   {
      cout << "Introduzca un numero entre 1 y 9: ";
      cin >> n;
   } while (!(n > 0 && n < 10));
   cout << "Valor: " << n << endl;
}
/* Gracias por leer el mensaje */

Para entender cómo funciona eso debes comprender sobre el ámbito de las variables. Una variable existe desde el bloque que se crea (lo que hay dentro de unas llaves { }) y ocupa tanto a ese bloque como a todos los internos. Por lo tanto un bloque interno puede manipular una variable de un bloque más externo y esta se verá afectada pues sigue trabajando en su bloque.

Después está la ocultación: una puede declarar una variable en un bloque interno con el mismo nombre que una variable de un bloque externo. A partir de entonces y hasta el final de ese bloque interno cunado se nombre dicha variable hará referencia a la del bloque interno, la más externa está oculta del código.

Un programa ejemplo:

#include <stdio.h>
 
int main() {
    int dato = 6;
 
    printf("Dato del bloque externo: %d\n", dato);
 
    {
        int dato = 7; // El dato de este bloque oculta al del bloque externo
        printf("Dato dentro del primer bloque: %d\n", dato);
    }
 
    printf("Dato del bloque externo: %d\n", dato);
 
    {
        dato += 4; // Este dato es el del bloque externo
        printf("Dato del segundo bloque: %d\n", dato);
    }
 
    printf("Dato del bloque externo: %d\n", dato);
}

cin y cout no son funciones (las funciones se llaman con sus parametros entre parentesis), son objetos y de hecho son variables del namespace std. Obviamente los operadores >> y << estan sobrecargados, en realidad lo que sucede es equivalente a esto:

do
{
    operator<<(cout, "Introduzca un numero entre 1 y 9: "); //funcion no miembro
    cin.operator>>(n); //funcion miembro
} while (!(n > 0 && n < 10));

https://en.cppreference.com/w/cpp/io/cout
https://en.cppreference.com/w/cpp/io/cin

¿A que te referis con modificador? Ni isdigit ni cout tienen ningun efecto sobre la variable que se le pasa al primero ni la que se inserta al segundo, si podes asignar el valor de retorno de isdigit a una variable pero eso es otra cosa.

Para que isdigit pudiera asignarle un valor a su parametro tendria que recibirlo por referencia (eso se puede hacer con un puntero o una referencia; ver https://www.genbeta.com/desarrollo/punteros-y-referencias) y no por valor como lo hace (ver http://conclase.net/c/curso/cap15). Lo mismo pasa con el operador << cuando insertas en cout pero cin es diferente, cuando extraes le estas pasando un parametro por refrencia.

int isdigit( int ch );
 
template< class Traits > basic_ostream<char,Traits>& operator<<(basic_ostream<char,Traits>& os, const char* s ); //insertar en cout
 
basic_istream& operator>>( int& value ); //extraer de cin

https://en.cppreference.com/w/cpp/string/byte/isdigit
https://en.cppreference.com/w/cpp/io/basic_ostream/operator_ltlt2
https://en.cppreference.com/w/cpp/io/basic_istream/operator_gtgt

En las 3 primeras lineas de codigo que dejaste hay asignaciones, la primera es simplemente un literal de cadena, las 2 siguientes asignan el resultado de funciones (los metodos son funciones miembro de una clase) y en la 4 no cambia ninguna variable, se insertan 6 valores - de diferentes tipos y por eso se usan diferentes operadores (funciones) sobrecargados - en cout que los escribe en la consola o casi.

¿Como es posible insertar i en "\n"? ¿O peor aun como es posible que una funcion (std::endl es un manipulador) sea insertada en un float (f)? La clave esta en el valor de retorno del operador << que es basicamente una referencia a std::cout. En la ultima linea pasa esto:

operator<<(operator<<(operator<<(cout, s), "\n").operator<<(i), "\n").operator<<(f).operator<<(endl);

Notese que la variable cout solo se pasa UNA vez en toda la linea y los operadores la van retornando, con funciones miembro (caso en el que llama al operador con un solo parametro) y no miembro (cuando usa dos parametros siendo el primero el valor de retorno de otro operador, siempre la referencia a cout en nuestro ejemplo).

cin y cout no son funciones, ya esta explicado y nadie que entienda minimamento POO diria eso.