Início / coding / Perguntas / 79437142
Accepted
Ashish Parab
Asked: 2025-02-14 00:57:10 +0800 CST

FlowScoping em Java 21

  • 772

Enquanto me preparava para o OCPJP 21, me deparei com o tópico Escopo de fluxo.

preciso de alguma orientação para entender o conceito. abaixo está o trecho de código

public class Question28
{

static void getFish(Object fish) {

if(!(fish instanceof String guppy))
    System.out.println("Eat!");
else if(!(fish instanceof String guppy)) {
    throw new RuntimeException();

}

System.out.println(guppy);

System.out.println("Swim!");
}

public static void main(String args[]) {

getFish("ashish");

} 

}

O snippet acima resulta em "Não é possível encontrar o símbolo" para a variável guppy. Mas se eu remover a palavra-chave else, como abaixo. A variável guppy permanece no escopo. Nenhum erro do compilador.

static void getFish(Object fish) {

if(!(fish instanceof String guppy))
    System.out.println("Eat!");
 if(!(fish instanceof String guppy)) {
    throw new RuntimeException();

}

System.out.println(guppy);

minha segunda observação é a seguinte ref snippet

class Sample2 {

static void printNumberTwice(Number number) {

    if(!(number instanceof Integer data)) 
         return ;
        //System.out.println("Eat!");

    System.out.println(data.intValue());

}

public static void main(String args[]) {

printNumberTwice(5);
}



}

O snippet acima compila com sucesso, mas se eu comentar return e adicionar a instrução SOP, o resultado será não é possível encontrar o símbolo para os dados.

por favor me oriente para entender o conceito.

java

1 respostas

  1. Best Answer

    Você só pode usar a variável se o compilador puder provar que o código só será executado se o padrão corresponder.

    Agora, vamos analisar seu exemplo:

    if(!(fish instanceof String guppy))
    System.out.println("Eat!");
else if(!(fish instanceof String guppy)) {
    throw new RuntimeException();
}
System.out.println(guppy);

    Digamos fishque não é um String. Neste caso, ele entraria na ifdeclaração imprimindo Eat!. Como ele entrou no if, ele não entra no else ifentão ele continuaria tentando imprimir guppy- Mas espere, ele não é, Stringentão guppypode não existir (ele definitivamente não está atribuído ).

    Se você pular a elsepalavra-chave, você sempre estará lançando a exceção if fishisn't a String. Lá, você só permite a execução para Strings enduring que guppyé válido.

    Agora, vamos verificar também seu segundo exemplo:

    if(!(number instanceof Integer data)) 
    return;
    //System.out.println("Eat!");
System.out.println(data.intValue());

    Aqui, você pode usar dataporque o compilador provavelmente sabe que numberé um Integer. Se não for, o fluxo de execução seria cancelado/parado pela returndeclaração (o que também pode ser feito usando exceções, break;ou continue;).

    Se você remover o returne substituí-lo por uma instrução que não afete o fluxo de controle, a passagem de uma instrução que não seja Strings poderá fazer com que o System.out.printlnseja executado.

    Dito isso, observe que o compilador Java não é um poderoso provador de teoremas e não tenta ser. Ele faz algum trabalho para detectar se as variáveis ​​são atribuídas, mas não é completo (o que seria impossível graças a Gödel), ou seja, há casos em que é impossível que uma declaração seja executada, mas o compilador não sabe. O importante em que o compilador se concentra é a solidez, ou seja, garantir que ele não permita código inválido (e ser previsível e seguir a especificação).

    • 1

relate perguntas