Pro/acondicionado: La inicialización de una variable en una instrucción condicional

Question

En C++ se puede inicializar una variable en una sentencia if, así:

if (CThing* pThing = GetThing()) 
{ 
} 

¿Por qué uno considere esto bueno o malo el estilo? ¿Cuáles son los beneficios y desventajas?

Personalmente, me gusta este estilo porque limita el alcance de la variable pThing, por lo que nunca se puede usar accidentalmente cuando es NULL. Sin embargo, no me gusta que no se puede hacer esto:

if (CThing* pThing = GetThing() && pThing->IsReallySomeThing()) 
{ 
} 

Si hay una manera de hacer el trabajo anterior, por favor enviar. Pero si eso no es posible, me gustaría saber por qué.

Question borrowed from here, similar topic but PHP.

Answer 1

Lo importante es que una declaración en C++ no es una expresión.

bool a = (CThing* pThing = GetThing()); // not legit!! 

No se puede hacer tanto una declaración y la lógica booleana en una sentencia if, lenguaje C++ específicamente Spec permite ya sea una expresión o una declaración.

if(A *a = new A) 
{ 
    // this is legit and a is scoped here 
} 

¿Cómo podemos saber si a se define entre un término y otro en una expresión?

if((A *a = new A) && a->test()) 
{ 
    // was a really declared before a->test? 
} 

Muerde la viñeta y usa una if interna. Las reglas de alcance son útiles y su lógica es explícita:

if (CThing* pThing = GetThing()) 
{ 
    if(pThing->IsReallySomeThing()) 
    { 
    } 
} 

Answer 2

Este debe no funciona en C++ desde a pesar de que es compatible con short circuiting evaluation. Tal vez no intenta lo siguiente:

if ((CThing* pThing = GetThing()) && (pThing->IsReallySomeThing())) 
{ 
} 

err .. ver Wesley Tarle's answer

Answer 3

Una razón por la que no suelo hacer esto es debido al error común de una perdida '=' en un condicional prueba. Uso pelusa con el error/advertencias establecidos para capturarlos. Luego gritará sobre todas las asignaciones dentro de condicionales.

Answer 4

Sobre las ventajas:

Siempre es recomendable para definir las variables de la primera vez que los necesita, no una línea antes. Esto es para una mejor legibilidad de su código, ya que uno puede saber qué es CThing sin desplazarse y buscar donde se definió.

Al reducir el alcance a un bloque loop/if, la variable no se referencia después de la ejecución del bloque de código, lo que lo convierte en candidato para Garbage Collection (si el lenguaje admite esta función).

Answer 5

Solo un FYI algunos de los antiguos cumplidores de C++ de Microsoft (creo que Visual Studios 6 y .NET 2003) no siguen la regla del alcance en algunos casos.

for(int i = 0; i > 20; i++) { 
    // some code 
} 

cout << i << endl; 

Debería estar fuera de alcance, pero ese era/es código válido. Creo que se jugó como una característica, pero en mi opinión es simplemente incumplimiento. No cumplir con los estándares es malo. Solo como desarrollador web sobre IE y Firefox.

¿Alguien con VS puede verificar si sigue siendo válido?

Answer 6

También puede adjuntar la asignación en un conjunto adicional de() para evitar el mensaje de advertencia.

Answer 7

Veo eso como algo peligroso. El siguiente código es mucho más seguro y las llaves adjuntas aún limitarán el alcance de la manera que desee.

Supongo que GetThing() a veces devuelve NULL, por lo que pongo esa cláusula divertida en la declaración if(). Impide que se llame a IsReallySomething() en un puntero NULL.

{ 
    CThing *pThing = GetThing(); 
    if(pThing ? pThing->IsReallySomeThing() : false) 
    { 
    // Do whatever 
    } 
} 

Answer 8

Observe también que si estás escribiendo código C++ desea hacer el compilador advertencia sobre "=" en una sentencia condicional (que no es parte de una declaración) un error.

Answer 9

Es una buena y aceptable práctica de codificación. Sin embargo, las personas que no provienen de un fondo de codificación de bajo nivel probablemente estarían en desacuerdo.

Answer 10

if (CThing* pThing = GetThing()) 

Es mal estilo, porque dentro de la if no va a proporcionar una expresión booleana. Está proporcionando un CThing*.

CThing* pThing = GetThing(); 
if (pThing != NULL) 

Este es un buen estilo.