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 trata de un «buen estilo de programación». En este tema, yo tengo mis sospechas. Como programador, siempre me ha parecido incómodo 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á cerca 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 de 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. Sin embargo, C++ garantiza que cuando se crea un objeto, es inicializado simultáneamente. Esto asegura que no habrá objetos no inicializados rondando por el sistema. A C no le importa; 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 ^[58].

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 predefinido. Esto significa que cualquier objeto de una clase o variable de un tipo predefinido 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 e inicializa 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 usan, e inicializarlas siempre cuando se definen. (Ésta es una sugerencia de estilo para tipos predefinidos, en los que la inicialización es opcional.) Es una cuestión de seguridad. Al reducir el tiempo durante el que la variable está disponible dentro del bloque, se reduce la posibilidad de que sea usada inapropiadamente en otra parte del bloque. Además, la legibilidad mejora porque el lector no tiene 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;