¿Qué significa la nueva palabra clave “rendimiento” en Java 13?

Java 13 introdujo el yield palabra clave para switch expresiones

¿Cómo puedo usarlo y cuál es la diferencia con un valor predeterminado? return o break ¿valor?

Preguntas y respuestas

¿Como puedo usar lo?

1. Con etiquetas de flecha cuando se necesita un bloque completo:

   int value = switch (greeting) {
       case "hi" -> {
           System.out.println("I am not just yielding!");
           yield 1;
       }
       case "hello" -> {
           System.out.println("Me too.");
           yield 2;
       }
       default -> {
           System.out.println("OK");
           yield -1;
       }
   };
   

2. Con bloques tradicionales:

   int value = switch (greeting) {
       case "hi":
           System.out.println("I am not just yielding!");
           yield 1;
       case "hello":
           System.out.println("Me too.");
           yield 2;
       default:
           System.out.println("OK");
           yield -1;
   };
   

¿Cuál es la diferencia con una devolución predeterminada?

A return instrucción devuelve el control a el invocador de un método (§8.4, §15.12) o constructor (§8.8, §15.9) mientras que un yield declaración transfiere el control por provocando un encierro switch expresión para producir un valor especificado.

¿Cuál es la diferencia con un valor de ruptura?

los break con declaración de valor se abandona en favor de una yield declaración.

Especificación

Hay Especificación para JEP 354 adjunto a el JLS 13 que resume todo lo que necesitamos saber sobre el nuevo switch. Tenga en cuenta que no se fusionó con la especificación del idioma porque todavía es una función de vista previa y, por lo tanto, aún no es una parte permanente del idioma.

A yield instrucción transfiere el control provocando un cierre switch expresión para producir un valor especificado.

YieldStatement:
    yield Expression;

A yield la instrucción intenta transferir el control a la expresión de cambio más interna; esta expresión, que se llama el objetivo de rendimientoluego inmediatamente se completa normalmente y el valor de la Expression se convierte en el valor de la switch expresión.

• Es un error en tiempo de compilación si un yield declaración no tiene objetivo de rendimiento.

• Es un error en tiempo de compilación si el yield target contiene cualquier método, constructor, inicializador o expresión lambda que incluya la instrucción yield.

• Es un error en tiempo de compilación si el Expression de un yield declaración es nula (15.1).

ejecución de un yield declaración primero evalúa el Expression. Si la evaluación de la Expression termina abruptamente por alguna razón, entonces el yield declaración se completa abruptamente por esa razón. Si la evaluación de la Expression se completa normalmente, produciendo un valor Ventonces el yield declaración se completa abruptamente, la razón es un rendimiento con valor V.

Como parte de JEP 354 (Java 13), puede rendir valor en el interruptor (opcionalmente asignarlo a la variable)

declaración de rendimiento para generar un valor, que se convierte en el valor de la expresión de cambio adjunta.

int j = switch (day) {
    case MONDAY  -> 0;
    case TUESDAY -> 1;
    default      -> {
        int k = day.toString().length();
        int result = f(k);
        yield result;
    }
};

Creo que tu confusión es con JPY 325 en Java 12 que usa break para devolver valor:

hemos ampliado la sentencia break para que tome un argumento, que se convierte en el valor de la expresión switch adjunta.

int j = switch (day) {
     case MONDAY  -> 0;
     case TUESDAY -> 1;
     default      -> {
         int k = day.toString().length();
         int result = f(k);
         break result;

Además, incluso puedes usar sintaxis lambda

boolean result = switch (ternaryBool) {
    case TRUE -> true;
    case FALSE -> false;
    case FILE_NOT_FOUND -> throw new UncheckedIOException(
        "This is ridiculous!",
        new FileNotFoundException());
    // as we'll see in "Exhaustiveness", `default` is not necessary
    default -> throw new IllegalArgumentException("Seriously?! 🤬");
};

Con las expresiones de cambio, todo el bloque de cambio “obtiene un valor” que luego se puede asignar; puede usar una sintaxis de estilo lambda

Si bien Java 12 presenta y 13 refina las expresiones de cambio, lo hacen como una función de lenguaje de vista previa. Eso significa que (a) aún puede cambiar en las próximas versiones (como sucedió entre la 12 y la 13) y (b) debe desbloquearse, en tiempo de compilación y tiempo de ejecución, con la nueva opción de línea de comando –habilitar- avance. Después tenga en cuenta que este no es el final del juego para el cambio, es solo un paso en el camino hacia la coincidencia completa de patrones.

yield marca el valor que se devolverá desde una rama de conmutación. Termina la expresión de cambio, no necesita tener un descanso después.

De doc

Las dos sentencias, break (con o sin etiqueta) y yield, facilitan la desambiguación entre sentencias switch y expresiones switch: una sentencia switch, pero no una expresión switch, puede ser el objetivo de una sentencia break; y una expresión de cambio, pero no una declaración de cambio, puede ser el objetivo de una declaración de rendimiento.

También proporciona, NullPointerException La seguridad,

String message = switch (errorCode) {
    case 404:
        yield "Not found!";
    case 500:
        yield "Internal server error!";
    // No default
};

Esto resultará en,

la expresión de cambio no cubre todos los valores de entrada posibles

break replace with yield en Java 13. Esta es una de las funciones de vista previa definidas en Java 13. En Java 12, podemos usar break para devolver un valor de un interruptor. Pero en java 13 use el rendimiento para el valor de retorno de la expresión de cambio.

En Java 13 romper reemplazar por rendimiento,

String number = switch (number) {
    case 1:
        yield "one";
    case 2:
        yield "two";
    default:
        yield "Zero";
}

La sintaxis de flecha todavía es compatible con Java 13.

String number = switch (number) {
    case 1 -> "one";
    case 2 -> "two";
    default -> "Zero";
}