"volver" y "try-catch-finally" Evaluación de bloques de la Scala

Question

Los dos siguiente código genera resultado diferente:

def x = try{ 
    true 
} finally false 

invocación x se true

def y:Boolean = try{ 
    return true 
} finally { 
    return false 
} 

invocan y obtiene false

la versión return se comporta igual que Java.

Personalmente, nunca uso 'return' en scala. Pero es bueno saber cómo evalúa Scala el valor de un bloque try-catch-finally. Gracias.

Answer 1

Tiene should not tiene una instrucción return en un bloque finally (aunque técnicamente está permitido, al menos en Java, C# por ejemplo lo prohíbe).

Si el bloque Scala finally tuviera un retorno implícito, eso siempre afectaría el valor de retorno previsto. Entonces eso no tiene sentido.

Pero supongo que no puede ayudarte si lo escribes explícitamente de esa manera.

Answer 2

De acuerdo con la especificación de lenguaje Scala:

Un try expresión try {b} e se evalúa por último el bloque b. Si la evaluación de b no provoca una excepción, se evalúa la expresión e. Si se produce una excepción durante la evaluación de e, la evaluación de la expresión de prueba se cancela con la excepción lanzada. Si no se arroja ninguna excepción durante la evaluación de e, se devuelve el resultado de b como resultado de la expresión try.

Este comportamiento parece estar en contradicción con esa especificación. Supongo que, dado que 'return' causa un retorno inmediato de la función , esto da como resultado la anulación del comportamiento estándar para un bloque try. Un ejemplo iluminando es:

def z : Boolean = { 
    val foo = try { true } finally { return false } 
    true 
} 

Invocando z rendimientos false.