En C, siempre se definen todas las variables al principio de cada bloque, justo después de la llave de apertura. Ése es un requisito habitual en los lenguajes de programación, y la razón que se da a menudo es que se considera «buenas prácticas de programación». En este tema, yo tengo mis sospechas. Eso siempre me pareció un inconveniente, como programador, volver al principio del bloque cada vez que necesitaba definir una nueva variable. También encuentro más legible el código cuando la definición de la variable está certa del punto donde se usa.

Quizá esos argumentos son estilísticos. En C++, sin embargo, existe un problema significativo si se fuerza a definir todos los objetos al comienzo un ámbito. Si existe un constructor, debe invocarse cuando el objeto se crea. Sin embargo, si el constructor toma uno o más argumentos, ¿cómo saber que se dispone de la información de inicialización al comienzo del ámbito? Generalmente no se dispone de esa información. Dado que C no tiene el concepto de privado, la separación entre definición e inicialización no es un problema. Además, C++ garantiza que cuando se crea un objeto, es inicializado simultáneamente. Esto asegura que no se tendrán objetos no inicializados ejecutándose en el sistema. C no tiene cuidado, de hecho, C promueve esta práctica ya que obliga a que se definan las variables al comienzo de un bloque, antes de disponer de la información de inicialización necesaria ^[55].

En general, C++ no permite crear un objeto antes de tener la información de inicialización para el constructor. Por eso, el lenguaje no sería factible si tuviera que definir variables al comienzo de un bloque. De hecho, el estilo del lenguaje parece promover la definición de un objeto tan cerca como sea posible del punto en el que se usa. En C++, cualquier regla que se aplica a un «objeto» automáticamente también se refiere a un objeto de un tipo básico. Esto significa que cualquier clase de objeto o variable de un tipo básico también se puede definir en cualquier punto del bloque. Eso también significa que puede esperar hasta disponer de la información para una variable antes de definirla, de modo que siempre puede definir e inicializar al mismo tiempo:

//: C06:DefineInitialize.cpp
// Defining variables anywhere
#include "../require.h"
#include <iostream>
#include <string>
using namespace std;

class G {
  int i;
public:
  G(int ii);
};

G::G(int ii) { i = ii; }

int main() {
  cout << "initialization value? ";
  int retval = 0;
  cin >> retval;
  require(retval != 0);
  int y = retval + 3;
  G g(y);
} ///:~

Puede ver que se ejecuta parte del código, entonces se define >retval, que se usa para capturar datos de la consola, y entonces se definen y y g. C, al contrario, no permite definir una variable en ningún sitio que no sea el comienzo de un bloque.

En general, debería definir las variables tan cerca como sea posible del punto en que se usa, e inicializarlas siempre cuando se definen. (Ésta es una sugerencia de estilo para tipos básicos, en los que la inicialización es opcional.) Es una cuestión de seguridad. Reduciendo la duración de disponibilidad al bloque, se reduce la posibilidad de que sea usada inapropiadamente en otra parte del bloque. En resumen, la legibilidad mejora porque el lector no teiene que volver al inicio del bloque para ver el tipo de una variable.

for (int j = 0; j < 100; j++) {
    cout << "j = " << j << endl;
}
for (int i = 0; i < 100; i++)
    cout  << "i = " << i << endl;